Explore >> Select a destination
|
You are here 
|
diogocastro.com | ||
| | | | |
lexi-lambda.github.io
|
|
| | | | | ||
| | | | |
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. | |
| | | | |
chrispenner.ca
|
|
| | | | | The Personal blog and musings of Chris Penner, a designer, developer and future opsimath. | |
| | | | |
andreabergia.com
|
|
| | | This post is part of the Languages Opinion series. Languages opinion - part one - JVM Languages opinion - part two - Rust ??thispost Languages opinion - part three - Javascript and Typescript Welcome back to my mini-series about programming languages. In this post, we will talk about one of the most interesting programming languages that I have seen in a long while: Rust. | ||
