Pratyush Das writes:
> Is there a comprehensive list of differences between typed-plai and
> typed/racket?
I'm guessing you mean plai-typed. This is a simple type-inferred
language designed for teaching. Because the language is simpler, the
type inference is in some sense better; it requires less hints. On the
other hand it lacks some features of typed/racket, like occurrence
typing and union types. If you search for those terms you can find
write-ups by members of the Racket team (or check
https://docs.racket-lang.org/ts-guide/index.html).
plai-typed (and plait, discussed below) also miss some of the "batteries
included" features of racket, like a rich set of looping constructs,
formatted output, and so on. I find students who know racket chafe a bit
at the minimalism of plai-typed / plait.
> Did typed-plai grow into typed/racket?
No, plai-typed actually arose later along with the second edition of the
book PLAI (see https://www.plai.org).
> Is there a way to use typed-plai in Racket 7.5?
I would recommend looking at "plait", which is an actively maintained
successor to plai-typed, and works fine with Racket 7.5 (raco pkg
install plait).
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-users/87y2s64hnx.fsf%40tethera.net.
