Spotlight on Alejandro Serrano
When: Friday, October 1st - 17:00 - 19:00
Strongly-Typed Web Applications with Haskell (and Elm)
Haskell provides us one of the strongest type systems in the wild. In order words, the compiler helps us catch many bugs before it is actually executed. In this workshop, we’ll show how this philosophy can be successfully applied to web development.
- Servant types define an API for a web app which can be later turned into a server or a client.
- Aeson provides facilities for dealing with JSON without writing a single line of code.
- Persistent and Esqueleto are used to handle database functionality.
- Validation can be handled with Maybe, but even better with validate-input.
- Elm is a simple functional language for reactive front-end applications.
- Deployment can be easily handled with Haskell on Heroku.
- Bonus: authentication using Servant.
Alejandro’s childhood fascination with computers led him on a quest to learn programming, and to try to understand the theory beneath it. His main interest is the field of computation and programming languages, including type theory, static analysis and logic. He continues to learn about this day by day. In a more practical manner, he enjoys learning new technologies, new languages and new points of view. His aim is to use this practical and theoretical knowledge to create tools and products that help people in their work. Alejandro Serrano is currently a PhD student at the Universiteit Utrecht and is the author of Beginning Haskell: A Project-Based Approach.
About Lambda World:
Lambda World takes place September 30th - October 1st, in Cadiz, Spain and is hosted by 47 Degrees in conjunction with the Scala and Java communities of Spain. The event is located at the Palacio de Congresos, an old tobacco factory near the beach. You can find more details at Lambda.world.