Comment on K: We need to talk about groupComments−msla3yImagine 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.−chrispsnOP3yIn 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.
Comments
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.
In 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.