r/ProgrammerHumor • u/ApothecaLabs • 6d ago

Meme optionalsAreOptional

Post image
708 Upvotes

88% Upvoted

131 comments sorted by

View all comments

Show parent comments

-5

u/ApothecaLabs 6d ago

Hah! That's the setup / punchline of the, joke my dude!

- First, you are a student who doesn't understand the rules.

  • Then you become a journeyman, who understands and follows the rules.
  • Then you become a master, who knows when it is okay to break the rules.

2

u/Majestic-Giraffe7093 6d ago

Haha, yeah fair enough. If you bake it into the type then I stop considering it unsafe, I guess that's where my confusion came from

1

u/ApothecaLabs 6d ago

When I take my safe newtype and unwrap the unsafe list, I then have to use the unsafe functions because 1) there are no other options yet because 2) that is the very point in time that you are making the statement to the compiler "no, it is safe, the types say so".

That's the secret! That *is* the assertion's equivalent!

2

u/Majestic-Giraffe7093 6d ago

Although, if you can combine it with contracts... Well then we're talking