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