lexi-lambda.github.io: 19 stories from 15 submitters

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