Lisp has macros, which compute based on compile-time information about programs, a.k.a. types. But most lispers know no recursion in types.
At least Oleg has long reconciled metaprogramming and types. It's time Lispers and Haskellers stop fighting and reckon what the others bring
-
-
where did he talk about that ? his website is too dense, I don't remember seeing this
-
I don't know if he *explicitly* talks about that, but he describes a lot of type-directed or type-preserving code transformations.
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.
Read my blog!