Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  health  google  javascript  web  go  arstechnica.com  theregister.com  apple  security  show  release  nature.com  china  linux  microsoft  techcrunch.com  chrome 

Parse, Don't Validate (2019)

4 months ago lexi-lambda.github.io

Parse, don’t validate (2019)

9 months ago lexi-lambda.github.io haskell plt

Parse, don't validate (2019)

20 months ago lexi-lambda.github.io

Parse, Don't Validate (2019)

3 years ago lexi-lambda.github.io

An Introduction to Typeclass Metaprogramming

3 years ago lexi-lambda.github.io

Names are not type safety

4 years ago lexi-lambda.github.io

Types as axioms, or: playing god with static types

4 years ago lexi-lambda.github.io

No, dynamic type systems are not inherently more open

4 years ago lexi-lambda.github.io

Parse, Don’t Validate

5 years ago lexi-lambda.github.io

Empathy and subjective experience in programming languages

5 years ago lexi-lambda.github.io

Defeating Racket’s separate compilation guarantee

5 years ago lexi-lambda.github.io racket

Reimplementing Hackett’s type language: expanding to custom core forms in Racket

6 years ago lexi-lambda.github.io racket

An opinionated guide to Haskell in 2018

6 years ago lexi-lambda.github.io haskell

A space of their own: adding a type namespace to Hackett

7 years ago lexi-lambda.github.io

User-programmable infix operators in Racket

7 years ago lexi-lambda.github.io racket

Unit testing effectful Haskell with monad-mock

7 years ago lexi-lambda.github.io haskell

Realizing Hackett, a metaprogrammable Haskell

7 years ago lexi-lambda.github.io haskell

Rascal: a Haskell with more parentheses

7 years ago lexi-lambda.github.io haskell

Climbing the infinite ladder of abstraction

8 years ago lexi-lambda.github.io

Four months with Haskell

8 years ago lexi-lambda.github.io haskell

Simple, safe multimethods in Racket

8 years ago lexi-lambda.github.io racket

Algebraic Datatypes in Typed Racket with macros

8 years ago lexi-lambda.github.io racket

Canonical factories for testing with factory_girl_api

9 years ago lexi-lambda.github.io

Learning Haskell – A Racket programmer's foray into the land of Haskell

9 years ago lexi-lambda.github.io haskell racket