3 ms·
Sweet! I've always wished a better type systems were available in dynamic languages. These deficiencies are clearly visible in Lisps where you're given great m
by ittekimasu 10y ago
Sweet! I've always wished a better type systems were available in dynamic languages.
These deficiencies are clearly visible in Lisps where you're given great meta-power with macros, but where the type system starts fighting petulantly, whenever one wants to do something fast. In this respect C++ templates are much better.
Shen on the other hand seems quite interesting (and seems to come with its own prolog engine!); anyone here have any views on this Lisp ?
- bjz_ 10y agoAlso be sure to check out typed racket!
- jakub_h 10y agoSadly, Typed Racket always seemed to me like some kind of shoehorning an ad-hoc system onto an AST. For that purpose, a deductive system seems much more natural. There may be problems with decidability, but the fortuitous thing is that this is not a deal-breaker for a primarily dynamic language. You should always be able to rewrite your modules so that they're easier to check, but even if you can't do that outright, the system could still find faster versions if a few type guards or other invariant checks get inserted here and there, or perhaps some form of assistant in your development environment could hint at the need to insert them manually.
- qbrass 10y ago>Shen on the other hand seems quite interesting (and seems to come with its own prolog engine!) Shen implemented Prolog to build it's type checker with.