55 karma · joined September 30, 2021
Can't you do this with a GADT? With a GADT, the type of the output can be specified by which branch of the GADT the input matches. Seems quite a similar idea.
It also created a tremendous energy efficiency issue. Stone has much higher thermal mass than glass.
To borrow a phrase from the book Switch, "true but useless".
And only technically true. Of course there are no actual second chances. Time only moves forward. But the implication - and it's only implied - that you're doomed to unhappiness in a cage of past life choices is defeatist, pusillanimous bunk.
As John Lennon said, "I just had to let it go". That takes more courage the older you get. But anyone that tells you that it's hopeless because you majored in accounting instead of art should be escorted quickly and quietly away from anyone impressionable, and then kept away from sharp objects for their own safety.
Pull yourself together!
Or, to quote the Terry Gilliam movie Baron Munchausen, "Open the gates!"
Another that I haven't read but has been recommended to me is The Manager's Path.
This article is also good: https://charity.wtf/2019/01/04/engineering-management-the-pe...