7 ms·
> I found Ionic to have the most enjoyable and cogent end-to-end experience amongst the three. Agreed, though I'd love to use Ionic with Scala.js in place of T
by virtualwhys 7y ago
> I found Ionic to have the most enjoyable and cogent end-to-end experience amongst the three.
Agreed, though I'd love to use Ionic with Scala.js in place of TypeScript (which is great, but doesn't give me the same if-it-compiles-it-works confidence as Scala does, not to mention batteries-included standard library).
Hopefully technology will emerge that allows one to write once/run everywhere in preferred-language on all major platforms. Compromises seem to abound with currently available options.
- yesimahuman 7y agoScala.js sounds really interesting. There's no reason you shouldn't be able to use it with Ionic as of Ionic 4, since we generally now support whatever framework you want to use (not just Angular anymore)
- s_y_n_t_a_x 7y agoI'm not sure why TS wouldn't give you confidence. The compile process is simply stripping out the typing to JS.
- jakear 7y agoI think they mean TS lets too much buggy code typecheck, as compared to Scala.
- frankpf 7y agoI don't think that's true. TypeScript's type system is very advanced, and has most of the features you need for type-safe development if you use strict mode (which is the default for projects created with `tsc --init`). It has ADTs, null safety, exhaustiveness checking and the LSP tooling is better than any other language I've tried. The biggest feature that's missing from Scala is HKTs, and even those can be faked in TS.
- yawaramin 7y agoIt doesn't have soundness.
- invaliduser 7y agoThis is by design, and rather well explained in the typescript documentation: the type system is based on structural subtyping, which seems like a good tradeoff to me (but of course, as any design choice, not everyone should agree, and it's fine).
- yawaramin 7y agoStructural subtyping doesn't imply lack of soundness, OCaml object types have structural subtyping too and OCaml is sound.
- verttii 7y agoI'd be hard pressed to say ADTs are first class citizens in Typescript. If anything, seems more like a hack over some interface primitives to me. I miss having a solid advanced type system like in Haskell when using something like Typescript or Dart. Typescript feels mostly like Microsoft's attempt on converting Javascript to align more with C# to me.