On 05-May-2000, S.D.Mechveliani <[EMAIL PROTECTED]> wrote:
> Harmless for hackers, advanced for snobs
>
> I am going to prove (can I ?) that basAlgPropos is so.
> The approach is: do not mention advanced features in the hacker
> program, and the program
Marcin 'Qrczak' Kowalczyk wrote:
> Show instance for functions should not be needed. It is only for lazy
> programmers who want to make a quick dirty instance, for debugging
> perhaps.
And why not? There is no problem with Showing functions with finite domains.
For example, try:
module ShowFun w
Fri, 05 May 2000 16:17:42 +0200, Sven Panne <[EMAIL PROTECTED]>
pisze:
> > data Fn = Fn (Float -> Float) Int
> > deriving Show
>
> Functions are not an instance of Show, so you have to supply
>
>instance Show (a -> b) where
Better supply a Show instance for Fn, not by deriving, bu
Fri, 5 May 2000 16:53:12 +0400 (MSD), S.D.Mechveliani <[EMAIL PROTECTED]> pisze:
> > You should not skip it, unless this is an unfortunate case where
> > particular classes do not fit well into what we are defining and
> > there is not any good definition of fromInteger.
>
> The situation with m
Fri, 5 May 2000 13:36:19 +0400 (MSD), S.D.Mechveliani <[EMAIL PROTECTED]> pisze:
> Let us call for the recent basAlgPropos discussion a hacker
> any Haskell user who do not like to care of mathematics, especially,
> of its most abstract parts.
> And call a snob any user that feels it quite di
Mike Jones wrote:
> [...]
> data Fn = Fn (Float -> Float) Int
> deriving Show
>
> But, I get the error from GHC as follows:
>
> Stimulus.hs:12:
> No instance for `Show (Float -> Float)'
> When deriving classes for `Fn'
> [...]
Functions are not an instance of Show, so you have t
George Russell <[EMAIL PROTECTED]> writes 05 May 2000
> I think the way to proceed with basAlgPropos is to implement it
> outside the language as a library.
> [..]
> GHC
> [..]
> At the moment I feel it would be better to let it evolve.
You mean: non-standard library.
There is no need in decis
Hi,
I want to put a function in an ADT and make the ADT an instance of Show.
Like the following small example:
data Fn = Fn (Float -> Float) Int
deriving Show
But, I get the error from GHC as follows:
Stimulus.hs:12:
No instance for `Show (Float -> Float)'
When deriving classes
People, please, what would you say of the
-fadvancedAlgebra key proposal
contained in the middle of this letter?
This is new, I had not thought much about it and doubt what might be
wrong there. It is very short and, hope, can improve much.
I think the way to proceed with basAlgPropos is to implement it
outside the language as a library. (Since it redefines
the basic arithmetic symbols and so on it will be necessary to
tell the user to import Prelude() or qualified and perhaps provide
an alternative version of the Prelude.) The GH
The recent state of basAlgPropos discussion reveals the
important points enclosed below.
You also will find its copy in the directory
http://www.botik.ru/pub/local/Mechveliani/basAlgPropos/
in separate file, notes1.txt, or such.
--
Sergey Mechvelia
11 matches
Mail list logo
