Um, what's wrong with that? Not everyone gets to learn English as their first language, do their efforts deserve to be discarded just because of that?
I mean, I could point out that your grammar ('some of documentation') invalidates your entire comment, but that's kinda silly.
He's not writing the hopefully high profile documentation for a project that people want to be used, ffs. No, it doesn't deserve to be discarded because of that, but it's clearly suboptimal.
> ... but that's kinda silly.
I wouldn't take this guy seriously until he brings forth some constructive criticism.
I'm sorry, what does that mean?
>bad compiler, bad type system
I'd love to hear some feedback from you about the compiler and type system, so that we can discuss and improve them.
>no formal proofing
Ary has expressed interest in formally defining crystal's type system, but its understandably far down the list of priorities.