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 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 ]

There are no comments on this comment yet.