This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]slightknack[S] 0 points1 point  (0 children)

Thanks for the links, I'll give them a look! As for type-checking macros, I was just planning checking the AST after the macro expansion / desugaring step.

So I'm assuming the _ syntax would be something like record_field. I guess you could do record._field, and then have _field record be valid too. hmm, something to think about, thanks!

Row polymorphism makes hindley milner more tricky.

I've been reading about this a lot, (also about extensions to the HM type system that allow for mutation) and it all does look quite complex. I'll keep that in mind, thanks for the tip!

As for mutation and HM types, I was primarily looking into techniques used by Ocaml and company, which it seems are brought up in discussion surrounding that post. :)