3 ms·
A nice "why does kind exist" page here, oddly under ethereum: https://www.reddit.com/r/ethereum/comments/ns7yng/my_unedited_uncensored_thoughts_about_ethereum/
by daxfohl 5y ago
A nice "why does kind exist" page here, oddly under ethereum: https://www.reddit.com/r/ethereum/comments/ns7yng/my_unedited_uncensored_thoughts_about_ethereum/ https://www.reddit.com/r/ethereum/comments/ns7yng/my_unedite...
- haskellandchill 5y agoI've been following this project for a while. Good work, but a haphazard ranting style of promotion. But hey it's a proofs language, it's gonna get weird.
- LangMakers 5y agoI'm both proud and ashamed of this rant. At least it changed my views about some subjects.
- daxfohl 5y agoI think it was great. As someone who has tried Haskell a few times and been disappointed, it rang true. I've been working on my own pet language for a bit and wondering where to go with it, but kind may be roughly where it was going to end up.