Anime Gender Type Theory
Anime Gender Type Theory
#typescript #generics #Typesystem #Anime #Interfaces
programmerhumor.io/typescript-memes/anime-g...
1
0
1
0
#TypeSystem
Latest posts tagged with #TypeSystem on Bluesky
Trending
Posts tagged #TypeSystem
Compile-Time Resource Tracking in Rust: From Runtime Brackets to Type-Level Safety Originally published on Entropic Drift The Problem: Runtime Resource Leaks Resource leaks are insidious. A forgott...
#rust #functional #typesystem #programming
Origin | Interest | Match
0
0
0
0
1
0
0
0
Theme 4: A point of discussion was whether Rust's type system is affine or uses uniqueness types. This impacts how references are managed and their copyability, revealing subtle aspects of Rust's ownership system. #Typesystem 5/5
0
0
0
0
At #EuroRust25, lcnr will walk through what the new solver is, why it’s needed, what it fixes, and what still needs work. This one’s for the compiler nerds.
➡️ eurorust.eu/talks/znext-...
#RustLang #Compiler #TypeSystem
🧵2/3
0
0
1
0
Many felt the Haskell approach was more about showcasing advanced type-level programming capabilities—solving at compile time—than a standard, efficient runtime algorithm for finding puzzle solutions. #Typesystem 3/6
0
0
1
0
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...
4
1
1
0
react-book.melange.re/intro/
I love #ocalm.
it has many superpowers
- #soundcomplete and #strong #typesystem with #typeinference
- #algebraiceffects
- #algebraicdatatypes
- #GADT
- #patternmatching
- pragmatic by default #immutanbility
- pragmatic and optional laziness
0
0
0
0