Explore >> Select a destination
|
You are here 
|
alexn.org | ||
| | | | |
blog.levinotik.com
|
|
| | | | | ||
| | | | |
volgarev.me
|
|
| | | | | ||
| | | | |
www.baturin.org
|
|
| | | | | [AI summary] This article introduces OCaml's boolean values, conditional expressions, equality operators, and recursive functions, including tail recursion optimization and practical examples. | |
| | | | |
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. | ||
