Re:'Rent-a-person who does nothing' in Tokyo receives endles...
by alexanderdmitri on Thursday January 14, 2021 @02:53PM
(#25781549)
once you've started on Idris you've crossed the line over from kinky to deviancy
source: there are several people in my weekly support group for exactly this reason, it gets out of control
Re:'Rent-a-person who does nothing' in Tokyo receives endles...
by Blikkentrekker on Thursday January 14, 2021 @03:53PM
(#25782321)
I would trust any type system that doesn't require me to prove that my sorting algorithm maintains the length of the vector it sorts.
Pff. Everyone knows Haskell, Idris and Elixir are acceptable, too.