<asterite2>
Hi kgadek, just read your messages now
<asterite2>
and also DTSCode's :)
<asterite2>
DTSCode: the build is failing because we changes something in the Makefile to make our lives easier but something is wrong
<asterite2>
But @waj went to that Amazon conference in Las Vegas so I'm alone and I don't want to try to fix things without him, so I'll wait for him to come back :)
waj has joined #crystal-lang
<asterite2>
kgadek: it's not Hindley-Minler, it's something more like the Cartesian Product Algorithm
<asterite2>
Our algorithm is actually really simple and we are quite surprised it works well and fast in practice
<asterite2>
The code is a bit messy at times, these days I'm refactoring it a bit and I will try to add comments, but without a human explanation outside the code I think it will be a bit difficult to understand either way, but I can tell you to you here (once you come back :))
<travis-ci>
manastech/crystal#1641 (master - 0d73921 : Ary Borenszweig): The build is still failing.
<kgadek>
asterite2: oh, that's really interesting. I'll love to hear about that but I just got overhelmed by bug reports so will back here to ask again but in few days
<kgadek>
especially since that's not Hindley-Milner
<kgadek>
plain H-M is… well… "boring" ;)
<asterite2>
Hehehe, yes, H-M is simple, it's just "the obvious thing" written down in mathematics