DEV Community

# types

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
Get started with type hints in Python

Get started with type hints in Python

16
Comments 4
8 min read
Early termination in functional folds a.k.a. reduce

Early termination in functional folds a.k.a. reduce

6
Comments
3 min read
What is a proper way to create a type for Vue props

What is a proper way to create a type for Vue props

6
Comments
1 min read
The Comprehensive Guide to mypy

The Comprehensive Guide to mypy

78
Comments 13
29 min read
PHP Enum - get rid of boilerplate mappings

PHP Enum - get rid of boilerplate mappings

3
Comments
1 min read
Does Python need types?

Does Python need types?

10
Comments 6
4 min read
Providing JavaScript Developers Helpful Type Errors When They Call Your ReScript Library Incorrectly

Providing JavaScript Developers Helpful Type Errors When They Call Your ReScript Library Incorrectly

4
Comments
9 min read
FizzBuzz... but only using TypeScript Types

FizzBuzz... but only using TypeScript Types

9
Comments
4 min read
Playing with contravariant functors in typescript

Playing with contravariant functors in typescript

4
Comments
1 min read
TypeType: generate complex typescript type with ease

TypeType: generate complex typescript type with ease

6
Comments
1 min read
Idris2+WebGL, part #10: Implicit arguments & monad transformers

Idris2+WebGL, part #10: Implicit arguments & monad transformers

6
Comments
3 min read
Idris2+WebGL, part #9: Ensuring uniforms belong to bound program

Idris2+WebGL, part #9: Ensuring uniforms belong to bound program

3
Comments
7 min read
DRY Typescript types

DRY Typescript types

8
Comments
2 min read
Debugging tricky parameterized types

Debugging tricky parameterized types

6
Comments
3 min read
Climbing Steep hills, or adopting Ruby 3 types

Climbing Steep hills, or adopting Ruby 3 types

15
Comments 1
18 min read
👋 Sign in for the ability to sort posts by relevant, latest, or top.