2 questions
8
votes
1
answer
343
views
A type with `Eq a` but not `Ord a`
In (an idealized version of) Haskell, is there a concrete type a such that we can implement Eq a lawfully, but it is impossible to implement Ord a? The order doesn't need to be meaningful, and any ...
- 431
0
votes
0
answers
27
views
Generating a sequence using kafka and s3
I need build a global concurrency safe numeric sequence . I have only s3 and kafka at my disposal . The hard requirement here is that there are no collisions of the generated Id. The approach I have ...
- 2,015