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

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp (coalton-lang.github.io)

167 points

5 years ago

2.

Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml (coalton-lang.github.io)

162 points

9 days ago

3.

Mine, an IDE for Coalton and Common Lisp (coalton-lang.github.io)

138 points

a month ago

4.

Mine, a Coalton and Common Lisp IDE (coalton-lang.github.io)

112 points

a month ago

5.

One Reason Typeclasses Are Useful (coalton-lang.github.io)

60 points

4 years ago

6.

Using Coalton to implement a quantum compiler (2022) (coalton-lang.github.io)

57 points

a year ago

7.

A Preview of Coalton 0.2 (coalton-lang.github.io)

50 points

3 months ago

8.

A preview of Coalton 0.2, a statically-typed Lisp (coalton-lang.github.io)

27 points

3 months ago

9.

Using Coalton to Implement a Quantum Compiler (coalton-lang.github.io)

12 points

4 years ago

10.

Using Coalton to Implement a Quantum Compiler (coalton-lang.github.io)

3 points

3 years ago

11.

Coalton (coalton-lang.github.io)

2 points

a month ago

12.

One Reason Typeclasses Are Useful (2011) (coalton-lang.github.io)

1 point

a year ago

13.

Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too (coalton-lang.github.io)

1 point

3 years ago

14.

Using Coalton to Implement a Quantum Compiler (coalton-lang.github.io)

1 point

3 years ago

15.

Coalton Advent of Code Contest (coalton-lang.github.io)

1 point

5 years ago