News for hackers. Stuff that matters.

A comment on Rosette – A solver-aided programming language that extends Racket.

Re:Rosette – A solver-aided programming language that extend... by DanielBMarkham on Sunday June 04, 2017 @02:33PM (#14482795)
Could this be added to Hackett, creating, perhaps, Hosette? [1]

1. https://lexi-lambda.github.io/blog/2017/05/27/realizing-hack...

[ Parent | on HN ]
Re:Rosette – A solver-aided programming language that extend... by notjack on Sunday June 04, 2017 @02:39PM (#14482822)
You might be able to use Rosette to implement refinement types on top of Hackett, giving you (I guess?) Liquid Hackett.
[ Parent | on HN ]