Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 08-Oct-2021 07:11:42 JST きゅーけー

   Typed Racket のやつは本格的なんで TypeScript のやつとかとは全然違うのであまり gradual typing とひとくくりにしない方が良い感はあると思ってる。TypeScript の any みたいな全てを破壊するようなやつは Typed Racket には存在しない。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 08-Oct-2021 07:15:48 JST きゅーけー

     in reply to

     Typed Racket が使えるかどうかは Occurrence Typing に適合できるかどうかにかかってる。

     5 Occurrence Typinghttps://docs.racket-lang.org/ts-guide/occurrence-typing.html