Epigram - incremental interactive typechecking

You can download Epigram itself and follow the tutorial. It's worth trying.

The part that most impressed me is the interactivity. I really like this halfway point between a structure editor and a free text editor.

I think this approach would be great for designing parsers as well, where you have the content to be parsed in a separate buffer, and you interactively build the parser and see which bits gets parsed.

Also, dependently typed languages are very nifty.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Before

Ehud's actually mentioned Epigram before, though not as its own topic. I didn't bother to follow the link at the time, so thanks for the reminder! It looks interesting.