News for hackers. Stuff that matters.

A comment on Notes on Idris (2017). Parent comment

Re:Notes on Idris (2017) by icebraining on Friday June 08, 2018 @03:24AM (#17263320)
The question is whether that's a special case of the compiler or if it can be implemented by regular D code.
[ Parent | on HN ]
Re:Notes on Idris (2017) by FeepingCreature on Friday June 22, 2018 @01:51AM (#17371677)
It is implemented by regular D code in std.format. Logging libraries often do the same thing.
[ Parent | on HN ]