4 ms·
Shen stands above other languages (apart from Idris and Coq) in the area of dependent types.
by juliangamble 12y ago
Shen stands above other languages (apart from Idris and Coq) in the area of dependent types.
- doublec 12y agoI haven't looked at the ability to have dependent types in Shen - it'd be great to see some examples. A quick search on the mailing list found: https://groups.google.com/d/msg/qilang/lokvvf0xLJc/20y8ZkzoNH4J https://groups.google.com/d/msg/qilang/lokvvf0xLJc/20y8ZkzoN... https://groups.google.com/d/msg/qilang/D3tmhQvfnOE/qcsXhRomFb0J https://groups.google.com/d/msg/qilang/D3tmhQvfnOE/qcsXhRomF...
- nullc 12y agoand apart from ATS.