DEV Community

# typetheory

Posts

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

Most people understand Referential Transparency wrong

#typetheory #programming #languagedesign
1
Comments
6 min read
Expanding Horizons
vchernetskyi993 profile

Expanding Horizons

#typetheory #java
4
Comments 1
12 min read
Optionality in Java 8 and beyond
vchernetskyi993 profile

Optionality in Java 8 and beyond

#java #typetheory
6
Comments 1
6 min read
Type and mode checking in prolog (part 2): mavis
gavinmendelgleason profile

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

#typetheory #prolog #determinism
6
Comments
5 min read
Prolog meta-interpretation for syntax checking
gavinmendelgleason profile

Prolog meta-interpretation for syntax checking

#typetheory #prolog #functionalprogrammi #logicprogramming
6
Comments
3 min read
Type and mode checking in prolog (part 1): type_check
gavinmendelgleason profile

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

#typetheory #prolog
6
Comments
5 min read
Becoming a logician with TypeScript
txus profile

Becoming a logician with TypeScript

#typescript #typetheory #logic
5
Comments
5 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.