4 ms·
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
by levosmetalo 13y ago
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.
- agumonkey 13y agoThe source code is quite surprising https://github.com/hraberg/shen.clj/blob/master/shen/src/prolog.shen#L231 https://github.com/hraberg/shen.clj/blob/master/shen/src/pro...
- vutekst 13y agoIndeed, I don't really understand how that could be code. Are those just cute symbols to match on?
- chrismonsanto 13y agoYes -- see https://github.com/hraberg/shen.clj/blob/master/shen/src/prolog.shen#L305 https://github.com/hraberg/shen.clj/blob/master/shen/src/pro... Upper case symbols are variables, as in Prolog. The others are literal matches.
- kenko 13y agoElsewhere in the file he matches on things like "rename the variables": https://github.com/hraberg/shen.clj/blob/master/shen/src/prolog.shen#L305-L327 https://github.com/hraberg/shen.clj/blob/master/shen/src/pro...
- saosebastiao 13y agoIt 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.
- hga 13y agoYou'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.