00:36 <travis-ci> manastech/crystal#1640 (master - 48388bb : Ary Borenszweig): The build is still failing.

00:36 <travis-ci> Change view : https://github.com/manastech/crystal/compare/2eeb17693c1a...48388bb83035

00:36 <travis-ci> Build details : http://travis-ci.org/manastech/crystal/builds/40725823

00:38 <DTSCode> why is the build failing/

07:16 <DTSCode> is this the development channel, or a help channel for writing crystal code, or both?

09:07 <rpag> DTSCode, channel traffic is pretty low and irregular, but i'd say both

09:07 <rpag> DTSCode, github is a lot more active though

14:34 <CraigBuchek> DTSCode: Not sure if you got an answer to your initial question, but this is for dev and for help with using the Crystal programming language.

17:02 <DTSCode> ok... ty guys. just wondering cause i was considering learning it soon and helping with the compiler

18:43 <DTSCode> if i run # crystal am i entering a repl?

19:23 <jhass> no, there's no repl currently

20:52 <kgadek> hi :) I'm quite interested in your language, especially the typechecker. Do you have any papers / blog posts on that or would I need to dig through source code?

20:52 <kgadek> what's the best way to dive into that?

21:00 <jhass> there are some blog posts on crystal-lang.org woth reading, though quite a bit changed since the last one, so commit log and source reading isn't wrong too ;)

21:02 <kgadek> k. I'm skimming through the src/compiler/crystal/semantic/type_inference.cr and… that is HM, no?

21:04 <kgadek> (does not look like one, but just telling from 3 minutes with 3K of code so I may be veeeery wrong ;) )

21:16 <DTSCode> are there any crystal tutorials or do we just go through the documentation?

21:17 <jhass> at this stage, read through the docs that exist once, try writing simple ruby and work through the compiler errors ;)

21:49 <CraigBuchek> And then ask questions here or in GitHub issues when you can't figure out how it's supposed to work...

21:50 <CraigBuchek> kgadek: I'm also curious if the type checking is Hindley–Milner. Not sure. Probably have to ask wan or astride when they show up here.

21:52 <kgadek> CraigBuchek: had to start working but I haven't found a trace of ad-hoc polymorphism so I believe that it's not HM. Yet I will need to study the code, documentation, and language a bit more as the results appear to be quite pleasing

21:53 <kgadek> *start working so dropped the research here

21:54 <CraigBuchek> I'm impressed by the type inference either way, especially that they've basically implemented almost all of Ruby, compiled to native code, and eliminated NullPointerExceptions.

21:55 <CraigBuchek> Wow, I guess autocorrect got me on waj and asterite's names.