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 Monday August 05, 2024 @04:16AM (#41159106)
The operator `expr :~ annot` simply attaches the static information to the expression.

The operator `expr :: annot` will at runtime insert a check that the expression satisfies the annotation.

[ Parent | on HN ]
Re:racket/rhombus: "We're now officially in the "integration... by scotty79 on Monday August 05, 2024 @11:15AM (#41162137)
What if I want both behaviors at the same time? Have some static information attached and also do a runtime check?
[ Parent | on HN ]