Re:Ada's Dependent Types, and Its Types as a Whole
by kevlar700 on Saturday December 28, 2024 @06:56PM
(#42536035)
Spark supports borrowing which is easier to use than Rusts now. It also prevents memory leaks.
[ Parent
| on HN ]
There are no comments on this comment yet.