Bounded quantification Puns

Consider the following function:

proc fn[A : int | float; N; B : seq[A] | DoublyLinkedList[A] | array[N, A] | set[A]](x: B) : int = 
    return x.len() + 10

This function takes an argument of type B, which is can be either a vector or forward-list or array of (array's length is N, which can be of any numeric type) or a set of A. A can be either int or float only.

What's the most modern and expressive way to write the function prototype of fn in C++?

Sorry for the strange title, couldn't come up with something better on the spot.

First of all I want to thank this community for pointing me toward Types and Programming Languages which I finished this morning. Awesome book and I learned a lot.

So, my question is basically:

• System F with Subtyping and Bounded Quantification has an undecidable type checking problem: Verifying if A <: B (or B <: A) is undecidable.
• This System F variant has no higher-order constructs (except for first-class functions)
• Subtyping corresponds tightly to OOP Inheritance
• Bounded Quantification (here: only universal types with an upper bound forall T <: A. t(T)) should correspond to generics with type bounds (which are present in Java/C#/Scala/Kotlin/...)

Shouldn't this already imply that type checking is undecidable in for example C#?

More concretely, TAPL names an example where their type checker diverges.

I used this (official?) pdf of the book: https://www.asc.ohio-state.edu/pollard.4/type/books/pierce-tpl.pdf p.427: 28.5 Undecidability of Full F_sub

So what am I missing?

I tried to translate the example into Generics-code but I'm not sure how to model it. In pseudo-code, I started:

type Not[X extends S] = Function[X, X]
type Inner[Y extends X] = Function[Y, Not[Y]]
type T[X extends Top] = Function[X, Inner[X]]

To define the type T of the example but now I'm at a loss how to "trigger" the problem or how to continue with the example.

Huh? Algier is a human sentenced to death-by-battle royale, via a tournament known as the Culling. The problem is that all the other participants are demons. They're stronger, faster, smarter, more rational, and feel neither fear, fatigue, nor guilt. He has only one advantage to help him survive this ordeal: demons don't lie, but humans can.

Chapter List | First | Previous | Next

 

The balaam kept an eye on me as they skirted across the jagged top of the broken wall. I held my knife close. Toll was unarmed, but I expected them to pull out another weapon, or just hop down and scratch me up with their clawed feet. I was breathing so hard I thought I’d pass out, and every muscle in my body ached. If Toll decided to fight, that little knife in my hand wouldn’t do anything.

Puffing their feathers up, Toll hopped down onto the stairs a distance away from me. I tensed up but didn’t raise the knife, not wanting to show fear. Then casually descended the stairs, not bothering to check if there were more digressers. They had probably been watching the field whole time and counting every digresser that was approaching. Despite that, the demon had just let me fight.

Now that I think back on it, the whole thing was a setup. A terrible weapon left lying in the open to bait in a potential victim, and a demon perched up high watching someone struggle, waiting for them to bring the digressers in so they could kill them in a single strike. I got played.

Once Toll reached the spear that was protruding from the bottom of the wall, they tugged it out and pressed it against their shoulder, pointing the carved tip to the sky. Still catching my breath, I decided it would be safest to move closer, since I knew exactly what that rabdos was capable of at range.

Briary, Class 6-A. When thrown, it rapidly grows sharp thorns that hunt down anything resembling a demon within ten metres. That includes the wielder and, sometimes, humans, though we tend to be more collateral than anything else. As a subclass A, for Aware, it acts of its own accord. Aware rabdoses are dangerous no matter who wields them. Fail to wield them correc

Though it's "only" been 5 months since I posted my DD From fake shares to millionaires, it feels like a lifetime ago. If you haven't read it, or can't remember, don't worry. It was about dispelling some common misconceptions, and more importantly, to present my theory for the best exit strategy. It gained a lot of attention back then, and all apes agreed that selling slowly on the way down was indeed the way to go.

Since then, I've gotten numerous requests to repost it, especially the exit strategy part, but since many wrinkles have grown since I wrote it, I've always said that it needs an update first, and I just haven't found the time or motivation to do so, UNTIL NOW. DRS gives us a whole new angle, and requires us all to rethink our strategy.

This time around, I'll even give you a TLDR! 🥳

TLDR:

• Forget what I wrote about fake shares 5 months ago, I was naïve.
• If you still believe, like I did back then, that the system is even close to fair and well regulated, you are naïve.
• If you believe that your broker holds a real share for every share in your account, you are naïve.
• If you believe that the shares you hold in a cash account with a broker are not lent out to short sellers, you are naïve.
• If you believe the SEC is going to do their job anytime soon? You guessed it; YOU ARE NAÏVE!

Directly register your shares!

• DRS'ing your shares is the only way to make sure you're actually getting real shares.
• DRS is the key for MOASS, not (just) for triggering it, but to make it the true Mother Of All Short Squeezes.
• My theory is that apes will collectively AND individually maximize their profits if they collectively aim to directly register as many shares as possible, and hold on to them for as long as possible, AND hold on to the remaining shares until the price is right!
• No ape should register ALL theirs shares, just MOST of them.
• No ape should DRS any shares they plan to sell before the squeeze is over (not because of that 1M cap, but to keep the squeeze going for as long as possible)
• At least sell all your (most likely synthetic) shares you have at your broker before you even consider selling any directly registered shares.

Other than that, pretty much the same guidelines for the MOASS still apply, the most important being:

• Don't sell on the way up
• Sell as slowly as possible

TADR:

• Buy, hodl, register = 🦍🚀🌙

I don't want to step on anybody's toes here, but the amount of non-dad jokes here in this subreddit really annoys me. First of all, dad jokes CAN be NSFW, it clearly says so in the sub rules. Secondly, it doesn't automatically make it a dad joke if it's from a conversation between you and your child. Most importantly, the jokes that your CHILDREN tell YOU are not dad jokes. The point of a dad joke is that it's so cheesy only a dad who's trying to be funny would make such a joke. That's it. They are stupid plays on words, lame puns and so on. There has to be a clever pun or wordplay for it to be considered a dad joke.

Again, to all the fellow dads, I apologise if I'm sounding too harsh. But I just needed to get it off my chest.

The nurse asked the rabbit, “what is your blood type?”

“I am probably a type O” said the rabbit.

The doctor says it terminal.

Alot of great jokes get posted here! However just because you have a joke, doesn't mean it's a dad joke.

THIS IS NOT ABOUT NSFW, THIS IS ABOUT LONG JOKES, BLONDE JOKES, SEXUAL JOKES, KNOCK KNOCK JOKES, POLITICAL JOKES, ETC BEING POSTED IN A DAD JOKE SUB

Try telling these sexual jokes that get posted here, to your kid and see how your spouse likes it.. if that goes well, Try telling one of your friends kid about your sex life being like Coca cola, first it was normal, than light and now zero , and see if the parents are OK with you telling their kid the "dad joke"

I'm not even referencing the NSFW, I'm saying Dad jokes are corny, and sometimes painful, not sexual

So check out r/jokes for all types of jokes

r/unclejokes for dirty jokes

r/3amjokes for real weird and alot of OC

r/cleandadjokes If your really sick of seeing not dad jokes in r/dadjokes

Punchline !

Edit: this is not a post about NSFW , This is about jokes, knock knock jokes, blonde jokes, political jokes etc being posted in a dad joke sub

Edit 2: don't touch the thermostat

Do your worst!

How the hell am I suppose to know when it’s raining in Sweden?

Mathematical puns makes me number

We told her she can lean on us for support. Although, we are going to have to change her driver's license, her height is going down by a foot. I don't want to go too far out on a limb here but it better not be a hack job.

Ants don’t even have the concept fathers, let alone a good dad joke. Keep r/ants out of my r/dadjokes.

But no, seriously. I understand rule 7 is great to have intelligent discussion, but sometimes it feels like 1 in 10 posts here is someone getting upset about the jokes on this sub. Let the mods deal with it, they regulate the sub.

They were cooked in Greece.

I'm surprised it hasn't decade.

He lost May

Now that I listen to albums, I hardly ever leave the house.

Don't you know a good pun is its own reword?

Two muffins are in an oven, one muffin looks at the other and says "is it just me, or is it hot in here?"

Then the other muffin says "AHH, TALKING MUFFIN!!!"

Said if she ever hosts a gender reveal party, when it comes time to pop the balloon she'll spray everyone with water.

Gender is fluid.

For context I'm a Refuse Driver (Garbage man) & today I was on food waste. After I'd tipped I was checking the wagon for any defects when I spotted a lone pea balanced on the lifts.

I said "hey look, an escaPEA"

No one near me but it didn't half make me laugh for a good hour or so!

Edit: I can't believe how much this has blown up. Thank you everyone I've had a blast reading through the replies 😂

It really does, I swear!

And now I’m cannelloni

Because she wanted to see the task manager.

But that’s comparing apples to oranges

And boy are my arms legs.

Put it on my bill

Amy

Heard they've been doing some shady business.

but then I remembered it was ground this morning.

Edit: Thank you guys for the awards, they're much nicer than the cardboard sleeve I've been using and reassures me that my jokes aren't stale

Edit 2: I have already been made aware that Men In Black 3 has told a version of this joke before. If the joke is not new to you, please enjoy any of the single origin puns in the comments

BamBOO!

They’re on standbi

A play on words.

Calcium, nickel, neon