News for hackers. Stuff that matters.

A comment on Lilith: x86-64 OS written in Crystal. Parent comment

Re:Lilith: x86-64 OS written in Crystal by mintplant on Monday December 23, 2019 @12:51AM (#21861739)
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.
[ Parent | on HN ]
Re:Lilith: x86-64 OS written in Crystal by orthoxerox on Monday December 23, 2019 @01:27AM (#21861848)
Yew, 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.
[ Parent | on HN ]
Re:Lilith: x86-64 OS written in Crystal by ezrast on Monday December 23, 2019 @02:31PM (#21866502)
All 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.
[ Parent | on HN ]
Re:Lilith: x86-64 OS written in Crystal by asymmetric on Monday December 23, 2019 @09:30AM (#21863764)
Do you have a link?
[ Parent | on HN ]
Re:Lilith: x86-64 OS written in Crystal by ezrast on Monday December 23, 2019 @02:54PM (#21866721)
You're probably describing this or a related issue: 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.

[ Parent | on HN ]