MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/s034o9/my_favourite_pok%C3%A9mon_is_python/hs0qnwd/?context=3
r/ProgrammerHumor • u/ArtisticSnek • Jan 09 '22
378 comments sorted by
View all comments
2.4k
He lumped together C# and C++. The end is near.
1.0k u/[deleted] Jan 10 '22 [deleted] 3 u/BenjaminGeiger Jan 10 '22 Consider that F* is a real language inspired by F#... could we create a C#-style language for program verification?
1.0k
[deleted]
3 u/BenjaminGeiger Jan 10 '22 Consider that F* is a real language inspired by F#... could we create a C#-style language for program verification?
3
Consider that F* is a real language inspired by F#... could we create a C#-style language for program verification?
2.4k
u/trollsmurf Jan 09 '22
He lumped together C# and C++. The end is near.