waj has joined #crystal-lang
waj has joined #crystal-lang
e_dub has joined #crystal-lang
asterite has joined #crystal-lang
asterite1 has joined #crystal-lang
asterite_ has joined #crystal-lang
asterite2 has joined #crystal-lang
<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 has joined #crystal-lang
travis-ci has left #crystal-lang [#crystal-lang]
<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
<asterite2> kgadek: here I wrote something: https://gist.github.com/asterite/195bfec1de40607a64bf , it's really hard to explain everything…
<kgadek> awesome, thanks!
bcardiff has joined #crystal-lang
bcardiff has joined #crystal-lang
e_dub has joined #crystal-lang
bcardiff has joined #crystal-lang
waj has joined #crystal-lang
e_dub has joined #crystal-lang
e_dub has joined #crystal-lang
e_dub has joined #crystal-lang
e_dub has joined #crystal-lang
CraigBuchek has joined #crystal-lang
bcardiff has joined #crystal-lang
asterite has joined #crystal-lang
asterite has joined #crystal-lang
asterite1 has joined #crystal-lang
asterite has joined #crystal-lang
e_dub has joined #crystal-lang
e_dub has joined #crystal-lang
bcardiff has joined #crystal-lang
asterite has joined #crystal-lang
asterite1 has joined #crystal-lang
asterite has joined #crystal-lang
dom96 has joined #crystal-lang
asterite has joined #crystal-lang
asterite has joined #crystal-lang
dtscode_ has joined #crystal-lang
dtscode_ has left #crystal-lang [#crystal-lang]
e_dub has joined #crystal-lang
waj has joined #crystal-lang
waj has joined #crystal-lang
canhtak has joined #crystal-lang
waj has joined #crystal-lang
waj has joined #crystal-lang
bcardiff1 has joined #crystal-lang
travis-ci has joined #crystal-lang
travis-ci has left #crystal-lang [#crystal-lang]
<travis-ci> IndieMagic/crystal#1 (master - 091fd2e : Lila Grace): The build failed.
waj has joined #crystal-lang
waj has joined #crystal-lang
waj has left #crystal-lang [#crystal-lang]
waj has joined #crystal-lang
Exilor has joined #crystal-lang
waj has joined #crystal-lang
waj has joined #crystal-lang
waj1 has joined #crystal-lang