this post was submitted on 28 Nov 2023

583 points (97.7% liked)

Programmer Humor

32410 readers

229 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

Posts must be relevant to programming, programmers, or computer science.
No NSFW content.
Jokes must be in good taste. No hate speech, bigotry, etc.

founded 5 years ago

MODERATORS

AgreeableLandscape@lemmy.ml

cat_programmer@lemmy.ml

583

With PieMixin (lemmy.world)

submitted 11 months ago by mod_pp@lemmy.world to c/programmerhumor@lemmy.ml

20 comments fedilink hide all child comments

all 23 comments

sorted by: hot top controversial new old

[–] Knusper@feddit.de 44 points 11 months ago (1 children)

In this thread: Trying to guess the programming language based on a single keyword and angle brackets. 🙃

[–] kogasa@programming.dev 10 points 11 months ago

True, but that's definitely C#

[–] UFODivebomb@programming.dev 16 points 11 months ago* (last edited 11 months ago) (1 children)

In Scala:

case class Fix[F[_]](unfix: F[Fix[F]])
case class Pie[T](filling: T)
def ohNo: Fix[Pie] = Fix(Pie(ohNo))

[–] Knusper@feddit.de 3 points 11 months ago

Type erasure sure does go brr...

[–] Omega_Haxors@lemmy.ml 12 points 11 months ago

is something which is completely unhinged out of context, and sometimes even in context.

[–] Gentoo1337@sh.itjust.works 2 points 11 months ago (1 children)

I understand the syntax but i dont get the joke.

[–] crit@links.hackliberty.org 8 points 11 months ago

It's an asdf video. "I've got a pie! What flavour? Pie flavourrrr"

[+] PetDinosaurs@lemmy.world -23 points 11 months ago (4 children)

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.

[–] Mozingo@lemmy.world 38 points 11 months ago (2 children)

This sure looks like C#. I use typeof every once in a while when I want to check that the type of a reference is a specific type and not a parent or derived type. But yea, really not that often.

[–] PetDinosaurs@lemmy.world 9 points 11 months ago (4 children)

It looks exactly like c++ and c# and java and probably others.

[–] morhp@lemmy.wtf 17 points 11 months ago

Java only has instanceof and getClass, not typeof.

[–] Mozingo@lemmy.world 11 points 11 months ago (1 children)

But neither c++ or Java have typeof

[–] FooBarrington@lemmy.world 2 points 11 months ago

Typescript! Though it's less useful, since the Typescript types aren't available at runtime, so you'll just get object for non-primitive values.

[–] LapidistCubed@lemmy.world 1 points 11 months ago

Probably because Java and C# take much inspiration from C++. They aren't called "C-based" languages for nothing 😉

[–] r00ty@kbin.life 3 points 11 months ago

Yeah in C# it has quite a few uses.

I'm working on a background fun project where there's a base class that is for olde style CPU emulation. Where you can derive a class from the base class and essentially design 8bit style CPUs.

I have a separate class as a generic Assembler that will work with any of the created CPUs. But, to be able to do that I need to be able to get information about instructions, arguments, opcodes, registers etc from the derived class.

So the assembler is instantiated with Assembler\ and then it uses typeof to instantiate the actual CPU class being used to get all the information.

So, that's just an example of when you'd use something like this.

[–] Konlanx@feddit.de 23 points 11 months ago* (last edited 11 months ago) (1 children)

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 any as 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 use typeof (or similar constructs like a type guard).

https://www.typescriptlang.org/docs/handbook/2/typeof-types.html

[–] jana@leminal.space 3 points 11 months ago* (last edited 11 months ago)

But generic type syntax is a feature exclusive to Typescript while typeof is a JavaScript thing. You'd never get Pie[Pie[T]] as a result from a typeof check. (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 foo not typeof(foo) in js

[–] gens@programming.dev 2 points 11 months ago

It's very useful in zig's comptime.

[–] S0UPernova@lemmy.world 1 points 11 months ago

TypeScript?