yeah, any typesystem works
April 15, 2025 at 6:36 PM
yeah, any typesystem works
Make mypy more like TS typesystem.
November 14, 2024 at 7:18 PM
Make mypy more like TS typesystem.
stop doing your imperative logic in the declarative typesystem
March 19, 2024 at 7:23 PM
stop doing your imperative logic in the declarative typesystem
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
i don’t know how you write “this interface deserializes that interface parses” in the typesystem though
June 1, 2026 at 4:41 PM
i don’t know how you write “this interface deserializes that interface parses” in the typesystem though
- 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.
🦀 Maestro: Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases
github.com/maestro-os/m...
#maestroos #rust #osdev #opensource
github.com/maestro-os/m...
#maestroos #rust #osdev #opensource
GitHub - maestro-os/maestro: Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases
Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases - maestro-os/maestro
github.com
June 26, 2026 at 7:04 PM
🦀 Maestro: Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases
github.com/maestro-os/m...
#maestroos #rust #osdev #opensource
github.com/maestro-os/m...
#maestroos #rust #osdev #opensource
Rust was really remarkable for taking an affine typesystem and making it not only something nonacademic programmers can wrap their heads around, but really actively want to use.
February 19, 2025 at 4:22 AM
Rust was really remarkable for taking an affine typesystem and making it not only something nonacademic programmers can wrap their heads around, but really actively want to use.
rust is like regex in that it allows you to transform a problem in one space into a problem in another space
the primary difference is that the "rust typesystem space" is tractable, useful, and self-describing
the primary difference is that the "rust typesystem space" is tractable, useful, and self-describing
December 2, 2025 at 9:25 AM
rust is like regex in that it allows you to transform a problem in one space into a problem in another space
the primary difference is that the "rust typesystem space" is tractable, useful, and self-describing
the primary difference is that the "rust typesystem space" is tractable, useful, and self-describing
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.
I write a lot of Go and TS for both work & play and I am loving #Rust.
The compile time is atrocious and Rust analyzer is a huge pain in anything beyond 10k loc.
Oh async is a mess and not half as ergonomic as Go but the typesystem is 🤌
The compile time is atrocious and Rust analyzer is a huge pain in anything beyond 10k loc.
Oh async is a mess and not half as ergonomic as Go but the typesystem is 🤌
July 14, 2026 at 11:06 AM
I write a lot of Go and TS for both work & play and I am loving #Rust.
The compile time is atrocious and Rust analyzer is a huge pain in anything beyond 10k loc.
Oh async is a mess and not half as ergonomic as Go but the typesystem is 🤌
The compile time is atrocious and Rust analyzer is a huge pain in anything beyond 10k loc.
Oh async is a mess and not half as ergonomic as Go but the typesystem is 🤌
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...
yes
and if we follow the anarcho-communist societal structure implied by the setting, schools probably follow a summerhill-typesystem where students make their own schedules, so he was able to focus on that topic as intensely as he wanted
and if we follow the anarcho-communist societal structure implied by the setting, schools probably follow a summerhill-typesystem where students make their own schedules, so he was able to focus on that topic as intensely as he wanted
March 24, 2026 at 3:49 PM
yes
and if we follow the anarcho-communist societal structure implied by the setting, schools probably follow a summerhill-typesystem where students make their own schedules, so he was able to focus on that topic as intensely as he wanted
and if we follow the anarcho-communist societal structure implied by the setting, schools probably follow a summerhill-typesystem where students make their own schedules, so he was able to focus on that topic as intensely as he wanted
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!
Eh ben... C'est pas demain que le typesystem de Typescript deviendra sound...
May 14, 2025 at 6:03 AM
Eh ben... C'est pas demain que le typesystem de Typescript deviendra sound...
at least the typesystem will help me sort this out /s
May 21, 2024 at 11:14 PM
at least the typesystem will help me sort this out /s
I didnt get featured on the Yogscast stream ToT
So please try out my game <3 I just really want some more comments. It's a bit rough, but it's still playable and I've gotten good feedback so far
#turnbased #typesystem #indiegame #gamejam #roguelite
shoudoesgames.itch.io/purgatory-of...
So please try out my game <3 I just really want some more comments. It's a bit rough, but it's still playable and I've gotten good feedback so far
#turnbased #typesystem #indiegame #gamejam #roguelite
shoudoesgames.itch.io/purgatory-of...
Purgatory of Greed by Shou
You are stuck in the purgatory of greed! Can you make your way out?
shoudoesgames.itch.io
December 13, 2024 at 8:45 PM
I didnt get featured on the Yogscast stream ToT
So please try out my game <3 I just really want some more comments. It's a bit rough, but it's still playable and I've gotten good feedback so far
#turnbased #typesystem #indiegame #gamejam #roguelite
shoudoesgames.itch.io/purgatory-of...
So please try out my game <3 I just really want some more comments. It's a bit rough, but it's still playable and I've gotten good feedback so far
#turnbased #typesystem #indiegame #gamejam #roguelite
shoudoesgames.itch.io/purgatory-of...
I don’t get why people don’t like this typesystem… don’t they know it’s the farthest vertex on the lambda cube?
February 13, 2026 at 9:14 PM
I don’t get why people don’t like this typesystem… don’t they know it’s the farthest vertex on the lambda cube?
we don't really have a typesystem, it's all checked at runtime, but yes it means a nonempty array of sketches
August 7, 2025 at 11:31 PM
we don't really have a typesystem, it's all checked at runtime, but yes it means a nonempty array of sketches
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
Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases.
oshub.org/projects/mae...
#osdev #oshub #maestro
oshub.org/projects/mae...
#osdev #oshub #maestro
maestro on OSHub
Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while s...
oshub.org
October 21, 2025 at 6:24 AM
Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases.
oshub.org/projects/mae...
#osdev #oshub #maestro
oshub.org/projects/mae...
#osdev #oshub #maestro
Its also why its so important to hire black engineers there is so much stuff in the egghead particulars of software engineering that are inherently dumb for "cultural reasons" and the engineers you have on staff rn looking at a typesystem like Scala's the same way they look at a police officer
June 10, 2025 at 1:26 AM
Its also why its so important to hire black engineers there is so much stuff in the egghead particulars of software engineering that are inherently dumb for "cultural reasons" and the engineers you have on staff rn looking at a typesystem like Scala's the same way they look at a police officer
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