Explore >> Select a destination

You are here

 bfontaine.net
Typing Tuples in Python ยท Baptiste Fontaine's Blog
| | www.alexstrick.com
Using Regex with Python to Find Strings - Alex Strick van Linschoten
3.1 parsecs away

Travel
| |
| | blog.meadsteve.dev
Typed Python: Choose Sequence over List MeadSteve's Dev Blog
2.1 parsecs away

Travel
| | Why I would default to choosing sequence over list when adding types to a function
| | bazel.build
Starlark Language | Bazel
2.0 parsecs away

Travel
| |
| | blog.polybdenum.com
Why You Need Subtyping | Considerations on Codecrafting
17.1 parsecs away

Travel
| Ever since Stephen Dolan's 2016 thesis Algebraic Subtyping showed how to combine type inference and subtyping, I've been developing increasingly sophisticated programming languages based on those ideas, first IntercalScript in 2019, then CubiML in 2020, PolySubML in 2025, and with my next language already in the planning stages.