#Typesystem

@programmerhumor-io.bsky.social

2 months ago

Anime Gender Type Theory

Anime Gender Type Theory

#typescript #generics #Typesystem #Anime #Interfaces

programmerhumor.io/typescript-memes/anime-g...

1 0 1 0

FunctionalProgramming

@functionalprogramming.activitypub.awakari.com.ap.brid.gy

2 months ago

Compile-Time Resource Tracking in Rust: From Runtime Brackets to Type-Level Safety Originally published on Entropic Drift The Problem: Runtime Resource Leaks Resource...

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

@stefanofago.bsky.social

6 months ago

The Art of Beautiful Functions in TypeScript TypeScript elevates JavaScript with a sophisticated type system that transforms how we design and...

dev.to/xtareq/the-a... #summary #codingstyle #typesystem

1 0 0 0

Hacker News Companion

@hncompanion.com

8 months ago

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

EuroRust

@eurorust.eu

8 months ago

EuroRust 2025 – October 9 & 10, Paris & online EuroRust is a 2 day conference for the European Rust community – October 9 & 10, 2025 – in Paris & online

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

Hacker News Companion

@hncompanion.com

8 months ago

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

ShouDev (He/They)

@shoudoesart.bsky.social

1 year ago

Purgatory of Greed by Shou You are stuck in the purgatory of greed! Can you make your way out?

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

VP(WP)

@vpavlyshyn.bsky.social

1 year ago

Melange for React Developers | Melange for React DevsGitHubGitHub A project-based, guided introduction to Melange and its ecosystem for React developers

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

Posts tagged #Typesystem