Macro-ts: TypeScript compiler with typesafe syntactic macros (2022)

Re:Macro-ts: TypeScript compiler with typesafe syntactic mac... by dvt on Tuesday May 30, 2023 @01:19AM (#36121379)

> knows that a huge chunk of why it's so excellent is the macro system

Macros are bad and you're bad if you use them. This has been essentially a de facto mantra since the early 90s (when I was a wee lad) and it's quite common to see people writing very long articles on why you shouldn't use them[1]. They are magic, so should be avoided.

There's a reason languages like C# or Go don't have them, and you should take heed of the very smart people that designed these languages. Even in Rust, they are controversial[2] (the most obvious reason is that your IDE is worthless when macros are involved). Metaprogramming (i.e. macros) adds extreme complexity (in some cases, pre-runtime-Turing-completeness) with many footguns, including the classic, and very "fun," double evaluation.

Here be dragons.

[1] https://www.linkedin.com/pulse/why-considered-bad-practice-u...

[2] https://www.reddit.com/r/rust/comments/taxfe3/what_are_the_p...

[ Parent | on HN ]

Re:Macro-ts: TypeScript compiler with typesafe syntactic mac... by AmalgatedAmoeba on Tuesday May 30, 2023 @01:31AM (#36121436)

As is usually the case, it depends. Macros for “reducing boilerplate” or other syntactic reasons are poorly justified. While the resulting code might look cleaner, it’s often much harder to decipher (JS “decorators” suffer from the same issue). Macros can be invaluable for trading compile time for runtime performance, compensating for missing language features, and general metaprogramming… in a compiled language. It’s beyond me why would anybody think that macros are a good fit for interpreted JS.

[ Parent | on HN ]

Re:Macro-ts: TypeScript compiler with typesafe syntactic mac... by throw_m239339 on Tuesday May 30, 2023 @01:57AM (#36121554)

> There's a reason languages like C# or Go don't have them,

Go has a quasi macro system though (go generate)

https://gradha.github.io/articles/2015/01/the-day-go-reinven...

I like the macro systems in Crystal and Haxe (reifed macros)

https://haxe.org/manual/macro-reification-expression.html

https://crystal-lang.org/reference/1.8/syntax_and_semantics/...

I think C would have benefited from such system at the AST level instead of text substitution.

Javascript is dynamic enough there is absolutely no need for Macros.

[ Parent | on HN ]

Re:Macro-ts: TypeScript compiler with typesafe syntactic mac... by ivxvm on Tuesday May 30, 2023 @05:24AM (#36122809)

> Javascript is dynamic enough there is absolutely no need for Macros.

TypeScript macroses would be very useful for the same things codegenerators are useful: for example generating api client from swagger schema. Ofc you can do some trickery with metaprogramming, for example build and eval strings on fly and the result could be a dynamically generated function, but the point is: we want the process and the result to be typesafe and efficient, which is what is missing with hacky dynamic metaprogramming approaches.

[ Parent | on HN ]

Re:Macro-ts: TypeScript compiler with typesafe syntactic mac... by throw_m239339 on Tuesday May 30, 2023 @08:01AM (#36123775)

A swagger schema looks like YAML with a finite set of types. I don't see why you'd need to use eval in that case when from one hand you already have the schema in a javascript object and the other hand a simple builder pattern would build your API directly from that schema. Absolutely no need for macros.

[ Parent | on HN ]

Re:Macro-ts: TypeScript compiler with typesafe syntactic mac... by eropple on Tuesday May 30, 2023 @09:39AM (#36124763)

Generally speaking, because it would be very nice to have types without having to do offline code generation.

[ Parent | on HN ]

Re:Macro-ts: TypeScript compiler with typesafe syntactic mac... by 1322322441 on Tuesday May 30, 2023 @02:48AM (#36121850)

C# _does_ have a macro system. See https://dotnetfiddle.net/y3zFQ4 for example. This has a macro called Foo which, when calls, prints out the AST of the given expression. It could also manipulate part of the expression and evaluate it, if desired.

[ Parent | on HN ]

Re:Macro-ts: TypeScript compiler with typesafe syntactic mac... by zokier on Tuesday May 30, 2023 @06:41AM (#36123290)

* * *

[ Parent | on HN ]

Re:Macro-ts: TypeScript compiler with typesafe syntactic mac... by pie_flavor on Tuesday May 30, 2023 @11:14AM (#36125833)

If magic was unnuancedly bad we'd all be using assembly. Rust-style macros are a tradeoff; you get constrained magic, localized to the spot where you said `!`. Presenting using them at all in Rust as 'controversial', with a Reddit thread that says nothing of the sort, is disingenuous; proper Rust usage is littered with macros (and the presentation of said 'mantra' would be news to any Lisp user).

[ Parent | on HN ]