Active
Recent
Comments
Search
Login
Login
lexi-lambda.github.io: 19 stories from 15 submitters
49
Parse, don’t validate (2019)
haskell
programming
lexi-lambda.github.io
via
bshanks
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
8 comments
8
39
An introduction to typeclass metaprogramming
haskell
lexi-lambda.github.io
via
jamesmacaulay
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
31
Names are not type safety
haskell
plt
lexi-lambda.github.io
via
Hail_Spacecake
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
15 comments
15
26
Types as axioms, or: playing god with static types (2020)
haskell
plt
programming
lexi-lambda.github.io
via
nikivi
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
3 comments
3
95
No, dynamic type systems are not inherently more open
haskell
plt
lexi-lambda.github.io
via
shapr
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
56 comments
56
104
Parse, don’t validate
programming
lexi-lambda.github.io
via
asthasr
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
36 comments
36
18
Empathy and subjective experience in programming languages
culture
plt
lexi-lambda.github.io
via
tumdum
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
11
Defeating Racket’s separate compilation guarantee
lisp
lexi-lambda.github.io
via
calvin
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
11
Reimplementing Hackett’s type language: expanding to custom core forms in Racket
lisp
plt
lexi-lambda.github.io
via
calvin
5 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
39
An opinionated guide to Haskell in 2018
haskell
lexi-lambda.github.io
via
julienxx
5 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
10
A space of their own: adding a type namespace to Hackett
compilers
haskell
lisp
lexi-lambda.github.io
via
inactive-user
6 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
3
User-programmable infix operators in Racket
compilers
lisp
lexi-lambda.github.io
via
pushcx
6 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
3
Unit testing effectful Haskell with monad-mock
haskell
release
testing
lexi-lambda.github.io
via
pushcx
6 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
32
Realizing Hackett, a metaprogrammable Haskell
compilers
haskell
lisp
lexi-lambda.github.io
via
etc
6 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
8 comments
8
41
Rascal: a Haskell with more parentheses
haskell
lisp
lexi-lambda.github.io
via
ehamberg
6 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
16 comments
16
9
Climbing the infinite ladder of abstraction
programming
lexi-lambda.github.io
via
pushcx
7 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
6 comments
6
29
Four months with Haskell
haskell
lexi-lambda.github.io
via
pushcx
7 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
3
Algebraic Datatypes in Typed Racket with macros
lisp
programming
lexi-lambda.github.io
via
zem
7 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
2
Canonical factories for testing with factory_girl_api
javascript
ruby
lexi-lambda.github.io
via
emallson
8 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1