Show threadJesper Agdakx 🔸Sep 30
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
alexanderadamJun 19, 2025

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

Show threadBjörn GohlaJan 30, 2023
@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
GitHub - tweag/nickel: Better configuration for less

Better configuration for less. Contribute to tweag/nickel development by creating an account on GitHub.

GitHub
(webdev Tory)  Jan 10, 2023
Listening to a webdev podcast I enjoy, whenever the show runners bring up Typescript (all the time), I mentally substitute #Clojure specs. #gradualtyping
Stefano ZacchiroliDec 23, 2019
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

otiniMar 1, 2019

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

A type-system for Nix by Théophane Hufschmitt

YouTube
DanielJun 3, 2018

🦋 #Perl6 supporte le #GradualTyping, c’est à dire que vous pouvez définir le typage quand cela vous chante.

Il semble assez naturel de définir le type des valeurs d’un Hash :

> my Int %h;

Le Hash n’acceptear que des entiers en valeurs.

Mais il est aussi possible de définir le type des clefs des Hash :

> my %r{Rat};
{}

> %r<22/7> = pi
3.14159265358979

Il est bien sûr possible de combiner les deux :

> my Int %q{Rat};
> %q<1.5> = 3

https://perl6.online/2018/04/08/74-keys-values-etc-of-hashes-in-perl-6/

🦋 74. Typed hashes in Perl&nbsp;6

Perl 6 Inside Out