Hacker News Reader

For truly typed lisp you should also check Shen. Its type system is built in and very advanced and flexible (based on sequent calculus). You can write programs in both type checked and unchecked mode. One of the supported platforms is also Java.

Project is still young and in an early phase, but definitely promising.

View on HN

The source code is quite surprising https://github.com/hraberg/shen.clj/blob/master/shen/src/pro...

Indeed, I don't really understand how that could be code. Are those just cute symbols to match on?

Yes -- see https://github.com/hraberg/shen.clj/blob/master/shen/src/pro...

Upper case symbols are variables, as in Prolog. The others are literal matches.

Elsewhere in the file he matches on things like "rename the variables": https://github.com/hraberg/shen.clj/blob/master/shen/src/pro...

It looks really cool! Shame about that license though...I can appreciate the fact that he wants a focused community, but he risks not having a community at all.

You'll be happy to know that the currently inherently ambiguous license is being reworked, to something akin to a normal open source license with the GCC runtime exception for users and the Sun's restriction on use of Java trademark, but using copyrights and not allowing the games that caused Apache's Harmony project so much grief.

Reply on news.ycombinator.com