|
|
|
|
|
|
by mietek
4661 days ago
|
|
|
> Shen sort of offers a richer system in very weird syntax, but the compiler just throws that info away and doesn't make it useful. While I share your belief in the importance of type systems, I don't understand this remark. I haven't used Shen (or Qi), but it's at the top of my list of interesting languages to try. As I understand, the optional type system is a core Shen feature. The syntax may be unlike other programming languages, but is taken directly from type theory. Can you go into more detail, perhaps contrasting with Haskell? http://www.shenlanguage.org/learn-shen/types/types_sequent_c... |
|
|