3 ms·
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
by sesm 3y ago
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.
- Yoric 3y agoIt'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.
- shortrounddev2 3y agoI think he means PHP in the sense that you're inlining code with markup like in PHP (i.e: a templating engine)
- Yoric 3y agoMakes sense.
- manu3000 3y agoAlso see Wadler’s Links and OCaml/Ocsigen for inline xml fragments, and client + server code generation