I have been working on this experiment for quite some time and over the holidays I found sometime to polish things. I wanted to see if I can build a fully type-safe router, where everything from route params to search params was fully typed, even links.
My main inspiration came from Servant [1]
In Servant, you define a type-level API specification and then you use this type specification to:
- Implement a web server
- Generate client functions
I am still working on the API design and would love to get some feedback on the pattern.
My main inspiration came from Servant [1]
In Servant, you define a type-level API specification and then you use this type specification to:
- Implement a web server
- Generate client functions
I am still working on the API design and would love to get some feedback on the pattern.
[1] https://www.servant.dev/