DEV Community

# plt

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
If SAFe was a programming language, would you use it?

If SAFe was a programming language, would you use it?

Comments 1
3 min read
WebAssembly With Zig, Pt. II

WebAssembly With Zig, Pt. II

9
Comments
24 min read
General-Purpose Python Type Contracts

General-Purpose Python Type Contracts

4
Comments
11 min read
A Simple Caching Racket Macro

A Simple Caching Racket Macro

2
Comments
4 min read
JavaScript is not an untyped language

JavaScript is not an untyped language

64
Comments 45
6 min read
Classes & Inheritance: Unweaving the Rainbow

Classes & Inheritance: Unweaving the Rainbow

6
Comments 1
22 min read
Using the Writer monad to refactor my interpreter

Using the Writer monad to refactor my interpreter

8
Comments
3 min read
NOTE: bounded polymorphism

NOTE: bounded polymorphism

8
Comments 1
1 min read
Type as Constraint: Why we need more type?

Type as Constraint: Why we need more type?

8
Comments
3 min read
Which programming language features do you love and why?

Which programming language features do you love and why?

9
Comments 11
2 min read
EoPL + Elm

EoPL + Elm

6
Comments 1
1 min read
Hindley-Milner type system: Incrementally build way & Make new language in Racket

Hindley-Milner type system: Incrementally build way & Make new language in Racket

6
Comments 2
12 min read
De Bruijn index: why and how

De Bruijn index: why and how

6
Comments
6 min read
From Functor to Applicative

From Functor to Applicative

6
Comments
2 min read
NOTE: simply typed lambda calculus

NOTE: simply typed lambda calculus

6
Comments 1
2 min read
From Infinite Type to Functor

From Infinite Type to Functor

6
Comments
4 min read
Infinite Type

Infinite Type

7
Comments
3 min read
Haskell quick start

Haskell quick start

16
Comments
5 min read
Algebra data type vs Class

Algebra data type vs Class

6
Comments
2 min read
Loanwords, Agriculture & WebAssembly

Loanwords, Agriculture & WebAssembly

8
Comments
1 min read
loading...