I'm always impressed by how different programming language features could affect your style of writing web applications. There are a lot of languages you can write code for the web application: Java, Ruby, Elixir, Scala, Haskell and though they provide some interesting insights into application development, I'm more interested in less mainstream languages.
In this article we'll take a look at how to build a small database-backed web application in ATS, Idris and Ur. Each of them have very interesting language features I would love to show you and compare.
Our application would be a rather straightforward one, it's just a todo list with authentication and authorization.
Some job stories