Hacker News Reader

Looks like a statically typed PHP replacement with a lot of domain-specific type checks. I really wanted to see how they enforce this one: ‘Include client-side code that makes incorrect assumptions about the "AJAX"-style services that the remote web server provides’, but couldn’t find any examples on GitHub.

View on HN

It's part of the ML family, so it looks more like Elm (or OCaml, or Haskell, etc.) than PHP.

If my memory serves, the way they enforce this is by generating the client alongside the server.

I think he means PHP in the sense that you're inlining code with markup like in PHP (i.e: a templating engine)

Makes sense.

Also see Wadler’s Links and OCaml/Ocsigen for inline xml fragments, and client + server code generation

Reply on news.ycombinator.com