DEV Community

# typetheory

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
Most people understand Referential Transparency wrong

Most people understand Referential Transparency wrong

1
Comments
4 min read
Expanding Horizons

Expanding Horizons

4
Comments 1
12 min read
Optionality in Java 8 and beyond

Optionality in Java 8 and beyond

6
Comments 1
6 min read
Type and mode checking in prolog (part 2): mavis

Type and mode checking in prolog (part 2): mavis

6
Comments
5 min read
Prolog meta-interpretation for syntax checking

Prolog meta-interpretation for syntax checking

6
Comments
3 min read
Type and mode checking in prolog (part 1): type_check

Type and mode checking in prolog (part 1): type_check

6
Comments
5 min read
Becoming a logician with TypeScript

Becoming a logician with TypeScript

4
Comments
5 min read
When to use `never` and `unknown` in Typescript

When to use `never` and `unknown` in Typescript

2
Comments
9 min read
loading...