FROM THE ARCHIVES: rznant typeSystem alter designs
October 26, 2026 at 6:04 AM
FROM THE ARCHIVES: rznant typeSystem alter designs
I wrote a bit about incremental typechecking here:
dziban.net/posts/yabu-i...
in the context of the custom language, not yet of my new system.
I'd love to compare notes
dziban.net/posts/yabu-i...
in the context of the custom language, not yet of my new system.
I'd love to compare notes
Yabu Incremental Typesystem — dziban.net
Yabu is all about interactivity and the typechecking needs to be fast and furious. It also needs to deal with arbitrary staging state and we need to ensure that we merge the maximal staging subset tha...
dziban.net
November 3, 2026 at 8:25 AM
I wrote a bit about incremental typechecking here:
dziban.net/posts/yabu-i...
in the context of the custom language, not yet of my new system.
I'd love to compare notes
dziban.net/posts/yabu-i...
in the context of the custom language, not yet of my new system.
I'd love to compare notes
Would love to exchange ideas about how you've tackled some things. I'm guessing since you are using js you don't have typechecking.
One of my previous explorations of this idea involved a custom programming language for agents and now I'm trying to bring those explorations into existing langs.
One of my previous explorations of this idea involved a custom programming language for agents and now I'm trying to bring those explorations into existing langs.
Yabu Incremental Typesystem — dziban.net
Yabu is all about interactivity and the typechecking needs to be fast and furious. It also needs to deal with arbitrary staging state and we need to ensure that we merge the maximal staging subset tha...
dziban.net
November 3, 2026 at 8:25 AM
Would love to exchange ideas about how you've tackled some things. I'm guessing since you are using js you don't have typechecking.
One of my previous explorations of this idea involved a custom programming language for agents and now I'm trying to bring those explorations into existing langs.
One of my previous explorations of this idea involved a custom programming language for agents and now I'm trying to bring those explorations into existing langs.
Last stop of the tour - then no more selfies - at least for some time ;)
Of course: New York! We'll be covering what we talked about on the past stops: agent safety, typesystem features that AIs can leverage to (partially) verify your code, and other ways #Scala works with LLMs.
Of course: New York! We'll be covering what we talked about on the past stops: agent safety, typesystem features that AIs can leverage to (partially) verify your code, and other ways #Scala works with LLMs.
October 26, 2026 at 3:05 AM
Last stop of the tour - then no more selfies - at least for some time ;)
Of course: New York! We'll be covering what we talked about on the past stops: agent safety, typesystem features that AIs can leverage to (partially) verify your code, and other ways #Scala works with LLMs.
Of course: New York! We'll be covering what we talked about on the past stops: agent safety, typesystem features that AIs can leverage to (partially) verify your code, and other ways #Scala works with LLMs.
My colleage and me picked Asador del Mar. If you want to chat cryptography, privacy, typesystem abuse, or just regular Rust please join!
fosstodon.org
October 15, 2026 at 1:14 PM
My colleage and me picked Asador del Mar. If you want to chat cryptography, privacy, typesystem abuse, or just regular Rust please join!
Elixir learns types straight from your guards. Guillaume Duboc on how Elixir derives types straight from guards - unions & intersections.
📺 https://youtu.be/NtfnhgzQrV0
Next: Code BEAM Europe 2026 -> get your pass: https://codebeameurope.com<a href="/hashtag/register" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link">#register
#Elixir #TypeSystem #ElixirConf
📺 https://youtu.be/NtfnhgzQrV0
Next: Code BEAM Europe 2026 -> get your pass: https://codebeameurope.com<a href="/hashtag/register" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link">#register
#Elixir #TypeSystem #ElixirConf
October 14, 2026 at 8:02 AM
Elixir learns types straight from your guards. Guillaume Duboc on how Elixir derives types straight from guards - unions & intersections.
📺 https://youtu.be/NtfnhgzQrV0
Next: Code BEAM Europe 2026 -> get your pass: https://codebeameurope.com<a href="/hashtag/register" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link">#register
#Elixir #TypeSystem #ElixirConf
📺 https://youtu.be/NtfnhgzQrV0
Next: Code BEAM Europe 2026 -> get your pass: https://codebeameurope.com<a href="/hashtag/register" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link">#register
#Elixir #TypeSystem #ElixirConf
- TypeGPU docs.swmansion.com/TypeGPU/gett...
- tsover docs.swmansion.com/tsover/docs/...
- Typenet @texoport.in github.com/saiashirwad/...
I can guarantee there are NO checks the typescript's typesystem can't express.
- tsover docs.swmansion.com/tsover/docs/...
- Typenet @texoport.in github.com/saiashirwad/...
I can guarantee there are NO checks the typescript's typesystem can't express.
September 16, 2026 at 5:13 AM
- TypeGPU docs.swmansion.com/TypeGPU/gett...
- tsover docs.swmansion.com/tsover/docs/...
- Typenet @texoport.in github.com/saiashirwad/...
I can guarantee there are NO checks the typescript's typesystem can't express.
- tsover docs.swmansion.com/tsover/docs/...
- Typenet @texoport.in github.com/saiashirwad/...
I can guarantee there are NO checks the typescript's typesystem can't express.
I want to see somebody re-normalize this graph against *popularity*, btw. I'm absolutely sure that a language with more training-data in the wild will produce more agentic success.
Similarly, I'd love to then see a breakdown by *typesystem-feature*, normalized by popularity - are there any […]
Similarly, I'd love to then see a breakdown by *typesystem-feature*, normalized by popularity - are there any […]
Original post on functional.cafe
functional.cafe
September 16, 2026 at 8:16 PM
I want to see somebody re-normalize this graph against *popularity*, btw. I'm absolutely sure that a language with more training-data in the wild will produce more agentic success.
Similarly, I'd love to then see a breakdown by *typesystem-feature*, normalized by popularity - are there any […]
Similarly, I'd love to then see a breakdown by *typesystem-feature*, normalized by popularity - are there any […]
æugh the enums in EBX are also weird
they just store an int but their type is a struct-like and the int is a field index there, and each field can basically be a wholeass type in itself
not 100% sure how i want to handle that in freon, maybe i'll have a separate typesystem array for enums
they just store an int but their type is a struct-like and the int is a field index there, and each field can basically be a wholeass type in itself
not 100% sure how i want to handle that in freon, maybe i'll have a separate typesystem array for enums
September 7, 2026 at 9:54 PM
æugh the enums in EBX are also weird
they just store an int but their type is a struct-like and the int is a field index there, and each field can basically be a wholeass type in itself
not 100% sure how i want to handle that in freon, maybe i'll have a separate typesystem array for enums
they just store an int but their type is a struct-like and the int is a field index there, and each field can basically be a wholeass type in itself
not 100% sure how i want to handle that in freon, maybe i'll have a separate typesystem array for enums
🥫 The Weekly #Typographic
by #MicahRich & The League Of Moveable Type:
✺ Kanon Foundry: Clippy
✺ Darius Ou / type systems
✺ Rene Wang / Interfaces
✺ Mouthwash Studio / Bonnie Clyde
✺ René Bieder: Neurath X
#typography #branding #TypeSystem #TheLeague
us1.campaign-archive.com?e=47eee523aa...
by #MicahRich & The League Of Moveable Type:
✺ Kanon Foundry: Clippy
✺ Darius Ou / type systems
✺ Rene Wang / Interfaces
✺ Mouthwash Studio / Bonnie Clyde
✺ René Bieder: Neurath X
#typography #branding #TypeSystem #TheLeague
us1.campaign-archive.com?e=47eee523aa...
September 4, 2026 at 2:46 PM
🥫 The Weekly #Typographic
by #MicahRich & The League Of Moveable Type:
✺ Kanon Foundry: Clippy
✺ Darius Ou / type systems
✺ Rene Wang / Interfaces
✺ Mouthwash Studio / Bonnie Clyde
✺ René Bieder: Neurath X
#typography #branding #TypeSystem #TheLeague
us1.campaign-archive.com?e=47eee523aa...
by #MicahRich & The League Of Moveable Type:
✺ Kanon Foundry: Clippy
✺ Darius Ou / type systems
✺ Rene Wang / Interfaces
✺ Mouthwash Studio / Bonnie Clyde
✺ René Bieder: Neurath X
#typography #branding #TypeSystem #TheLeague
us1.campaign-archive.com?e=47eee523aa...
[RuntimeAsync] R2R support (115098) https://github.com/dotnet/runtime/issues/115098
[RuntimeAsync] R2R support · Issue #115098 · dotnet/runtime
There are two parts here: R2R for Async helpers. We explicitly make them BypassReadyToRun, since R2R typesystem does not support MethodImpl.Async. THis could be a relatively easy fix. R2R for Async...
github.com
April 27, 2025 at 5:54 PM
[RuntimeAsync] R2R support (115098) https://github.com/dotnet/runtime/issues/115098
I think JS / TS gives you the opportunity for tighter connection between the frontend and Backend, because they share the same language and typesystem
January 13, 2025 at 10:32 PM
I think JS / TS gives you the opportunity for tighter connection between the frontend and Backend, because they share the same language and typesystem
not really though. great lang, but all the casting, union polymorphism, void* and macro functions makes typing system helpful just half the way. not even talking about segfaults, just the got keep track of types of things because the typesystem is gone
March 21, 2026 at 8:14 PM
not really though. great lang, but all the casting, union polymorphism, void* and macro functions makes typing system helpful just half the way. not even talking about segfaults, just the got keep track of types of things because the typesystem is gone
dang, these kind of bug reports are always so fun to dig into!
rustc type system unsoundness + bonus ICE: github.com/rust-lang/ru...
rustc type system unsoundness + bonus ICE: github.com/rust-lang/ru...
Typesystem soundness hole involving cyclically-defined ATIT, and normalization in trait bounds · Issue #135011 · rust-lang/rust
This isn't quite trivial, but well… it works. a “transmute” in safe Rust: fn main() { let s: String = transmute(vec![65_u8, 66, 67]); println!("{s}"); // ABC } fn transmute<L, R>(x: L) -> R { trans...
github.com
January 9, 2025 at 1:47 PM
dang, these kind of bug reports are always so fun to dig into!
rustc type system unsoundness + bonus ICE: github.com/rust-lang/ru...
rustc type system unsoundness + bonus ICE: github.com/rust-lang/ru...
my gripe with the #elixirlang typesystem is that if you want checking against structs in your function header, you must specify the struct module, which creates an extra map lookup in the function call
January 3, 2025 at 5:22 PM
my gripe with the #elixirlang typesystem is that if you want checking against structs in your function header, you must specify the struct module, which creates an extra map lookup in the function call
If you are familiar with TypeScript I'd recommend starting with that. Its incredibly expressive typesystem elevates the development experience, and it's convenient that JSON is native to the language. But if not, you'll still love it - being able to use a general-purpose language is delightful!
January 5, 2025 at 5:24 AM
If you are familiar with TypeScript I'd recommend starting with that. Its incredibly expressive typesystem elevates the development experience, and it's convenient that JSON is native to the language. But if not, you'll still love it - being able to use a general-purpose language is delightful!
Typescript typesystem is just crazy... to think that they can solve the sudoku before the program execute 😂 (Or make doom run within TS typesystem)
May 21, 2025 at 1:43 PM
Typescript typesystem is just crazy... to think that they can solve the sudoku before the program execute 😂 (Or make doom run within TS typesystem)
I think this is definitely more 'people like to chat about typesystems' than making that much of a material difference for LLM-tooled programming. I doubt the difference between say, a C#-ish and a rust-ish typesystem matters, and I'd semi-weakly guess go/rust doesn't actually matter either.
February 13, 2026 at 9:15 PM
I think this is definitely more 'people like to chat about typesystems' than making that much of a material difference for LLM-tooled programming. I doubt the difference between say, a C#-ish and a rust-ish typesystem matters, and I'd semi-weakly guess go/rust doesn't actually matter either.
we surface the typesystem violation as an error, the hard part is explaining to customers why they should stop doing that
August 21, 2024 at 5:18 PM
we surface the typesystem violation as an error, the hard part is explaining to customers why they should stop doing that
A Unified Typesystem: Partial, Variant, Borrowed Types and more · GitHub gist.github.com/Aras14HD/f96...
A Unified Typesystem: Partial, Variant, Borrowed Types and more
A Unified Typesystem: Partial, Variant, Borrowed Types and more - README.md
gist.github.com
July 12, 2024 at 11:19 AM
A Unified Typesystem: Partial, Variant, Borrowed Types and more · GitHub gist.github.com/Aras14HD/f96...
Just merged a refactoring ensuring the code works on a hash value, and not any bytes value, by wrapping said value in a #rust enum (similar #fsharp DU). Fearless refactorings are so enjoyable, don't want to imagine doing it without assistance of the typesystem! github.com/asfaload/asf...
32 wrap all hash values in an enum by rbauduin · Pull Request #33 · asfaload/asfasign
github.com
September 25, 2025 at 3:34 PM
Just merged a refactoring ensuring the code works on a hash value, and not any bytes value, by wrapping said value in a #rust enum (similar #fsharp DU). Fearless refactorings are so enjoyable, don't want to imagine doing it without assistance of the typesystem! github.com/asfaload/asf...
Big If True
#programming #Memorymanagement #Datatypes #Cpp #Typesystem
https://programmerhumor.io/cpp-memes/big-if-true-w5js
#programming #Memorymanagement #Datatypes #Cpp #Typesystem
https://programmerhumor.io/cpp-memes/big-if-true-w5js
August 4, 2026 at 9:17 PM
Anime Gender Type Theory
#typescript #generics #Typesystem #Anime #Interfaces
https://programmerhumor.io/typescript-memes/anime-gender-type-theory-bnln
#typescript #generics #Typesystem #Anime #Interfaces
https://programmerhumor.io/typescript-memes/anime-gender-type-theory-bnln
January 3, 2026 at 11:09 PM
python has a typesystem? eitherway, i miss rust when im working with typescript :P
October 9, 2025 at 4:46 PM
python has a typesystem? eitherway, i miss rust when im working with typescript :P