3 ms·
You are missing his entire point.
by Eire_Banshee 9y ago
You are missing his entire point.
- proc0 9y agoI know, which is why I asked for some clarification. I actually think haskell is able to directly implement CT, there is HASK category after all. If it's that this is too pretentious to even mention in HN, then I'm completely lost.
- jonnybgood 9y agoHask is not a real category.
- dragonwriter 9y ago> there is HASK category after all. This is disputed and seems to be at best conjecture/intuition without adequate formal definition supporting it.