Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Unison: a next-generation programming platform

unisonweb.org

Post reply on HN
Print view View original

31–40 of 135 posts

Re: Unison: a next-generation programming platform

#31

Post by mnx »

Dewie3 wrote: post #25
marcosdumay wrote: post #24

Earlier quoted context omitted.

Eclipse, Visual Studio, and all the Haskell IDEs catch type errors on the fly and help you fix them.

The difference is that this editor will supposedly not even allow the code to be in a state of type errors . You literally can not construct a program that is not well-typed. Don't ask me how that editing experience is supposed to work, or if it's a good idea.

Actually, that sounds terrible. I already am sometimes annoyed when I try to first use a variable, and then go back and decide where should I declare it - visual studio doesn't like that - literally not being able to go through a broken state would be annoying.

Re: Unison: a next-generation programming platform

#32

Post by LeoPanthera »

duaneb wrote: post #27
the_why_of_y wrote: post #5

How does this differ from other next-generation web platforms like Opa? http://opalang.org/ Also, why does this need to re-use the name of a next-generation file synchronization tool? http://www.cis.upenn.edu/~bcpierce/unison/

How does it improve on rsync?

Unison is bidirectional.

Re: Unison: a next-generation programming platform

#33

Post by Alex3917 »

desireco42 wrote: post #29

This all honestly resonates a lot with me. It sounds a little like LightTable. It is not explained best, that is for sure. I still need to find and see software, but provided there is one, I think his heart is on right place.

I think it's more analogous to Urbit than LightTable.

Re: Unison: a next-generation programming platform

#34

Post by EricSu »

irickt wrote: post #14
jackmaney wrote: post #2

Pro Tip: if I have to dig through eight paragraphs of fluff to find out what the fuck your product is, then you REALLY need to rethink the description of your product. In particular, it was not at all clear what was meant by a "programming platform". Until I finally stumbled onto the description below, I thought it was just another web-based IDE. > What is the Unison platform? At a high level, it consists of three co…

The author posted a followup to counter the impressions of vaporware: http://unisonweb.org/2015-05-07/update.html

....which is also 8 paragraphs of fluff and trying to connect with the audience

Re: Unison: a next-generation programming platform

#35

Post by ibdknox »

Alex3917 wrote: post #33
desireco42 wrote: post #29

This all honestly resonates a lot with me. It sounds a little like LightTable. It is not explained best, that is for sure. I still need to find and see software, but provided there is one, I think his heart is on right place.

I think it's more analogous to Urbit than LightTable.

From what I know of his project, the best description is probably a vertically integrated haskell-like language, fully structured editor (think paredit without parens), and distributed framework.

So yeah, Urbit is a better analogue than LT :)

Re: Unison: a next-generation programming platform

#36

Post by nocman »

jackmaney wrote: post #8
aikah wrote: post #6

Show, don't tell.

But if you're going to tell, be concise and coherent.

Yes, 1000 times yes!

I know the author has a lot to say, but even after patiently wading through the first few paragraphs I was not prepared to invest any more time in figuring out what was so great about this project. The article title was enough to get my attention, but I could not hang in there long enough to get excited about (or even remain mildly interested in) the project.

Edit: OK, it was probably more like 50-60% of the first page that I read through, not just the first few paragraphs.

Re: Unison: a next-generation programming platform

#38

Post by desireco42 »

Alex3917 wrote: post #33
desireco42 wrote: post #29

This all honestly resonates a lot with me. It sounds a little like LightTable. It is not explained best, that is for sure. I still need to find and see software, but provided there is one, I think his heart is on right place.

I think it's more analogous to Urbit than LightTable.

Thanks for that reference.

Re: Unison: a next-generation programming platform

#39

Post by woah »

Alex3917 wrote: post #33
desireco42 wrote: post #29

This all honestly resonates a lot with me. It sounds a little like LightTable. It is not explained best, that is for sure. I still need to find and see software, but provided there is one, I think his heart is on right place.

I think it's more analogous to Urbit than LightTable.

Like Urbit but less crazy I'm guessing?

Re: Unison: a next-generation programming platform

#40

Post by woah »

jackmaney wrote: post #10
jackmaney wrote: post #2

Pro Tip: if I have to dig through eight paragraphs of fluff to find out what the fuck your product is, then you REALLY need to rethink the description of your product. In particular, it was not at all clear what was meant by a "programming platform". Until I finally stumbled onto the description below, I thought it was just another web-based IDE. > What is the Unison platform? At a high level, it consists of three co…

As with many things in life, there's also a relevant xkcd: https://xkcd.com/927/

There should be an xkcd about people overusing that xkcd in every possible context
Post reply on HN