News for hackers. Stuff that matters.

A comment on racket/rhombus: "We're now officially in the "integration" phase for Rhombus.". Parent comment

Re:racket/rhombus: "We're now officially in the "integration... by morningsam on Monday August 05, 2024 @04:21PM (#41165182)
I'm a bit confused: Can this static information system be used for run-of-the-mill static type checking as well or not? And if so, does a static type checker for this language exist or is one in the works?
[ Parent | on HN ]
Re:racket/rhombus: "We're now officially in the "integration... by soegaard on Tuesday August 06, 2024 @04:20AM (#41168802)
> Can this static information system be used for run-of-the-mill static type checking as well or not?

Yes.

As an example Matthew Flatt has implemented Shplait in Rhombus:

https://github.com/mflatt/shplait

[ Parent | on HN ]