3 ms·
I don't think the original submission has enough details for us to reproduce or even understand what's being done. Omega monad is just a diagonal search monad t
by kccqzy 2y ago
I don't think the original submission has enough details for us to reproduce or even understand what's being done. Omega monad is just a diagonal search monad that supports infinity. I don't understand the syntax in the screenshot. What's the type of the terms being enumerated? I can see lambda, but what's @inc or the pluses and minuses?
- trenchgun 2y agoYeah, also the submission headline is wrong. He was using Haskell only for the toy example. He is using HVM for the actual Discrete Program Search. See also the follow up post: https://x.com/VictorTaelin/status/1819774880130158663 https://x.com/VictorTaelin/status/1819774880130158663