13 Aug
2020
13 Aug
'20
12:54 p.m.
Am 13.08.20 um 17:48 schrieb Herbert Valerio Riedel:
It might also be worth pointing out the function added to `base` originated from my package `int-cast`
- https://hackage.haskell.org/package/int-cast-0.2.0.0/docs/Data-IntCast.html
which provides the means to have compile-time verified "safe" (and also a slightly weaker lossless "iso"morphic) integer conversions without requiring O(n^2) instances.
This is pretty cool. Thanks for sharing. Cheers Ben