Free-range programmers supplied with natural & organic checkers
-
This Tweet is unavailable.
-
-
Replying to @nabijaczleweli
When programming in Lisp, I use a natural & organic you're checker, my brain. On the one hand, it makes a lot of mistakes. On the other hand, it can deal with types your other type checkers cannot even dream of.
0 replies 0 retweets 6 likes -
This Tweet is unavailable.
-
Can your typecheckers deal with staging? With correspondance between multiple levels of abstraction? With dynamic effect control at runtime, including of the previous? Mine does, and has to.
1 reply 0 retweets 0 likes -
-
Replying to @agambrahma @nabijaczleweli
The organic one in my head, that must type-check programs that those mineral type-checkers can't deal with.
1 reply 0 retweets 0 likes -
Replying to @Ngnghm @nabijaczleweli
Hmm, is there something existing that approximates it?
1 reply 0 retweets 0 likes
We have many static and dynamic typing systems that approximate from above and below. Now to narrow down the interval.
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!