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

Re:racket/rhombus: "We're now officially in the "integration... by scotty79 on Sunday August 04, 2024 @09:16PM (#41157444)

Is that the reason for two different type annotation signifiers? That some day I might want to extend the language with something?

It sounds a bit like if every C function (including hello world) had to have empty asm block because someone might need it some day.

[ Parent | on HN ]

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 ]