Lisp has macros, which compute based on compile-time information about programs, a.k.a. types. But most lispers know no recursion in types.
-
-
-
Replying to @agumonkey
At least Oleg has long reconciled metaprogramming and types. It's time Lispers and Haskellers stop fighting and reckon what the others bring
1 reply 0 retweets 0 likes -
Replying to @Ngnghm
where did he talk about that ? his website is too dense, I don't remember seeing this
1 reply 0 retweets 0 likes
Replying to @agumonkey
I don't know if he *explicitly* talks about that, but he describes a lot of type-directed or type-preserving code transformations.
1:45 PM - 18 Jul 2017
0 replies
0 retweets
1 like
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!