Search: lexi-lambda.github.io | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Parse, Don’t Validate (lexi-lambda.github.io)

642 points

7 years ago

2.

Parse, don't validate (2019) (lexi-lambda.github.io)

398 points

3 years ago

3.

Parse, Don't Validate (2019) (lexi-lambda.github.io)

389 points

5 years ago

4.

Dynamic type systems are not inherently more open (lexi-lambda.github.io)

382 points

6 years ago

5.

Parse, Don't Validate (2019) (lexi-lambda.github.io)

321 points

2 years ago

6.

Names are not type safety (lexi-lambda.github.io)

262 points

6 years ago

7.

An opinionated guide to Haskell (lexi-lambda.github.io)

260 points

8 years ago

8.

Parse, Don't Validate (2019) (lexi-lambda.github.io)

252 points

4 months ago

9.

Four months with Haskell (lexi-lambda.github.io)

249 points

10 years ago

10.

Realizing Hackett, a metaprogrammable Haskell (lexi-lambda.github.io)

161 points

9 years ago

11.

Learning Haskell – A Racket programmer's foray into the land of Haskell (lexi-lambda.github.io)

132 points

11 years ago

12.

Types as axioms, or: playing god with static types (lexi-lambda.github.io)

109 points

6 years ago

13.

Defeating Racket’s separate compilation guarantee (lexi-lambda.github.io)

109 points

7 years ago

14.

Climbing the infinite ladder of abstraction (lexi-lambda.github.io)

77 points

10 years ago

15.

An Introduction to Typeclass Metaprogramming (lexi-lambda.github.io)

72 points

5 years ago

16.

Names are not type safety (2020) (lexi-lambda.github.io)

56 points

10 months ago

17.

Simple, safe multimethods in Racket (lexi-lambda.github.io)

50 points

10 years ago

18.

Parse, Don't Validate (lexi-lambda.github.io)

31 points

7 years ago

19.

A Break from Programming Languages (lexi-lambda.github.io)

25 points

a year ago

20.

Empathy and subjective experience in programming languages (lexi-lambda.github.io)

19 points

7 years ago

21.

A Break from Programming Languages (lexi-lambda.github.io)

5 points

a year ago

22.

Types as axioms, or: playing god with static types (2020) (lexi-lambda.github.io)

5 points

6 years ago

23.

Rascal: a Haskell with more parentheses (lexi-lambda.github.io)

5 points

9 years ago

24.

Dynamic type systems are not inherently more open (lexi-lambda.github.io)

4 points

4 months ago

25.

Parse, Don’t Validate (lexi-lambda.github.io)

4 points

5 years ago

26.

An introduction to typeclass metaprogramming in Haskell (lexi-lambda.github.io)

3 points

7 months ago

27.

Parse, Don’t Validate (lexi-lambda.github.io)

3 points

5 years ago

28.

Empathy and subjective experience in programming languages (lexi-lambda.github.io)

3 points

6 years ago

29.

An opinionated guide to Haskell in 2018 (lexi-lambda.github.io)

3 points

7 years ago

30.

The Hackett Programming Language (lexi-lambda.github.io)

3 points

8 years ago