Design

[shelby3]

Block-level (Promise integrated) block-level deterministic RAII-like destructors:

keean/zenscript#14 (comment)
keean/zenscript#33 (comment) & keean/zenscript#33 (comment)

_{(design pattern possible in TypeScript, but the boilerplate reduction, correctness checking, and automated deployment can’t be obtained without transpilation)}

---

Not supporting weak nor strong references:

keean/zenscript#32 (comment)

[shelby3]

Anonymous structurally typed, type-indexed-tagged, partial-order-disjointed sums (aka unions):

#1 (comment)

_{(inherent feature of TypeScript)}

[shelby3]

Typeclasses or perhaps applicative ML functors (although perhaps we prefer to start with manual dependency injection):

#1 (comment)

_{(design pattern possible in TypeScript, but the implicit resolution boilerplate reduction and ambiguity checking can’t be obtained without transpilation)}

---

Not supporting the undesirable premature binding of interface to data anti-pattern of virtual subclassing, often lumped into the term OOP:

keean/zenscript#14

Interestingly note that Typeclasses are compatible with JavaScript’s prototype inheritance (because only one way of implementing each interface for each data type); whereas, subclassing is not compatible.

[shelby3]

Sized, signed, and unsigned integer (including 64-bit) types; additionally unboxed data structures which are optimally packed binary data suitable for I/O and memory intensive use cases:

keean/zenscript#30 (comment)
keean/zenscript#30 (comment) thru keean/zenscript#30 (comment)
keean/zenscript#30 (comment) thru keean/zenscript#30 (comment)
keean/zenscript#30 (comment)

_{(design pattern possible in TypeScript via customized APIs, but the boilerplate reduction and fastest performance on packed binary data can’t be obtained without transpilation)}

[shelby3]

Collecting all the prior posts or discussions about HKT:

keean/zenscript#27 (comment)
keean/zenscript#17 (comment)
keean/zenscript#10
https://typelevel.org/blog/2016/08/21/hkts-moving-forward.html
keean/zenscript#8 (comment) (c.f. footnote ¹)

Also collecting all the prior posts or discussions about type classes:

keean/zenscript#39 (comment)