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

21–30 of 135 posts

Re: Unison: a next-generation programming platform

#21

Post by Dewie3 »

bcg1 wrote: post #12

On the surface it sounds interesting, but I don't really buy the idea that programming is terribly limited by the quality of text editors. Even "basic" editors like vim and emacs can almost instantly catch most syntax problems, and IDEs like Eclipse and Visual Studio are great about complaining if you make a mistake. In my experience, these days relatively few problems come from language syntax errors ... most proble…

The editor (or whatever it's called) promises to only allow only well-typed programs. Not just syntactically correct programs.

Re: Unison: a next-generation programming platform

#22

Post by banebot »

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/

This was the first thing that came to mind about a paragraph into reading

Re: Unison: a next-generation programming platform

#24

Post by marcosdumay »

Dewie3 wrote: post #21
bcg1 wrote: post #12

On the surface it sounds interesting, but I don't really buy the idea that programming is terribly limited by the quality of text editors. Even "basic" editors like vim and emacs can almost instantly catch most syntax problems, and IDEs like Eclipse and Visual Studio are great about complaining if you make a mistake. In my experience, these days relatively few problems come from language syntax errors ... most proble…

The editor (or whatever it's called) promises to only allow only well-typed programs. Not just syntactically correct programs.

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

Re: Unison: a next-generation programming platform

#25

Post by Dewie3 »

marcosdumay wrote: post #24
Dewie3 wrote: post #21

Earlier quoted context omitted.

The editor (or whatever it's called) promises to only allow only well-typed programs. Not just syntactically correct programs.

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.

Re: Unison: a next-generation programming platform

#27

Post by duaneb »

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?

Re: Unison: a next-generation programming platform

#28

Post by panic »

Here are some more blog posts about the project: http://pchiusano.github.io/unison/

As far as I can tell, the goal is to put interaction with a UI on the same level as editing a program. To this end, Unison expressions, values and UI elements all live in a single syntax tree which can be edited in a structured way.

A demo would go a long way toward making this all clearer. Even some text describing what it would be like to use the finished product would help.

Re: Unison: a next-generation programming platform

#30

Post by desireco42 »

bcg1 wrote: post #12

On the surface it sounds interesting, but I don't really buy the idea that programming is terribly limited by the quality of text editors. Even "basic" editors like vim and emacs can almost instantly catch most syntax problems, and IDEs like Eclipse and Visual Studio are great about complaining if you make a mistake. In my experience, these days relatively few problems come from language syntax errors ... most proble…

It is very limited, I am a vim guy, it has nothing to do with vim. Simply we are reinventing the wheel every time and that is the biggest issue.
Post reply on HN