So why does Marcin give his FFI functions IO types, and then justify that they are pure and don't need them? Seems like it would make a lot more sense to write a simple wrapper in C that is referrentially transparent and use that without unsafePerformIO.
Gratuluję synu ! 💝
Gratulacje dla mamusi.
Marcin,synu - bywaj wszędzie tam,gdzie ludzie coś wspólnie robią ...Tam czeka na Ciebie szansa! Zaskoczy Cię znienacka !
Great breakdown of "fancy" Haskell. I've never used Custom type errors before but now I might after seeing this talk.
So why does Marcin give his FFI functions IO types, and then justify that they are pure and don't need them? Seems like it would make a lot more sense to write a simple wrapper in C that is referrentially transparent and use that without unsafePerformIO.