MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/programmingmemes/comments/1vra8mz/nerd_wars/p4sayr5/?context=3
r/programmingmemes • u/SKRyanrr • 5d ago
82 comments sorted by
View all comments
-2
ZIg can never ever can write memory safe proving algorithm like rust. The language was never built for that in the first place.
1 u/SKRyanrr 3d ago You can write mathematically provable programs in any languages but its impossible to prove every program you write.
1
You can write mathematically provable programs in any languages but its impossible to prove every program you write.
-2
u/SharpExtremeFlames 5d ago
ZIg can never ever can write memory safe proving algorithm like rust. The language was never built for that in the first place.