#gradualtyping — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #gradualtyping, aggregated by home.social.
-
Second is "Robust Dynamic Embedding for Gradual Typing" by Koen Jacobs, Matías Toro, Nicolas Tabareau, and Éric Tanter. Just when you thought that the field of different criteria for gradual type systems had been fully explored, there is another one that is at the same time quite intuitive and not implied by any of the previous criteria. It's also fully formalized in Rocq (actually using Iris) which is quite impressive.
dl.acm.org/doi/10.1145/3747507
#GradualTyping #Rocq #Iris -
Second is "Robust Dynamic Embedding for Gradual Typing" by Koen Jacobs, Matías Toro, Nicolas Tabareau, and Éric Tanter. Just when you thought that the field of different criteria for gradual type systems had been fully explored, there is another one that is at the same time quite intuitive and not implied by any of the previous criteria. It's also fully formalized in Rocq (actually using Iris) which is quite impressive.
dl.acm.org/doi/10.1145/3747507
#GradualTyping #Rocq #Iris -
Now @emilysamp from #Shopify speaks about one of the most controversial topics in #RubyProgramming: #Types (and 🍦 @sorbet_ruby for that matter).
https://railsatscale.com/2025-04-23-rbs-support-for-sorbet/
Remember that you can easily generate type definitions with Tapioca:
https://github.com/Shopify/tapioca
#brightonruby2025 #brightonruby #types #staticanalysis #prism #sorbet #lsp #RubyLSP #gradualtyping #typesignatures #tapioca
-
Now @emilysamp from #Shopify speaks about one of the most controversial topics in #RubyProgramming: #Types (and 🍦 @sorbet_ruby for that matter).
https://railsatscale.com/2025-04-23-rbs-support-for-sorbet/
Remember that you can easily generate type definitions with Tapioca:
https://github.com/Shopify/tapioca
#brightonruby2025 #brightonruby #types #staticanalysis #prism #sorbet #lsp #RubyLSP #gradualtyping #typesignatures #tapioca
-
@yuuyin @ohmrun I think Nickel (https://github.com/tweag/nickel) might in the long run be used as a replacement for the Nix language. #gradualTyping
-
@yuuyin @ohmrun I think Nickel (https://github.com/tweag/nickel) might in the long run be used as a replacement for the Nix language. #gradualTyping
-
Listening to a webdev podcast I enjoy, whenever the show runners bring up Typescript (all the time), I mentally substitute #Clojure specs. #gradualtyping
-
Listening to a webdev podcast I enjoy, whenever the show runners bring up Typescript (all the time), I mentally substitute #Clojure specs. #gradualtyping
-
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!