2 ms·
Imagine what APL could do with a Haskell-style type system and enforced referential transparency. APL programmers want to say their language is mathematical no
by msla 4y ago
Imagine what APL could do with a Haskell-style type system and enforced referential transparency.
APL programmers want to say their language is mathematical notation, well, make it mathematical notation.
- chrispsn 4y agoIn the Wordle dict example, it would have helped if a type system could tell me I was wrong when I assumed that an indexing miss would generate an empty list.