#haskell - Mon 19 Feb 2007 between 14:16 and 15:05

NY Lost Funds



ndm@tell dons http://www.cse.unsw.edu.au/~dons/images/commits/community/ - does that refer to Yhc at www.cs.york.ac.uk? It should be the darcs.haskell.org/yhc one
lambdabotConsider it noted.
kc5tjaclear
oops
vincenzAnyone know any literature on how to ensure that your denotaitonal semantics keeps a static environment, even in the presence of explicitly allocated and deallocated stack variables?
dcoutts_@seen sweirt
lambdabotI haven't seen sweirt.
dcoutts_@seen swiert
lambdabotI saw swiert leaving #haskell 1h 50m 38s ago, and .
dcoutts_@tell swiert got the book!
lambdabotConsider it noted.
glguy!paste
hpasteHaskell paste bin: http://hpaste.org/
fonshi all
how can instantiations be restricted when importing/exporting them from/to modules?
norpanfons: i think they cannot
sjanssenthat is correct
fons:(
so they are all implicitly exported?
sjanssenfons: perhaps you want to use a newtype?
fonssjanssen, not really
sjanssenyes, implicitly (and transitively) exported
fonsbut thanks, I'll cope with it :)
norpanif they are you're own you can put them in a separate module
youre
your
i'm sorry for the error
i normally don't make that kind of error but i have jetlag
sjansseninstances should encapsulate fundamental operations on a type
for example, if you instance Eq for a type, then it should be the One True Way to compare two values of that type
norpanmaybe that is true for trivial types
glguysome instances are more complicated, like HAppS Matcher class, where (String [String]) (String String) (String ()) (() ())
norpantrivial classes
sjanssenI'd say that if there isn't One True Way to write an instance for a certain class and type, you should probably use newtypes
the newtype wrappers in Data.Monoid are a good example
fonseven with that, it would be expressive to show what instantiations are imported
sjanssenperhaps
fonsit would be clarifying for someone browsing the code
import InstantiationModule (Foo (show))
dcoutts@tell malcolmw I'm happy to do SoC again

Page: 5 12 19 26 33 40 47 54 61 68 75 82 89 

IrcArchive

NY Lost Funds