To make a programming language actually simpler, turn more constructs into first-class values. To pretend a language is simpler but make it more complex, add syntax sugar & other things that aren't values.
Replying to @jdegoes
So... Types should be values? Dependent types! Expressions should be? Lisp macros! Effectful computations? Imperative effects! Mutable entities with identity? Objects! Implementation strategies? First-class implementations! Runtime controls? Runtime reflection!
10:18 AM - 2 Feb 2019
0 replies
0 retweets
6 likes
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.
Read my blog!