Adopting Ruby 3 types with RBS

Re:Adopting Ruby 3 types with RBS by Trasmatta on Saturday December 26, 2020 @03:37AM (#25542181)

Crystal is the closest I've seen to match that. It's type inference is the most robust I've seen, you can write it almost like Ruby and still get full static type checking. I prefer to still use annotations fairly often with it though.

The trade off for that powerful type inference is a slow compiler.

[ Parent | on HN ]

Re:Adopting Ruby 3 types with RBS by Rochus on Monday January 04, 2021 @01:14PM (#25635499)

> Crystal is the closest I've seen to match that

And it's 20 times faster than MRI Ruby JIT 3.0, see http://software.rochus-keller.ch/are-we-fast-yet_crystal_rub.... It's a pity Ruby typing went in another direction.

> The trade off for that powerful type inference is a slow compiler.

When run in the default (i.e. no release, debug) mode, build time is ok, especially for rebuilds when only one file has changed which is less than a second. Release builds are slow (see my PDF).

[ Parent | on HN ]