Alexis King

Yeah, the Hackett typechecker is super slow. 🙂 This is a known bug. Performance is generally abysmal, and there are some pretty obvious bottlenecks that would not be difficult to...

(Oh, and cc @howell on this thread.)

Could you explain why you would want to do this? I’m not immediately sure why that is any more or less readable than the equivalent already available in Hackett: ```racket...

I understand the sentiment of (2), since it’s “more like Haskell”, and generally, Hackett opts to be like Haskell where possible. That said, I don’t really like the idea. It’s...

I don’t really understand that much about ML functors, so I’m not entirely sure what you’re doing/need to do, but it seems reasonable to want Hackett to leave behind information...

This is a really interesting proposal. Thank you for writing it up! I do think that many of the things you’ve written make a lot of sense. I think it’s...

I’m afraid I haven’t had much time lately to work on Hackett, which is why some maintainership duties have slipped, but I’m hoping that will change in a couple of...

Infix operators are planned, in some way or another. The exact details are not squared away yet. However, you *will* need to use `{` curly braces `}` to enter “infix...

I would like to avoid assigning meaning to the names of identifiers. Lisp identifiers are traditionally much more lax about which characters you can use in an identifier, so you...

Associativity is now implemented in the new implementation in e7767ad0ecbb5ccafef3adb2c15ee8f04d0e31c5, but precedence is still unimplemented. You can now specify associativity when writing a definition by writing `#:fixity left` or `#:fixity...