ANN: prelude-safeenum

[wren ng thornton]

On 5/30/13 3:54 AM, Henning Thielemann wrote:
> On Wed, 29 May 2013, wren ng thornton wrote:
>
>> --------------------------------------------
>> -- prelude-safeenum 0.1.0
>> --------------------------------------------
>>
>> The prelude-safeenum package offers a safe alternative to the Prelude's
>> Enum class in order to render it safe. While we're at it, we also
>> generalize the notion of enumeration to support types which can only be
>> enumerated in one direction.
>
> I am concerned that we are using 'safe' for two very different meanings:
> 'safe' in the sense of SafeHaskell and unsafePerformanceIO and 'safe' in
> the sense of the package 'safe' and your safeenum. For my taste, there
> is no need to coin new terms for partiality and totality. Could we just
> call total functions total instead of safe?

I consider partial functions to be unsafe, and I don't think I'm alone 
in that regard.

-- 
Live well,
~wren