3 ms·
Didn't Crystal run into a major development roadblock a couple(?) years ago? Something about a fatal design flaw in the type system which led to exponential blo
by mintplant 7y ago
Didn't Crystal run into a major development roadblock a couple(?) years ago? Something about a fatal design flaw in the type system which led to exponential blowup in larger programs. I haven't been able to surface the relevant GitHub threads again, but whatever it was, I guess they worked past it eventually.
- orthoxerox 7y agoYew, they tried to do whole-program type inference a la ML. That was a long time ago, modern Crystal has you indicate parameter and return types.
- asymmetric 7y agoDo you have a link?
- ezrast 7y agoAll that stuff is still optional. I don't think there are any cases where removing type annotations from a working Crystal program will change behavior.
- ezrast 7y agoYou're probably describing this or a related issue: https://github.com/crystal-lang/crystal/pull/6351 https://github.com/crystal-lang/crystal/pull/6351 I don't think it was ever a major roadblock. The fix isn't pretty but it doesn't come up that often in practice.