Explore >> Select a destination
|
You are here 
|
diogocastro.com | ||
| | | | |
bradparker.com
|
|
| | | | | [AI summary] The text discusses the use of type-level programming in Haskell with the Servant web framework. It explains how to define APIs using type-level features such as symbols for route parameters, type-level lists for content types, and infix type constructors for combining components. The author walks through creating a simple API with endpoints for listing users and retrieving specific users by username, using typed holes and GHCi to explore types and implement handlers. The final implementation includes handling 404 errors and demonstrates how the type-level approach enables a 'specification first' design, which is both declarative and beneficial for generating documentation and client code. | |
| | | | |
aaronlevin.ca
|
|
| | | | | Data Families Make Types and Free Monads More Librarious At the end of my post Type Families Make Life and Free Monads Simpler I conjectured whether it would be possible to write a "CRUD" library... | |
| | | | |
lexi-lambda.github.io
|
|
| | | | | ||
| | | | |
www.alexedwards.net
|
|
| | | |||
