Forem

# typesystem

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
C# Generic Constraints and Advanced Type System Features

C# Generic Constraints and Advanced Type System Features

Comments
4 min read
🦀 Rust's Type System: Forte, estático e à prova de erros/Strong, Static, and Built for Safety

🦀 Rust's Type System: Forte, estático e à prova de erros/Strong, Static, and Built for Safety

Comments
3 min read
Let's Implement Overloading/Multiple-Dispatch

Let's Implement Overloading/Multiple-Dispatch

3
Comments 4
7 min read
Avoiding Stringly-typed in Kotlin
Cover image for Avoiding Stringly-typed in Kotlin

Avoiding Stringly-typed in Kotlin

7
Comments
4 min read
Why make illegal states impossible to represent?

Why make illegal states impossible to represent?

9
Comments
2 min read
Static vs Dynamic Typing for ADHD

Static vs Dynamic Typing for ADHD

9
Comments
4 min read
Is this a type error? (2)
Cover image for Is this a type error? (2)

Is this a type error? (2)

5
Comments
1 min read
Is this a type error?
Cover image for Is this a type error?

Is this a type error?

8
Comments
3 min read
Type-Safe Discrete Simulation in Rust

Type-Safe Discrete Simulation in Rust

11
Comments
12 min read
Demystifying Memory Management and Type System in Python
Cover image for Demystifying Memory Management and Type System in Python

Demystifying Memory Management and Type System in Python

5
Comments
6 min read
Type System & The Future of Programming Languages

Type System & The Future of Programming Languages

6
Comments
5 min read
The non-broken promise of static typing

The non-broken promise of static typing

21
Comments 16
2 min read
loading...