Viewing profile — danielearwicker

Java approach: create the JVM to support one language, so it has rich high-level concepts that are unfortunately skewed toward certain assumptions about language design, and it can…

In TS this is controllable. If noEmitOnError is true, then any error (including type errors) will stop it emitting JS output.

I think of probability as a summary of the structure/symmetries in a model. A model of a jar of red and blue beads is characterised by the ratio of red to blue, and that beads are …

It ought to be possible for the page to disable JavaScript with a meta tag: The browser could put an extra icon next to the https padlock so the user would know they were viewing a…

This must be the most unnecessarily awkward way of doing it (have to do it from the console after navigating to the site, so the request is allowed). fetch("https://heydonworks.com…

That future possibiilty reminds me of https://en.wikipedia.org/wiki/Singularity_(operating_system) - where process/address-space isolation was replaced with fine-grained static ver…

I developed a kind of meta programming pattern and supporting library, based on Redux, called Immuto, to get absolute and complete static typing (via TypeScript) and minimal boiler…

Odd. Erlang uses GC.

It's very likely that JS will adopt some things tried initially in TS. Both TS and Babel have implemented extensions to the class syntax, for example, which are being considered fo…

Interesting last line in that presentation: "Flow written in OCaml, Typescript in Typescript"

You may be traumatised if you ever hear Crockford talk about JavaScript!

Not sure how well this analysis explains Facebook's widespread use of React.

Definitely an aim of TS to make it easier to continue using JS for those who prefer a half-way house, see: https://github.com/Microsoft/TypeScript/issues/4789

The example you give has been supported since day 1. Example: document.createElement("canvas") returns HTMLCanvasElement. A limited form of string literal types has always been sup…

I've been playing with https://github.com/danielearwicker/doop

+1 Knockout is a treasure chest of powerful patterns from remarkably few core concepts.

Thanks for the plug! Caveat: Carota does not solve Right-To-Left text or complex scripts, and I'd really appreciate help with that. It's the only blocking issue against me using it…