lexi-lambda.github.io
Home
Recent
Comments
Search
Login
17 stories from 13 submitters
31
Names are not type safety
haskell
plt
lexi-lambda.github.io
via
Hail_Spacecake
2 months ago
|
cached
|
15 comments
15
26
Types as axioms, or: playing god with static types (2020)
haskell
plt
programming
lexi-lambda.github.io
via
nikivi
5 months ago
|
cached
|
3 comments
3
95
No, dynamic type systems are not inherently more open
haskell
plt
lexi-lambda.github.io
via
shapr
1 year ago
|
cached
|
56 comments
56
100
Parse, don’t validate
programming
lexi-lambda.github.io
via
asthasr
1 year ago
|
cached
|
36 comments
36
18
Empathy and subjective experience in programming languages
culture
plt
lexi-lambda.github.io
via
tt
1 year ago
|
cached
|
no comments
0
11
Defeating Racket’s separate compilation guarantee
lisp
lexi-lambda.github.io
via
calvin
1 year ago
|
cached
|
no comments
0
11
Reimplementing Hackett’s type language: expanding to custom core forms in Racket
lisp
plt
lexi-lambda.github.io
via
calvin
2 years ago
|
cached
|
no comments
0
39
An opinionated guide to Haskell in 2018
haskell
lexi-lambda.github.io
via
julienxx
2 years ago
|
cached
|
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
3 years ago
|
cached
|
no comments
0
3
User-programmable infix operators in Racket
compilers
lisp
lexi-lambda.github.io
via
pushcx
3 years ago
|
cached
|
no comments
0
3
Unit testing effectful Haskell with monad-mock
haskell
release
testing
lexi-lambda.github.io
via
pushcx
3 years ago
|
cached
|
no comments
0
31
Realizing Hackett, a metaprogrammable Haskell
compilers
haskell
lisp
lexi-lambda.github.io
via
etc
3 years ago
|
cached
|
8 comments
8
40
Rascal: a Haskell with more parentheses
haskell
lisp
lexi-lambda.github.io
via
ehamberg
4 years ago
|
cached
|
16 comments
16
9
Climbing the infinite ladder of abstraction
programming
lexi-lambda.github.io
via
pushcx
4 years ago
|
cached
|
6 comments
6
29
Four months with Haskell
haskell
lexi-lambda.github.io
via
pushcx
4 years ago
|
cached
|
2 comments
2
3
Algebraic Datatypes in Typed Racket with macros
lisp
programming
lexi-lambda.github.io
via
zem
5 years ago
|
cached
|
no comments
0
2
Canonical factories for testing with factory_girl_api
javascript
ruby
lexi-lambda.github.io
via
emallson
5 years ago
|
cached
|
1 comment
1