hbc-SPECIALIZE

1994-02-27 Thread marc
Using the SPECIALIZE-annotation is not as efficient (time and space) as specializing the function by hand (chucking away the overloaded version). Why? (Assume the specialized version to be the only one needed) Marc Rehmsmeier.

don't know

1993-12-02 Thread marc
syntax-tree-representation. I just want to read and then work with it. Any questions about my question? Marc.

strange behaviour

1992-12-02 Thread marc
3) user | high | low 4) mx | low| high depends on n | no | yes 5) id | low| high My questions: 1. Why do the two functions (with and without type signature) show opposite behaviour? 2. Why do alloc and mx/id show opposite behavi

PS strange behaviour

1992-12-02 Thread marc
I used Chalmers' hbc. Marc Rehmsmeier.

PS 2 strange behaviour

1992-12-02 Thread marc
With rusage you can get information about the resource usage for a command, e.g. rusage a.out. The resident set size is the size of physical memory used by the process at a certain time. mx is the maximum resident set size. Size is given in pages (4096 Bytes in this case) id is an "integral" va

Full Lazyness??

1993-03-11 Thread marc
out -H2000 -S -a) needs 1.68 seconds and 8121656 bytes (0 GCs). That's not what I want to call fully lazy. Am I doing something wrong? PS: Defining s without a parameter x doesn't cause any trouble. Marc Rehmsmeier.

article wanted

1993-03-11 Thread marc
I'm searching for an article titled like "The next 10 problems in functional programming" (I don't know the title exactly), describing problems which are hard (or not at all) to solve in a FPL. Can anybody help me? Marc Rehmsmeier.

hbc: Int/Integer

1993-03-30 Thread marc
Evaluating sum [1..10] (compiled with hbc) results in a wrong value. Haskell seems to assume Int to be the correct type. But Integer is needed. Why doesn't any error-message (like "overflow") occur during evaluation? Marc Rehmsmeier.

Re: n+k patterns

1993-05-19 Thread marc
oesn't mean a somewhere else defined (or locally rebound) function. If we keep this in mind there shouldn't be any problem. (Tell me if I'm wrong.) Greetings, Marc Rehmsmeier.

What is lazyness?

1993-06-09 Thread marc
sense concerning the meaning of lazyness? Marc Rehmsmeier (Please excuse my bad English...)

Forcing evaluation

1993-11-04 Thread marc
Is it possible to force evaluation of an expression resulting in a list to normal form? (Using {-#STRICT#-} seems not to be the right way.) Marc.

TapSoft'97 : 2nd Call For Paper

1997-02-13 Thread Marc . Tommasi
Please find enclosed the call for participation for TAPSOFT '97. This call and other information on TAPSOFT '97 is also accessible by WWW at http://www.lifl.fr/tapsoft97. Sincerely apologize if you receive more than one copy of this message. Marc Tommasi Lab. d'Informatique

TAPSOFT'97 Call For Paper

1996-06-13 Thread Marc . Tommasi
ents about Computer Science conferences, I would be grateful if you could add a link to TAPSOFT'97 HomePage : http://www.lifl.fr/tapsoft97. Thanks. ---- Marc Tommasi Laboratoire d'Informatique Fondamentale de Lille Batiment M3 -- Cite Scienti

bad pattern-matching

1992-11-10 Thread Marc Rehmsmeier
Consider the following Haskell-definition: nfib 0 = 1 nfib 1 = 1 nfib (n + 2) = nfib n + nfib (n + 1) + 1 main = print (nfib 30) Execution of the (via hbc) compiled file results in 2692537 in 255 seconds. Changing the above definition like this: nfib 0 = 1 nfib 1 =

PhD positions in Informatics, Bergen University, Norway

2001-11-23 Thread Marc Bezem
atics, see http://www.ii.uib.no/ - Marc Bezem, see http://www.ii.uib.no/~bezem ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell

Re: help

2002-12-10 Thread Marc Ziegert
what do you want to execute if you do not have a main function?   i.e. this LHS-file:   --rzsjztj ästrhü   > module Snoop where   rjstöh gitsh   > schnuck :: IO ()> schnuck = putStr "schnuck"   sdfthsrthk   > gumble :: IO

Re: help

2002-12-10 Thread Marc Ziegert
hey Suja@haskell.org, your mail address is faked.

Re: Field labels must be globally unique?

2003-01-08 Thread Marc Ziegert
It would be nice to be able to overload class-functions like classes: instance (+), (-) -> Vector where (+) v1 v2 = ... (-) v1 v2 = ... instead of overloading parts of a class... (because of runtime-errors!) instance Num Vector where (+) v1 v

Re: Field labels must be globally unique?

2003-01-08 Thread Marc Ziegert
--Just changed the syntax: ... or BETTER just to split classes: type class HalfBody a = (Num a => (+), (-)) instance HalfBody Vector where (+) v1 v2 = ... (-) v1 v2 = ... ... - Original Message - From: "Marc Ziegert" <[EMAIL PROTECT

Re: Haskell help!

2003-03-25 Thread Marc Ziegert
looks like a genetic algorithm, i've programmed years ago. :) i need the sourcecode to solve the problem. it seems that you "zip" the two strings together: unzip $ zip "abcde" "123" -> unzip [('a','1'),('b','2'),(

Fwd: Re: Haskell help!

2003-03-26 Thread Marc Ziegert
-- Weitergeleitete Nachricht -- Subject: Re: Haskell help! Date: Wed, 26 Mar 2003 23:57:42 +0100 From: Marc Ziegert <[EMAIL PROTECTED]> To: "Weix, Rachel Lynn" <[EMAIL PROTECTED]> i'm just programming the solution. imagine a matrix / a rectangle

Re: Haskell help!

2003-03-26 Thread Marc Ziegert
done. - marc Am Mittwoch, 26. März 2003 23:32 schrieb Weix, Rachel Lynn: > P.S. The example given is for the set of sequences/strings (The,Masters) > > -Original Message- > From: Weix, Rachel Lynn > Sent: Wed 3/26/2003 4:30 PM > To: [EMAIL PRO

strange implementation - Re: Bits Problem

2003-04-06 Thread Marc Ziegert
I'm confused. Does it mean that objects basing on bits have to be of Num because of an default implementation that they don't use? A List of Bits should be instance of Bits, too. Instead of default imlementations that use Num functions, there could be an instance of all Integrals. (Integer is in

Re: Stupid wuestion about Monads :)

2003-06-11 Thread Marc Ziegert
google: "What the hell are Monads" http://www.abercrombiegroup.co.uk/~noel/research/monads.html IO in haskell is really easy, iff you understand the sense of monads. to understand sth. like "IO Bool" you have to remember that i.e. an array is no defined data type without the definition of its e

[Haskell] Could not deduce .. why ?

2008-10-12 Thread Marc Weber
Surely I've overseen a small point. But I can't see it: Why doesn't ghc recognize taht elc_ (class decl), elc (instance decl) and elc_1 are the same type To help you find the connecting pieces faster I've marked them with ## ## Marc data PT a b = PT b -- phantom type contai

[Haskell] Need help with VXML again (fun deps and forall types)

2008-11-02 Thread Marc Weber
How to write vxmlMapSeqPlus_ so that I can compile the example? vxmlMapSeqPlus_ (\n -> d e ) [1..10] (d e) `vxmlgtgt` (foldr1 vxmlgtgt $ map (const $ d e) [2..10]) If you want to try this with ghc older than 6.10 you'll have to rewrite the vdo notation using vxmlbind

Re: [Haskell] ANNOUNCE: htags-1.0

2008-11-03 Thread Marc Weber
s and #ifdefs htags seems to work fine. Marc ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

Re: [Haskell] F# to ship as part of Visual Studio 2010

2008-12-13 Thread Marc Weber
; minds hehe :-) funny. do you think they'll change their the .net libraries to have functional interfaces as well? That'd be required to get OO out of the minds of users.. But there is still enough time till 2010 for that to happen? Thanks for the note. Marc Weber __

[Haskell] announce - new web-devel mailinglist on haskell.org

2007-03-30 Thread Marc Weber
Hi. There is a new web-devel mailinglist on haskell.org. You can subscribe here: http://www.haskell.org/mailman/listinfo/web-devel Marc ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague

2021-01-24 Thread Emilia Marc
Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers accepted in ADSI 2021 w

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague

2021-01-25 Thread Emilia Marc
Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ Submission deadline: April 1, 2021 All p

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague

2021-01-25 Thread Emilia Marc
Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ Submission deadline: April 1, 2021 All papers accepted in IRSH

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague

2021-01-26 Thread Emilia Marc
Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers accepted in ADSI 2021 w

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague

2021-02-05 Thread Emilia Marc
Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ Submission deadline: April 1, 2021 All p

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague

2021-02-10 Thread Emilia Marc
Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ Submission deadline: April 1, 2021 All papers accepted in IRSH

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague

2021-02-15 Thread Emilia Marc
Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers accepted in ADSI 2021 w

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague

2021-02-21 Thread Emilia Marc
Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ Submission deadline: April 1, 2021 All p

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague

2021-02-25 Thread Emilia Marc
Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ Submission deadline: April 1, 2021 All papers accepted in IRSH

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague

2021-03-02 Thread Emilia Marc
Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers accepted in ADSI 2021 w

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague

2021-03-16 Thread Emilia Marc
Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ Submission deadline: April 1, 2021 All p

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague

2021-03-21 Thread Emilia Marc
Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ Submission deadline: April 1, 2021 All papers accepted in IRSH

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague

2021-03-27 Thread Emilia Marc
Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ Submission deadline: April 1, 2021 All papers accepted in ADSI 2021 w

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague

2021-04-02 Thread Emilia Marc
Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ All papers accepted in RTATM 2021 will be

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague

2021-04-05 Thread Emilia Marc
Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer C

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague

2021-04-07 Thread Emilia Marc
Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ All papers accepted in ADSI 2021 will be published in Springer CCIS (C

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague

2021-04-13 Thread Emilia Marc
Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ All papers accepted in RTATM 2021 will be

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague

2021-04-19 Thread Emilia Marc
Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer C

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague

2021-04-22 Thread Emilia Marc
Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ All papers accepted in ADSI 2021 will be published in Springer CCIS (C

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague

2021-04-27 Thread Emilia Marc
Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ All papers accepted in RTATM 2021 will be

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague

2021-05-04 Thread Emilia Marc
Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer C

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -prague

2021-05-16 Thread Emilia Marc
Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer C

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -New extended deadline 13 june 2021

2021-05-20 Thread Emilia Marc
Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ All papers accepted in ADSI 2021 will be published in Springer CCIS (C

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Extended Deadline 13 june 2021

2021-05-24 Thread Emilia Marc
Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ All papers accepted in RTATM 2021 will be

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) - Extended Deadline 13 june 2021

2021-05-29 Thread Emilia Marc
Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer C

[Haskell] International Conference on Applied Data Science and Intelligence - (ADSI 2021) -Prague

2021-06-07 Thread Emilia Marc
Call for papers * International Conference on Applied Data Science and Intelligence - (ADSI 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/adsi/ All papers accepted in ADSI 2021 will be published in Springer CCIS (C

[Haskell] International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) -Prague

2021-06-13 Thread Emilia Marc
Call for papers * International Conference on Recent Theories and Applications in Transportation and Mobility - (RTATM 2021) Prague - Czech Republic, October 14-15, 2021 https://confscience.com/rtatm/ All papers accepted in RTATM 2021 will be

[Haskell] International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) -Prague

2021-06-28 Thread Emilia Marc
Call for papers * International Conference on Informatics Revolution for Smarter Healthcare (IRSH 2021) Prague- Czech Republic, October 14-15, 2021 https://confscience.com/irsh/ All papers accepted in IRSH 2021 will be published in Springer C

How much MB do I need

1996-02-26 Thread Marc van Dongen
To compile a large Haskell program. I am compiling at the moment without optimization and 55 MB of heap. Still ghc complains that the heap is too small. Any suggestions? Marc van Dongen [EMAIL PROTECTED]

happy related question

1996-02-24 Thread Marc van Dongen
Dear all, Could someone explain me why the following does not work? Any help is *greatly* appreciated. If I can't find out what causes this problem, I'll have to program in c and use yacc & lex for the next 2.5 years :-( Sincerely, Marc van Dongen [E

Re: More on randoms

2000-02-04 Thread Marc van Dongen
l... : And vectors (with decently uncorrelated elements). Etc. Yes please. But do change the word vector into [Integer]. [...] Regards, Marc van Dongen

Re: Enum instance for Ratio

2000-03-09 Thread Marc van Dongen
to consistently define [..] : you need to make arbitrary choices. If you're going to arbitrarily choose an : enumeration it doesn't seem unreasonable to me to arbitrarily choose an ordering : as well. I have to think about that. Regards, Marc

Re: Enum instance for Ratio

2000-03-09 Thread Marc van Dongen
George Russell ([EMAIL PROTECTED]) wrote: : Marc van Dongen wrote: : > I think it has to respect the implicit order which : > is defined by toEnum and fromEnum. But I may be wrong. : Well that's the current definition. But if you have toEnum and fromEnum : that's much stron

Re: Q: Library for (efficient:-) join and projection

2000-03-13 Thread Marc van Dongen
Hi Tom, : Hi Marc. : : The Haskell type system can't express a polymorphic natural join. I can understand that. : Even the Trex extension to Hugs doesn't quite manage it. That's why : I'm keen on a further extension: symmetric record catenation. :-) What I need (and

Q: Library for (efficient:-) join and projection

2000-03-12 Thread Marc van Dongen
iated. Regards, Marc van Dongen -- Marc van Dongen, CS Dept | phone: +353 21 4903578 University College Cork, NUIC | Fax:+353 21 4903113 College Road, Cork, Ireland | Email: [EMAIL PROTECTED]

Ratio: (-1:%1) < (-1:%1)?

2000-03-24 Thread Marc van Dongen
:%-1) <= (-1:%1) and (-1:%1) <= (1:%-1). Using (2) it now follows that (-1:%1) < (-1:%1) which according to (1) should not be true. According to the language definition (1:%-1) != (-1:%1). Personally I think that built-in data types should obey (1), (2) and (3). Maybe I am missing something.

Re: Ratio: (-1:%1) < (-1:%1)?

2000-03-24 Thread Marc van Dongen
ation. [...] Regards, Marc -- Marc van Dongen, CS Dept | phone: +353 21 4903578 University College Cork, NUIC | Fax:+353 21 4903113 College Road, Cork, Ireland | Email: [EMAIL PROTECTED]

Re: Ratio: (-1:%1) < (-1:%1)?

2000-03-24 Thread Marc van Dongen
mentation or a (new) bug : in the repotr. It's always been hidden before; exposing it would : be a grave error. Hmm. I must have missed something. My hugs (1.4) allows it. I was assuming that Haskell did allow it. As it turns out my latest ghc doesn't. That's cool. Thanks. Sorry for the confusion. Regards, Marc

Re: Ratio: (-1:%1) < (-1:%1)?

2000-03-24 Thread Marc van Dongen
nd typed in (1:?2). I was just trying to find out why a module with :%'s in it was not accepted by hugs. Thanks for the explanation. Regards, Marc

Re: Ratio: (-1:%1) < (-1:%1)?

2000-03-24 Thread Marc van Dongen
eduction, as does every other operation that creates a Ratio. It is not possible. As I replied before but you may not have received it yet, I was wrong in assuming that one could use :%. Again, sorry about the confusion. Regards, Marc van Dongen

Re: ServiceShow class for messages

2000-03-31 Thread Marc van Dongen
thing. Regards, Marc

Re: Type signatures in instance declarations?

2000-04-10 Thread Marc van Dongen
type. : I agree. I posted a similar comment one or two years ago. Regards, Marc van Dongen -- Marc van Dongen, CS Dept | phone: +353 21 903578 University College Cork, NUIC | Fax: +353 21 903113 College Road, Cork, Ireland | Email: [EMAIL PROTECTED]

Re: Type signatures in instance declarations?

2000-04-10 Thread Marc van Dongen
: comments). I would love to see type signatures in export lists. It may also allow you to export a function implemented with a universal type signature for a certain specific type. > module Foo( same :: Int -> Int -> Bool ) where > same :: a -> a -> Bool > same = (==) Regards, Marc

Re: libraries for Integer

2000-04-19 Thread Marc van Dongen
luded in NTL :http://www.shoup.net/ntl/ Do you have any data about comparisons with this or other packages? Regards, Marc van Dongen -- Marc van Dongen, CS Dept | phone: +353 21 903578 University College Cork, NUIC | Fax: +353 21 903113 College Road, Cork, Ireland | Email: [

Re: libraries for Integer

2000-04-19 Thread Marc van Dongen
h difficult the interface is to use. (GMP is faster if Thanks anyway. [...] Regards, Marc

Re: doubly linked list

2000-04-28 Thread Marc van Dongen
it the same way again; this was years ago. Regards, Marc van Dongen > initQueue :: Ix i => (LinkedList s i v) -> [(i,v)] -> ST s (Maybe i,Maybe i) > initQueue _ [] > = return (Nothing,Nothing) > initQueue marks ((i,v):ivs) > = writeArray marks i (Nothing,Not

Re: basAlgPropos. Why sample argument

2000-05-07 Thread Marc van Dongen
application zero p created a zero polynomial with certain ``built-in'' properties like a term-order it inherited from p. Regards, Marc van Dongen -- Marc van Dongen, CS Dept | phone: +353 21 4903578 University College Cork, NUIC | Fax:+353 21 4903113 College Road, Cork, Ir

Re: sample argument. Dongen's example

2000-05-08 Thread Marc van Dongen
the proper term) to the polynomial ring k[X] then you can if you have a polynomial, say p, in k[X] already. Just use: constant p c. Regards, Marc -- Marc van Dongen, CS Dept | phone: +353 21 4903578 University College Cork, NUIC | Fax:+353 21 4903113 College Road, Cork, Ireland | Email: [EMAIL PROTECTED]

[dongen@cs.ucc.ie: Re: sample argument. Dongen's example]

2000-05-08 Thread Marc van Dongen
Sorry about this. I thought I group replied when replied Sergey's e-mail. -- Marc van Dongen, CS Dept | phone: +353 21 4903578 University College Cork, NUIC | Fax:+353 21 4903113 College Road, Cork, Ireland | Email: [EMAIL PROTECTED] - Forwarded message from Marc van D

Re: sample argument. Dongen's example

2000-05-08 Thread Marc van Dongen
after the given sample. For example cast (x^2+y (in Z[x,y)) 2 : maps 2 to polynomial in x,y : - if the instance Cast (Pol ..) Integer : is defined. I knew you must have had something to obtain a similar functionality this as well. It is needed. Regards, Marc

Re: static evaluation of dynamics thing

2000-05-20 Thread Marc van Dongen
as in: quot' a b | assertAndBelieveMe (b /= 0) = quot a b So that a special version of quot could be used which would not check for b == 0. : Life is short. Are these features that would be useful to lots of people? Yes please. Regards, Marc van Dongen

Prelude in LaTeX

2000-07-05 Thread Marc van Dongen
Hello all, Is there anybody who knows where to find the Prelude typeset in Manuel Chakravarty's haskell.sty? Thanks in advance for any replies. Regards, Marc van Dongen -- Marc van Dongen, CS Dept | phone: +353 21 4903578 University College Cork, NUIC | Fax:+353 21 49

Re: Group theory

2000-10-24 Thread Marc van Dongen
ink Sergey Mechveliani's docon (algebraic DOmain CONstructor) has facilities for that. Have a look at: http://www.cs.bell-labs.com/who/wadler/realworld/docon.html Regards, Marc van Dongen ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/m

Re: `Covertible' class. Reply.

2001-02-08 Thread Marc van Dongen
m I've implemented. You really need this. Regards, Marc van Dongen ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell

Re: Help about programming a module in haskell ?

2001-04-18 Thread Marc van Dongen
ress ? : Thanks Mickaël GAUTIER Hi, There is a Prolog module for Haskell but when I tried to locate it I couldn't find it. Perhaps somebody can help. Regards, Marc van Dongen -- Marc van Dongen, CS Dept | phone: +353 21 4903578 University College Cork, NUIC | Fax:+353 21 49

Two Times [was Re: Happy and Macros (was Re: ANNOUNCE: Happy 1.10 released)]

2001-05-11 Thread Marc van Dongen
Manuel M. T. Chakravarty ([EMAIL PROTECTED]) wrote: [received message twice] Am I just the only one or does everybody receive messages posted to [EMAIL PROTECTED] and [EMAIL PROTECTED] twice? I find it a bit (I know I am exaggerating) annoying. Is there a way to avoid this? Regards, Marc

Re: computer language shootout

2001-07-27 Thread Marc van Dongen
Miles Egan ([EMAIL PROTECTED]) wrote: [shootout] Before it starts to explode, can we move this thread to the Haskell Cafe? Regards, Marc -- Marc van Dongen, CS Dept | phone: +353 21 4903578 University College Cork, NUIC | Fax:+353 21 4903113 Western Road, Cork, Ireland | Email

Re: code for exercise 4.10

2001-10-11 Thread Marc van Dongen
rock dwan ([EMAIL PROTECTED]) wrote: : Iam having some difficulties doing exercise 4.10 from craft of fucntional : programming book ..is their a possible solution for this ? Can we please move this thread to the haskell cafe? Thanks in advance, Marc van Dongen

Re: gcd 0 0 = 0

2001-12-14 Thread Marc van Dongen
perfect sense to say that $0$ divides $0$ which is why gcd 0 0 = 0; and gcd 0 0 /= error "Blah" The gcd of two integers is usually defined as a non-negative number to make it unique. HTH. PS: I am strongly in favour of gcd 0 0 = 0. Regards, Marc

Re: gcd 0 0 = 0

2001-12-16 Thread Marc van Dongen
Marc van Dongen ([EMAIL PROTECTED]) wrote: : An integer $a$ divides integer $b$ if there exists an integer : $c$ such that $a c= b$. [snip] : gcd 0 0 = 0; and : gcd 0 0 /= error "Blah" To make clear why $0$ (and not any other non-zero integer) is the gcd of $0$ and $0$ I s

Re: gcd 0 0 = 0

2001-12-18 Thread Marc van Dongen
b (so gcd a b is the greatest thing that divides both a and b). Regards, Marc van Dongen -- Marc van Dongen | [EMAIL PROTECTED] | Computer Science Department | Western Road | () ASCII ribbon campaign University College Cork |Cork, Ireland | /\ against HTML mail phone:

Re: gcd 0 0 = 0

2001-12-18 Thread Marc van Dongen
both a and b then g' also divides g, Here an integer a divides an integer b if there is an integer c such that b = c*a. Note that if you regard an integer a to be greater than another integer b if b divides a then the gcd of two intgerers may also be regarded as the greatest common divisor

Re: gcd 0 0 = 0

2001-12-18 Thread Marc van Dongen
l. On the other hand I *have* met quite a few of them who have a pretty good idea about what it means for one number to divide another. [snip] Regards, Marc van Dongen -- Marc van Dongen | [EMAIL PROTECTED] | Computer Science Department | Western Road | () ASCII ribbon campaig

Re: How can I implement this arrow? Thanks

2003-09-15 Thread Marc A. Ziegert
row a (a,a)) >>> (first (someArrow :: MyArrow a b) :: MyArrow (a,a) (b,a)) >>> (pure (\(_, x) -> x) :: MyArrow (b,a) a) pure and first seem to be correct. but ... just as an (slow) alternative: -- first :: a x fx -> a (x, y) (fx, y) first (MyArrow f) = MyArrow $ (\((fs,fx)

Re: "interact" behaves oddly if used interactively

2003-10-01 Thread Marc A. Ziegert
> "main=interact id" basically echoes every line of my input, whereas > "main=interact show" correctly waits for EOF before outputting something. > What should a student think about "interact" in the Prelude? (It's ok > for pipes only, I guess.) main = interact show behaves similar to main = in

Re: Haskell naming conventions

2003-12-23 Thread Marc A. Ziegert
; a -> returntype template inline returntype functionname( const a& param ) { static_cast*>(¶m); // ignore result of casting, but test wether... param is instance / a (TYPE of param) is instance ...of Eq class. ... } merry xmas, - marc Am Mittwoch, 24. Dezember

Re: Perspectives on learning and using Haskell

2003-12-23 Thread Marc A. Ziegert
mming" seems to have the opposite effect. merry xmas - marc Am Dienstag, 23. Dezember 2003 18:26 schrieb Graham Klyne: > I've spent part of the past few months learning Haskell and developing a > moderately sized application. I came to this from a long background (20 > years or

Re: [Haskell] Current XML libraries status

2008-10-24 Thread Marc A. Ziegert
st he wrote this patch... <http://article.gmane.org/gmane.comp.lang.haskell.cafe/45033> - marc - sometimes i think, i should write a paper about it. but then... naah, i'm like haskell: non-strict. Am Donnerstag, 23. Oktober 2008 schrieb Krasimir Angelov: > Hi, > > Does

Re: [Haskell] Re: Marketing Haskell

2009-04-02 Thread Marc A. Ziegert
intelligence) <http://www.youtube.com/watch?v=T8cf7tPoN5o> - marc Am Donnerstag, 2. April 2009 schrieb Bulat Ziganshin: > Hello Benjamin, > > Thursday, April 2, 2009, 2:54:38 PM, you wrote: > > > Likewise. Why don't we ask the real Simon to choose an addit

Re: [Haskell] Haskell Weekly News: Issue 155 - October 20, 2010 (Originally posted to Haskell-Cafe)

2010-10-23 Thread Marc A. Ziegert
(Not really Haiku form:) Haskell Weekly News, finally back! Nooo, they just hid in the café!? So many to catch up... 3. Oh, I'm so happy! Daniel! Thanks! - Marc Am Thursday 21 October 2010 schrieb Daniel Santa Cruz: > Hello all, > > Malcolm Wallace noticed that I had not

[Haskell] Re: lambda calculus theory

2005-11-07 Thread Marc A. Ziegert
comonad: <http://comments.gmane.org/gmane.comp.lang.haskell.general/12171> beside these links, do not abstain from reading parts of the haskell library. (Data.Maybe, Data.Monoid, Control.Monad, Data.FunctorM, Control.Arrow) <http://www.haskell.org/ghc/docs/latest/html/libraries/> - marc ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

  1   2   >