#gradualtyping
These are public posts tagged with #gradualtyping. You can interact with them if you have an account anywhere in the fediverse.
(webdev Tory)
@worldsendless@qoto.orgListening to a webdev podcast I enjoy, whenever the show runners bring up Typescript (all the time), I mentally substitute #Clojure specs. #gradualtyping
Stefano Zacchiroli @zacchiro@mastodon.xyz
I quite like #Python3 with #mypy #gradualtyping, but I still miss proper algebraic data types (ADT) support. I'm giving https://pypi.org/project/algebraic-data-types/ a try. Hit me if you've better suggestions/tips!
algebraic-data-types
Algebraic data types for Python
pypi.orgotini @otini@functional.cafe
Gradual typing is messing with my habits… but not in a pleasant way 
A type-system for #Nix by Théophane Hufschmitt, Oct. 2017
https://www.youtube.com/watch?v=79dL7HgmW_k #GradualTyping