bazqux-urweb

There was a system with dependent types that ruled out invalid html at compile time, even dynamically generated html (rather than a runtime error, you would get a compile error if your code did something wrong) https://github.com/urweb/urweb http://www.impredicative.com/ur/ Needless to say it wasn't very practical. But there was one commercial site written in it https://github.com/bazqux/bazqux-urweb (the site still exists but not sure if it's still written in ur/web)

BazQux is unfortunately not entirely open source, but it is my favorite RSS reader, is a profitable user-facing application, and is written partly in Haskell: https://bazqux.com/faq https://github.com/bazqux/bazqux-urweb/tree/master/crawler Off the top of my head I also know of Freckle (https://www.freckle.com/) and Co-Star (https://www.costarastrology.com/). More importantly, this is not a Haskell book! I'm sure the author would be happy to see these ideas applied using Javascript or Scala or Java 14 or anything else. > Haskell is considered a difficult language to learn, which is certainly true if you come from traditional procedural languages. But rest assured, this is not a Haskell book. You won’t need more than a passing understanding of the language’s syntax and a few high-level idioms. Everything you’ll need to know will be shown l

If you miss the clean UI and keyboard shortcuts of Google Reader, I highly recommend BazQux Reader. The front end tech is also pretty interesting: it's built with Ur/Web. [2] [1] http://bazqux.com [2] https://github.com/bazqux/bazqux-urweb

Ur/Web is used mostly for generating JavaScript and part of web server. Most backend is written in Haskell. You could look more here https://github.com/bazqux/bazqux-urweb

Linked from the "Who's using it" page: https://github.com/bazqux/bazqux-urweb