News for hackers. Stuff that matters.

A comment on Crystal in Production: Diploid. Parent comment

Re:Crystal in Production: Diploid by dualogy on Saturday October 28, 2017 @10:59AM (#15575324)
> On the other hand I've read reports that sufficiently large codebases begin to hit machine memory limits for the compiler because they have to scan and construct every possible union type in the codebase

I'd be interested why a compiler would even need to do so in the first place --- constructing every possible one instead of every one it encounters as clearly needed right now.

Edit: OK I see it now, you can have stuff like Int32|String. Still though.. TS can "handle" that too?

[ Parent | on HN ]
Re:Crystal in Production: Diploid by vanderZwan on Saturday October 28, 2017 @12:18PM (#15575600)
Maybe we're confusing type inference with code generation here? TypeScript doesn't compile to machine code ahead of time, it only has to verify the types.

Here is one of the creators of the language talking about the global type inference of Crystal:

https://www.youtube.com/watch?v=xbdVs4FhZac&t=16m

[ Parent | on HN ]