On: HTML, the Programming Language

[DistractionRect]

It's too early in the week, and I'm too sober for this.

My one nit, is the lack of static typing. I'm not a fan of radically changing the direction of a project, so instead of baking it into HTML, the Programming Language I suggest the TypeScript route. Something like a hypertext typed programming syntax, HTTPS, to compile to HTML, the Programming Language.

[recursivedoubts → DistractionRect]

considering a hindley milner type system for the language, but it would be a big lift w/ explicit stack semantics

also looking at HTML, the programming language,++, or, possibly, Objective-HTML, the programming langauge, which would be easier to get to and potentially more awful

[spindle → recursivedoubts]

> hindley milner type system for the language

Hindley Type Milner Language

#ifixeditforyou

[DistractionRect → spindle]

We're just a bit shy of "Buffalo buffalo Buffalo buffalo buffalo buffalo Buffalo buffalo", but with HTML.

[zeckalpha → recursivedoubts]

You joke but XQuery isn't too far off

[ianamartin → recursivedoubts]

How about HTML, the programming language, 's Flying Circus with a very powerful yet flexible and optional type hinting system?

[djbusby → ianamartin]

Parrot Typing.

[lassejansen → DistractionRect]

I'm using Swift Result Builders as a statically typed language to generate HtmlScript code (which a similar approach as html, the programming language):

https://htmlscript.org

This works pretty well for composable server side generated view components.