Comment by juliangamble 11 years ago Shen stands above other languages (apart from Idris and Coq) in the area of dependent types. 2 comments juliangamble Reply doublec 11 years ago I 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/20y8ZkzoN... https://groups.google.com/d/msg/qilang/D3tmhQvfnOE/qcsXhRomF... nullc 11 years ago and apart from ATS.
doublec 11 years ago I 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/20y8ZkzoN... https://groups.google.com/d/msg/qilang/D3tmhQvfnOE/qcsXhRomF...
I 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/20y8ZkzoN... https://groups.google.com/d/msg/qilang/D3tmhQvfnOE/qcsXhRomF...
and apart from ATS.