search

oxalica / nil

NIx Language server, an incremental analysis assistant for writing in Nix.
Apache License 2.0
1.28k stars 39 forks source link

Do you use HM type inference? #116

Closed Septias closed 7 months ago

Septias commented 8 months ago

Hi @oxalica, I may write some type inference algorithm in my bachelor thesis and I would like to know if you already use a Hindley-Milner type system in your code or if that might be a newish thing I can try.

Kind regards, Septias :)

oxalica commented 7 months ago

if you already use a Hindley-Milner type system in your code or if that might be a newish thing I can try.

It is, kinda, but with some casual tweaks on set types. It's designed to focus on keeping more information than get everything correct. So it's not a good reference to type inference in a serious programming language.

I may write some type inference algorithm in my bachelor thesis.

I'm sorry but it may be better to check other strict typed compilers, or relevant papers for reference instead.