In this thread: Trying to guess the programming language based on a single keyword and angle brackets. 🙃
True, but that’s definitely C#
In Scala:
case class Fix[F[_]](unfix: F[Fix[F]]) case class Pie[T](filling: T) def ohNo: Fix[Pie] = Fix(Pie(ohNo))Type erasure sure does go brr…
is something which is completely unhinged out of context, and sometimes even in context.
I understand the syntax but i dont get the joke.
It’s an asdf video. “I’ve got a pie! What flavour? Pie flavourrrr”
deleted by creator
deleted by creator
Which language are we talking here? Cpp? Because typeof hasn’t ever seemed useful to me in how I use cpp or how I have ever really used a language. I also remember it being criticized in java class more than 20 years ago when OOP was solely preached, even for scientific people like me.
This is likely referring to TypeScript.
TypeScript has all of these patterns, they are used very frequently and they are necessary because TypeScript tends to be interesting from time to time since its types only exist at compile time, because it compiles to JavaScript, which is a language without types.
TypeScript also allows
anyas a keyword, which says “I don’t know which type this is and I don’t care”, which still produces valid JavaScript. To get back to typed variables it is necessary to usetypeof(or similar constructs like a type guard).https://www.typescriptlang.org/docs/handbook/2/typeof-types.html
But generic type syntax is a feature exclusive to Typescript while
typeofis a JavaScript thing. You’d never getPie[Pie[T]]as a result from atypeofcheck. (Please excuse the square brackets; seems like the markdown parser here isn’t quite right and it keeps messing up the angle brackets)Also, it’s
typeof foonottypeof(foo)in jsdeleted by creator
deleted by creator
Your assumption that “using reflection means the code is wrong” seems a bit extreme, at least in .Net. Every time you interact with types, you use reflection. Xml and Json serialization/deserialization uses reflection, and also Entity Framework. If you use mocking in test you are using reflection.
We have an excel export functionality on our sites that uses reflection because we can write 1 function and export any types we want, thanks to reflection.
deleted by creator
A good sense of “code smell” is one of the most valuable programming skills. I think your “probably” is justified: if you’re doing X, you should look twice at how you’re doing it. Maybe it’s right, but usually it’s not, so it’s worth a pause and a thought.
huh, you’re right! I’m trained on a different kind of code. In C# in particular, which I use mostly to do sneaky stuff (patch/inject runtime code to, um, “fix” it) and when I see a project that it’s too clean it smells
I also see python code (I code regular stuff in it) that could be written much more cleanly using monkey-patching
Modern .NET is reducing dependence on reflection. System.Text.JSON and other core libraries have leveraged source generation to produce AOT + trim friendly, reflection free code. But yeah, it’s not a taboo like say
dynamic, it’s perfectly normal to use reflection in idiomatic C# code.
Hm, I’m currently working on a project with a ton of runtime-configurable plug-ins and dependencies between them. All of that is held together with a copious amount of black QMetaObject magic. I had the same thought about it, but I’m not sure how you’d get similar functionality without reflection and not making it even more convoluted and fragile…
Metaprogramming is extremely useful for long term code readability. What you’re doing is probably fine but we can’t really evaluate that without seeing the actual code.
That’s why I stopped writing code and started writing ASTs and AST transformers that can be configured to emit libraries.
deleted by creator
It’s very useful in zig’s comptime.
TypeScript?
