• Elixir is now a gradually typed language https://twitter.com/josevalim/status/1744395345872683471 57 comments 8/1/2024
• What Is Gradual Typing? (2009) https://wphomes.soic.indiana.edu/jsiek/what-is-gradual-typing/ 32 comments 28/9/2019
• Gradual typing for Clojure http://frenchy64.github.io/2015/06/19/gradual-typing.html 11 comments 21/6/2015
• You might not need gradual typing in Elixir https://phoenixonrails.com/blog/you-might-not-need-gradual-typing-in-elixir 2 comments 10/1/2024
• Strong arrows: a new approach to gradual typing https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/ 85 comments 21/9/2023
• Strong arrows: a new approach to gradual typing [in Elixir] https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/ 3 comments 20/9/2023
• Safe TypeScript: Safe and Efficient Gradual Typing for TypeScript http://research.microsoft.com/apps/video/default.aspx?id=226836 19 comments 11/3/2015

• A float walks into a gradual type system https://ruudvanasseldonk.com/2025/a-float-walks-into-a-gradual-type-system 5 comments 3/3/2025 plt
• Gradual Typing https://golem.ph.utexas.edu/category/2018/02/gradual_typing.html 9 comments 20/2/2018 compsci

• Elixir is now a gradually typed language https://twitter.com/josevalim/status/1744395345872683471 16 comments 8/1/2024 programming
• Emacs Lisp Gradual Typing https://en.wikipedia.org/wiki/Gradual_typing 3 comments 18/12/2018 emacs
• Is Sound Gradual Typing Dead? http://blog.acolyer.org/2016/02/05/is-sound-gradual-typing-dead/ 27 comments 5/2/2016 programming
• Gradual type checking for Ruby https://github.com/gogotanaka/rubype 3 comments 9/4/2015 ruby
• Gradual Type Checking for Ruby http://blog.codeclimate.com/blog/2014/05/06/gradual-type-checking-for-ruby/ 4 comments 19/11/2014 ruby
• What is Gradual Typing http://wphomes.soic.indiana.edu/jsiek/what-is-gradual-typing/ 17 comments 12/11/2014 programming
• Gradual Typing http://jfkbits.blogspot.com/2008/01/gradual-typing.html 7 comments 19/1/2008 programming
• TypeLoom - Gradual Typing with the LSP and Graphs https://github.com/frroossst/TypeLoom/blob/master/paper.pdf 3 comments 10/6/2024 programminglanguages
• You might not need gradual typing in Elixir https://phoenixonrails.com/blog/you-might-not-need-gradual-typing-in-elixir 9 comments 26/1/2024 elixir
• Strong arrows: a new approach to gradual typing https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/ 18 comments 21/9/2023 elixir
• Clio Programming Language: Gradual Typing and More in v0.12! https://pouyae.medium.com/clio-programming-language-gradual-typing-and-more-in-v0-12-1ba1083703b3?source=friends_link&sk=225c240811f86ac281b78f686cc3fcf8 12 comments 19/10/2021 coding
• Why are gradual static types so great? https://www.benkuhn.net/gradual 35 comments 2/3/2019 programming
• Gradual Typing of Ruby at Scale https://thestrangeloop.com/2018/gradual-typing-of-ruby-at-scale.html 32 comments 15/10/2018 ruby
• Adding type safety, gradually. Part I https://github.com/gcanti/babel-plugin-tcomb/issues/48 16 comments 23/6/2016 javascript
• Haskell as a gradually typed dynamic language https://typesandkinds.wordpress.com/2016/01/22/haskell-as-a-gradually-typed-dynamic-language/ 13 comments 23/1/2016 haskell
• Safe TypeScript: Safe and Efficient Gradual Typing for TypeScript http://research.microsoft.com/apps/video/default.aspx?id=226836 11 comments 11/3/2015 programming
• What is Gradual Typing? by Jeremy Siek http://ecee.colorado.edu/~siek/gradualtyping.html 33 comments 10/4/2009 programming
• Gradual Typing: mixing static and dynamic typing http://alarmingdevelopment.org/?p=200 9 comments 8/2/2009 programming
• Data-Oriented Programming with Gradual Types in Kotlin https://youtu.be/YKk2BRSXi6Y 2 comments 17/11/2023 kotlin
• Static Analysis for Ruby in the Presence of Gradual Typing http://www.cs.dartmouth.edu/reports/abstracts/tr2011-686/ 16 comments 30/6/2011 ruby
• Gradual Typing for Python [pdf, slides] http://wiki.jvmlangsummit.com/pdf/28_siek_gradual.pdf 21 comments 8/2/2009 programming
• [X-Post] Skiff, a gradually typed functional language written in Rust https://www.reddit.com/r/programminglanguages/comments/pjcewi/introducing_skiff_a_gradually_typed_functional/ 3 comments 7/9/2021 rust
• TypedRuby: gradual static type checking for Ruby (implemented in Rust) https://github.com/typedruby/typedruby 29 comments 19/7/2018 ruby
• Call-by-Name Gradual Type Theory [abstract + link to PDF] https://arxiv.org/abs/1802.00061 8 comments 19/2/2018 compsci
• Scheme-langserver release 1.0.11: gradual typing https://github.com/ufo5260987423/scheme-langserver/blob/main/doc/analysis/type-inference.md 16 comments 30/4/2023 scheme
• Coral: a gradually-typed mini-Python compiler I wrote in OCaml https://github.com/ja3067/Coral 5 comments 15/1/2019 ocaml
• Tomorrow marks 13 years since the first commit to the Elixir repo. And today we celebrate by announcing that Elixir is, officially, a gradually typed language https://twitter.com/josevalim/status/1744395345872683471?s=20 17 comments 8/1/2024 elixir
• Bitcoin markets are gradually getting the tools that are table stakes for sophisticated traders, including, most recently, a marketwide trailing stop-loss order type https://www.sfox.com/blog/dynamic-safety-nets-announcing-trailing-stop-loss-for-crypto/ 3 comments 9/7/2020 economy
• Machine-learning software can gradually recognize the specific keys you’re pressing by only listening to typing sounds https://en.softonic.com/articles/heres-how-others-can-spy-on-you-if-you-type-while-talking-on-skype-or-whatsapp 9 comments 4/9/2017 technology

• Progress on Gradual Typing https://en.wikipedia.org/wiki/Gradual_typing 15 comments 20/12/2015 Lambda Calculus
• Gradual Typing for Functional Languages http://www.cs.colorado.edu/~siek/pubs/pubs/2006/siek06:_gradual.pdf 18 comments 30/8/2006 Functional , Implementation , Lambda Calculus , Semantics , Type Theory