<DTSCode>
is this the development channel, or a help channel for writing crystal code, or both?
<rpag>
DTSCode, channel traffic is pretty low and irregular, but i'd say both
<rpag>
DTSCode, github is a lot more active though
bcardiff has joined #crystal-lang
e_dub has joined #crystal-lang
CraigBuchek has joined #crystal-lang
<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.
e_dub has joined #crystal-lang
<DTSCode>
ok... ty guys. just wondering cause i was considering learning it soon and helping with the compiler
DTSCode has joined #crystal-lang
bcardiff has joined #crystal-lang
CraigBuchek has joined #crystal-lang
<DTSCode>
if i run # crystal am i entering a repl?
waj has joined #crystal-lang
e_dub has joined #crystal-lang
bcardiff has joined #crystal-lang
<jhass>
no, there's no repl currently
rpag_ has joined #crystal-lang
bcardiff has joined #crystal-lang
bcardiff has joined #crystal-lang
e_dub has joined #crystal-lang
e_dub has joined #crystal-lang
bcardiff has joined #crystal-lang
bcardiff has left #crystal-lang [#crystal-lang]
kgadek has joined #crystal-lang
<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?
<kgadek>
what's the best way to dive into that?
<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 ;)
e_dub has joined #crystal-lang
<kgadek>
k. I'm skimming through the src/compiler/crystal/semantic/type_inference.cr and… that is HM, no?
<kgadek>
(does not look like one, but just telling from 3 minutes with 3K of code so I may be veeeery wrong ;) )
<DTSCode>
are there any crystal tutorials or do we just go through the documentation?
<jhass>
at this stage, read through the docs that exist once, try writing simple ruby and work through the compiler errors ;)
<CraigBuchek>
And then ask questions here or in GitHub issues when you can't figure out how it's supposed to work...
<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.
<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
<kgadek>
*start working so dropped the research here
<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.
<CraigBuchek>
Wow, I guess autocorrect got me on waj and asterite's names.