Re:HTML, the Programming Language
by recursivedoubts on Monday December 04, 2023 @06:46PM
(#38524934)
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
Re:HTML, the Programming Language
by ianamartin on Monday December 04, 2023 @08:06PM
(#38525720)
How about HTML, the programming language, 's Flying Circus with a very powerful yet flexible and optional type hinting system?
Parrot Typing.
You joke but XQuery isn't too far off
> hindley milner type system for the language
Hindley Type Milner Language
#ifixeditforyou
Re:HTML, the Programming Language
by DistractionRect on Tuesday December 05, 2023 @11:14AM
(#38532771)
We're just a bit shy of "Buffalo buffalo Buffalo buffalo buffalo buffalo Buffalo buffalo", but with HTML.
Re:HTML, the Programming Language
by lassejansen on Tuesday December 05, 2023 @12:46AM
(#38527521)
I'm using Swift Result Builders as a statically typed language to generate HtmlScript code (which a similar approach as html, the programming language):
This works pretty well for composable server side generated view components.
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.