Why I Program in Erlang

Re:Why I Program in Erlang by tikhonj on Tuesday October 30, 2012 @12:20AM (#4716042)

If you want to see pattern-matching taken to its logical extreme, check out bondi[1]. This is a rather researchy language based entirely around pattern matching; the core idea is to use pattern matching as "a new foundation for computation".

[1]: http://bondi.it.uts.edu.au/

Patterns are extended in several important ways. In total, this lets patterns be extremely generic; you can write code that is polymorphic over virtually any data you care to throw at it.

The language is heavily influenced by OCaml and supports both functional and OO-style code. It has static typing, which I think is very nice.

As a disclaimer, I've never used the language itself. I did read a book[2] about its design and played around with some variations on the lambda calculus leading up to the language itself. I also completely skipped over the OO sections of the book because I am a little tired of OO these days :P.

[2]: http://www.springer.com/computer/theoretical+computer+scienc...

[ Parent | on HN ]

Re:Why I Program in Erlang by paul-woolcock on Tuesday October 30, 2012 @08:28AM (#4717077)

This is probably the second or third time I have come across this language in an HN comment. Every time I see it, I click the link, and try to click the links on bondi.it.uts.edu.au, only to get 403 FORBIDDEN responses from any link whose path starts with `~/cbj/`.

[ Parent | on HN ]