Re:Idris 1.0
by muraiki on Saturday April 01, 2017 @08:12AM
(#14011761)
Another way to think of it is that types are first class. Here's an example I found of returning a type, although I forget where I found it. It's a version of a sample on the Rust page, but it now handles floats if necessary: https://paste.fedoraproject.org/paste/UTrEje4Czbiq8C0u1oJOnF...
[ Parent
| on HN ]
There are no comments on this comment yet.