Blog post: Giml's type inference

https://gilmi.me/blog/post/2021/04/06/giml-type-inference

5 Likes

Is the name of this language an orthographic Hebrew pun?

1 Like

Yes, that’s definitely one reason :slight_smile:

2 Likes

I’ve been following the series from the start, and implementing my own version (with slight differences in features and implementation details). I’ve really enjoyed watching you create Giml, thank you!

1 Like

Thank you. I’m really happy to hear that! Good luck with your language as well!

Part 2: typing extensible records in Giml
https://gilmi.me/blog/post/2021/04/10/giml-typing-records