@bascule @heatherrivers Oh, that's awesome. Applies to formal languages such as propositional logic and programming languages too.
-
-
-
@languagehacker@HeatherRivers yeah I've been thinking about how it applies to programming languages. Lisp is analytical and COBOL synthetic -
@bascule@heatherrivers Exactly! You might also like categorial grammars e.g. the kind@jasonbaldridge works with. Types taking types. -
@languagehacker@HeatherRivers don’t know anything about it but I just started following@jasonbaldridge -
@bascule you'll never look at closures the same way again. Type-raising is like a mental gestaltshift. -
@languagehacker I tend to prefer untyped languages ;)
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.