15

I read a comment on StackOverflow about "What is depending typing?". And the poster complained about Wikipedia's hard-to-read article about dependent typing. The exact comment is:

Well, the article opens with lambda cubes, which sound like some type of sheep meat to me. Then it goes on to discuss λΠ2 systems, and as I don't speak alien I skipped that section. Then I read about the calculus of inductive constructions, which incidentally seems to have little to do with calculus, heat transfer, or construction. After giving a language comparison table, the article ends, and I am left more confused than when I got to the page

What does "some type of sheep meat" mean? It seems to be "familiar stuff" since the sentence is supposed to introduce what OP can understand and then give the contrasting obtuse stuff next to it.

3

2 Answers 2

49

It is a joke

"Lambda cubes" sounds like "lamb cubes" and lamb is the meat of a young sheep. So "Lamb cubes" would be sheep meat cut into blocks.

8
  • 5
    I think it would be considered a pun, rather than a joke.
    – jamesqf
    Commented Mar 2, 2021 at 3:31
  • 28
    @jamesqf puns are a type of joke Commented Mar 2, 2021 at 10:45
  • 11
    Just want to add a little more detail and point out that nothing about the phrase "some type of sheep meat" is idiomatic. It's a phrase unique to this very specific situation.
    – Mike S
    Commented Mar 2, 2021 at 14:00
  • 3
    @Barmar Aye, one should definitely feel sheepish for stooping so low...
    – J...
    Commented Mar 2, 2021 at 15:57
  • 5
    This was a baaaaaaaad pun Commented Mar 2, 2021 at 16:44
4

"Lambda Cubes" sounds like "Lamb Cubes", a culinary ingredient.

Additionally, "Some type of sheep meat" refers to inexpensive replacement with meat from an old lamb. Thus, a trick.

Lambs grow up to be sheep.

4
  • 18
    "Lambs grow up to be sheep." Unless they get turned into lamb cubes...
    – TripeHound
    Commented Mar 2, 2021 at 6:28
  • 4
    @TripeHound: What a great username for that comment
    – Flydog57
    Commented Mar 2, 2021 at 6:58
  • @TripeHound. Lambs grow up to be sheep, unless you're Tomasz Schafernaker.
    – TRiG
    Commented Mar 3, 2021 at 0:24
  • 1
    Lambs ARE sheep. Just as children ARE people. Commented Mar 3, 2021 at 2:33

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .