When would you use language plait & when would you use language typed/racket?

General
7

Re (& Language plait and gui): Typed Racket is a typed version of Racket, which has the type system designed for

  • safe and sound interoperability with Racket
  • typing idiomatic Racket programs, including logical types and occurrence typing
    (if (integer? x) #| integer? is not just Any -> Bool but also gives information on the type of x |#
    (+ x 3) #| x has type Integer in this branch |#
    ... #| x has type SOMETHING - {Integer}, roughly |#)
1 Like