Notices

1. dave (dthompson@toot.cat)'s status on Thursday, 29-Dec-2022 20:58:55 CET dave

   in reply to

   context: this is for a tiny Scheme-like language that compiles to GLSL shader code. GLSL is quite limited in what can be expressed so it should make the complexity manageable. I just don't want to have to declare the types of function arguments and let bindings.

   • dave (dthompson@toot.cat)'s status on Thursday, 29-Dec-2022 20:58:56 CET dave

     anyone got any good references for implementing hindley-milner type inference? https://course.ccs.neu.edu/cs4410sp19/lec_type-inference_notes.html is the most accessible thing I've found so far due to using a lot of plain english but there's still a lot of ML notation and tbh I have a hard time reading that stuff.

     Ekaitz Zárraga 👹 repeated this.
   • dave (dthompson@toot.cat)'s status on Thursday, 29-Dec-2022 21:08:11 CET dave

     • Ekaitz Zárraga 👹

     @ekaitz_zarraga that's funny because I found a *different* python version: https://github.com/rob-smallshire/hindley-milner-python

     the one you found is much more compact. I'll study that one!

   • dave (dthompson@toot.cat)'s status on Thursday, 29-Dec-2022 21:10:04 CET dave

     • Ekaitz Zárraga 👹

     @ekaitz_zarraga if I can understand even one basic implementation it will help me translate the concepts into my own code.