News for hackers. Stuff that matters.

A comment on Hackett – A Haskell-like language with support for Racket’s macro system.

Re:Hackett – A Haskell-like language with support for Racket... by Y_Y on Saturday April 14, 2018 @12:54PM (#16838158)
The more I learn about this project the more I like it.

It would be amazing to see Hackett implemented in miniKanren, I think that would really bring us a big step closer to "compiler as a conversation" sort of programming. The combination of relational evaluation and the Haskell type system should be really powerful.

[ Parent | on HN ]
Re:Hackett – A Haskell-like language with support for Racket... by disconcision on Saturday April 14, 2018 @07:47PM (#16840248)
> "compiler as a conversation"

could you elaborate on this concept?

[ Parent | on HN ]
Re:Hackett – A Haskell-like language with support for Racket... by Y_Y on Sunday April 15, 2018 @05:16AM (#16841938)
It's not my idea, or a new idea. All the same I couldn't find a good reference. This [0] thread should give you an idea of what I'm talking about and hopefully someone else will come along with a better link.

[0]https://news.ycombinator.com/item?id=9397489

[ Parent | on HN ]