News for hackers. Stuff that matters.

A comment on Idris 1.0. Parent comment

Re:Idris 1.0 by CJefferson on Saturday April 01, 2017 @12:54PM (#14012986)
But you either have to use unique ptr (then passing the pointer around is a pain), or shared ptr (then you pay a runtime cost of counting). In idris the type system deals with these things better.
[ Parent | on HN ]
Re:Idris 1.0 by jjnoakes on Saturday April 01, 2017 @02:06PM (#14013281)
How is unique_ptr a pain? Just typedef it to something palatable.

You must track files by some type already right?

[ Parent | on HN ]