Skip to content

Instantly share code, notes, and snippets.

@paulp
Last active June 17, 2021 06:48
Show Gist options
  • Save paulp/4525943 to your computer and use it in GitHub Desktop.
Save paulp/4525943 to your computer and use it in GitHub Desktop.
The Signs of Soundness
Hello scala, my old friend
I've come to take you home again
Because a feature slowly creeping
left me plagued with doubts and weeping
and the version that was tagged in the repo
just has to go
it lacks the signs of soundness
On sleepless nights I hacked alone
applying ant and other tools of stone
A futile tour of every open bug
once done in weeks, now I can only shrug
when my brain was melted by a blast of complexity
which needn't be
I lost all signs of soundness
And in the bug tracker I saw
ten thousand tickets, maybe more
Abstract types, improper variance
Skolems escaping through a porous fence
People writing type lambdas which no one understands
and no one planned
to check for signs of soundness
"Friends," said I, "You do not know
Unsoundness like a cancer grows
Hear my words that I might teach you
Take my code that I might reach you"
But in unpublished branches it lay
still does today
awaiting signs of soundness
To scalac they'd plead and pray
it had to get faster some day
Yet scala's future it has itself seen
Warnings unheeded thanks to SIP-18
And the log says
"The words of the prophets were written in old tickets
and closed wontfix"
We search for signs of soundness
@aloiscochard
Copy link

Woow, this text should be added as easter egg into scalac!

Well done

@vigdorchik
Copy link

Great one!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment