Search: coalton-lang.github.io | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml

coalton-lang.github.io

a month ago

203 points

2.

Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp

coalton-lang.github.io

5 years ago

167 points

3.

Mine, an IDE for Coalton and Common Lisp

coalton-lang.github.io

2 months ago

138 points

4.

Mine, a Coalton and Common Lisp IDE

coalton-lang.github.io

2 months ago

112 points

5.

One Reason Typeclasses Are Useful

coalton-lang.github.io

5 years ago

60 points

6.

Using Coalton to implement a quantum compiler (2022)

coalton-lang.github.io

a year ago

57 points

7.

A Preview of Coalton 0.2

coalton-lang.github.io

3 months ago

50 points

8.

A preview of Coalton 0.2, a statically-typed Lisp

coalton-lang.github.io

3 months ago

27 points

9.

Using Coalton to Implement a Quantum Compiler

coalton-lang.github.io

4 years ago

12 points

10.

Using Coalton to Implement a Quantum Compiler

coalton-lang.github.io

3 years ago

3 points

11.

coalton-lang.github.io

2 months ago

2 points

12.

One Reason Typeclasses Are Useful (2011)

coalton-lang.github.io

a year ago

1 points

13.

Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too

coalton-lang.github.io

3 years ago

1 points

14.

Using Coalton to Implement a Quantum Compiler

coalton-lang.github.io

3 years ago

1 points

15.

Coalton Advent of Code Contest

coalton-lang.github.io

5 years ago

1 points