News for hackers. Stuff that matters.

A comment on Using Zig to Provide Stack Traces on Kernel Panic for a Bare Bones OS. Parent comment

Re:Using Zig to Provide Stack Traces on Kernel Panic for a B... by bjz_ on Wednesday December 05, 2018 @03:41AM (#18606614)
> I stand corrected, as monomorphization is optional for parametric polymorphism but mandatory for ad hoc polymorphism.

It's not mandatory for ad-hoc polymorphism. Haskell desugars ah-hoc polymorphism to dictionary passing (although it often does inlining to reduce the overhead of this).

[ Parent | on HN ]
Re:Using Zig to Provide Stack Traces on Kernel Panic for a B... by lifthrasiir on Wednesday December 05, 2018 @05:56AM (#18607214)
I do not consider type classes as ad hoc polymorphism, I should have clarified this first.
[ Parent | on HN ]
Re:Using Zig to Provide Stack Traces on Kernel Panic for a B... by u320 on Wednesday December 05, 2018 @07:56AM (#18607784)
Most people do, though.
[ Parent | on HN ]