DEV Community

# typesystem

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
Compile-Time Resource Tracking in Rust: From Runtime Brackets to Type-Level Safety
entropicdrift profile

Compile-Time Resource Tracking in Rust: From Runtime Brackets to Type-Level Safety

#rust #functional #typesystem #programming
1
Comments
6 min read
C# Generic Constraints and Advanced Type System Features
chakewitz profile

C# Generic Constraints and Advanced Type System Features

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

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

#rust #typesystem
Comments
3 min read
Let's Implement Overloading/Multiple-Dispatch
unworthyenzyme profile

Let's Implement Overloading/Multiple-Dispatch

#ruby #julialang #oop #typesystem
3
Comments 4
7 min read
Avoiding Stringly-typed in Kotlin
nfrankel profile

Avoiding Stringly-typed in Kotlin

#kotlin #typesystem #strongtyping #api
7
Comments
4 min read
Why make illegal states impossible to represent?
acsreedharreddy profile

Why make illegal states impossible to represent?

#react #typescript #rescript #typesystem
9
Comments
2 min read
Static vs Dynamic Typing for ADHD
kspeakman profile

Static vs Dynamic Typing for ADHD

#mentalhealth #typesystem
9
Comments
4 min read
Is this a type error? (2)
stereobooster profile

Is this a type error? (2)

#programming #computerscience #typesystem #function
5
Comments
1 min read
Is this a type error?
stereobooster profile

Is this a type error?

#programming #computerscience #typesystem #function
8
Comments
3 min read
Type-Safe Discrete Simulation in Rust
elshize profile

Type-Safe Discrete Simulation in Rust

#rust #simulation #typesystem
11
Comments
12 min read
Demystifying Memory Management and Type System in Python
nyior profile

Demystifying Memory Management and Type System in Python

#python #memorymanagement #typesystem
5
Comments
6 min read
Type System & The Future of Programming Languages
joelewis profile

Type System & The Future of Programming Languages

#typesystem #coq #haskell #languagedesign
6
Comments
5 min read
The non-broken promise of static typing
aussieguy profile

The non-broken promise of static typing

#discuss #typesystem #programming #javascript
21
Comments 16
2 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.