If the goal is to teach functional programming with testing and signatures, is the awkward syntax (that isn't really very close to C#, Java, or Python) better than a set of macros on top of typed Racket?
It seems like it'd be easy to define a typedracket-derived #lang where you had to write:
(define (sum a b) : [-> Integer Integer Integer]
(where (= (sum 0 1) 1)
(= (sum 2 2) 4))
(+ a b))
And make the type signature and where clause non-optional with at least a single test.
It seems like it'd be easy to define a typedracket-derived #lang where you had to write:
And make the type signature and where clause non-optional with at least a single test.