- Haskell - Haskell.org

EACL2003 Workshop CfP: 9th European Workshop on Natural Language Generation
by steven.krauwer＠elsnet.org 02 Nov '02

02 Nov '02

EACL 2003 in Budapest, April 12-17, 2003 Workshop Programme and Call for Workshop Papers Important dates for all workshops: ---------------------------------- Submission deadline: Jan 07, 2003 Notification: Jan 28, 2003 Deadline for final papers: Feb 13, 2003 Workshop dates: Apr 13/14, 2003 Conference dates: Apr 12-17, 2003 Important URLs: --------------- Main conference: http://www.conferences.hu/EACL03/ Workshops: http://www.elsnet.org/workshops Workshop overview: ------------------ Workshop w01: "MT and other language technology tools; Improving MT through other language technology tools; Resources and tools for building MT" URL: not available Organizer(s): Bente Maegaard Email: bente(a)cst.dk 1st CfP: http://www.elsnet.org/workshops/w01.doc Date: April 13, 2003 ___________________________________________________________________ Workshop w02: "9th European Workshop on Natural Language Generation" URL: http://www.ags.uni-sb.de/~horacek/EACL-EWNLG03.html Organizer(s): Ehud Reiter Email: ereiter(a)csd.abdn.ac.uk 1st CfP: http://www.elsnet.org/workshops/w02.txt Date: April 13+14, 2003 ___________________________________________________________________ Workshop w03: "4th International Workshop on Linguistically Interpreted Corpora (LINC-03)" URL: http://www.coli.uni-sb.de/linc03 Organizer(s): Silvia Hansen Email: hansen(a)CoLi.Uni-SB.DE 1st CfP: http://www.elsnet.org/workshops/w03.txt Date: April 14, 2003 ___________________________________________________________________ Workshop w04: "Language Modeling for Text Entry Methods" URL: http://www.uni-koblenz.de/~compling/eaclws2003/ Organizer(s): Michael Kuhn Email: kuehn(a)uni-koblenz.de 1st CfP: http://www.elsnet.org/workshops/w04.txt Date: April 13, 2003 ___________________________________________________________________ Workshop w05: "The Computational Treatment of Anaphora" URL: http://www.clt.mq.edu.au/eacl03ana.html Organizer(s): Rob Dale Email: rdale(a)ics.mq.edu.au 1st CfP: http://www.elsnet.org/workshops/w05.txt Date: April 14, 2003 ___________________________________________________________________ Workshop w06: "Dialogue Systems: interaction, adaptation and styles of management" URL: http://www.dcs.shef.ac.uk/~roberta/eacl-w06.html Organizer(s): Kristiina Jokinen and Roberta Catizone Email: kjokinen@uiah.fi,R.Catizone@dcs.shef.ac.uk 1st CfP: http://www.elsnet.org/workshops/w06.txt Date: April 13+14, 2003 ___________________________________________________________________ Workshop w07: "Evaluation Initiatives in Natural Language Processing: are evaluation methods, metrics and resources reusable?" URL: http://www.dcs.shef.ac.uk/~katerina/EACL03-eval Organizer(s): Katerina Pastra Email: e.pastra(a)dcs.shef.ac.uk 1st CfP: http://www.elsnet.org/workshops/w07.txt Date: April 13, 2003 ___________________________________________________________________ Workshop w08: "Computational Linguistics for South Asian Languages -- Expanding Synergies with Europe" URL: not available Organizer(s): Durgesh Rao and Pat Hall Email: durgesh@saathi.ncst.ernet.in,p.a.v.hall@open.ac.uk 1st CfP: http://www.elsnet.org/workshops/w08.txt Date: April 14, 2003 ___________________________________________________________________ Workshop w09: "Workshop on Finite State Methods in Natural Language Processing" URL: http://www-igm.univ-mlv.fr/~laporte/fsw-cfp.htm Organizer(s): Eric Laporte and Ken Beesley Email: eric.laporte@univ-mlv.fr,Ken.Beesley@xrce.xerox.com 1st CfP: http://www.elsnet.org/workshops/w09.txt Date: April 13+14, 2003 ___________________________________________________________________ Workshop w10: "Language Technology and the Semantic Web: 3rd Workshop on NLP and XML (NLPXML-2003)" URL: http://www.cs.vassar.edu/~ide/events/NLPXML3.html Organizer(s): Nancy Ide and Graham Wilcock Email: ide@cs.vassar.edu,graham.wilcock@helsinki.fi 1st CfP: http://www.elsnet.org/workshops/w10.txt Date: April 14, 2003 ___________________________________________________________________ Workshop w11: "Natural Language Processing (NLP) for Question-Answering" URL: not available Organizer(s): Bonnie Webber and Maarten de Rijke Email: bonnie@inf.ed.ac.uk,mdr@science.uva.nl 1st CfP: http://www.elsnet.org/workshops/w11.txt Date: April 13, 2003 ___________________________________________________________________ Workshop w12: "Morphological Processing of Slavic Languages" URL: http://nl.ijs.si/mpsl03/ Organizer(s): Tomaz Erjavec and Dusko Vitas Email: Tomaz.Erjavec@ijs.si,vitas@matf.bg.ac.yu 1st CfP: http://www.elsnet.org/workshops/w12.txt Date: April 13, 2003 ___________________________________________________________________ Contact info: - for the workshops in general: steven.krauwer(a)elsnet.org - for individual workshops: workshop organizers - for the main conference: kindl(a)sztaki.hu _______________________________________________________________

1 0

EACL2003: Call for Workshop Papers
by steven.krauwer＠elsnet.org 01 Nov '02

01 Nov '02

Workshop Programme and Call for Workshop Papers Important dates for all workshops: ---------------------------------- Submission deadline: Jan 07, 2003 Notification: Jan 28, 2003 Deadline for final papers: Feb 13, 2003 Workshop dates: Apr 13/14, 2003 Conference dates: Apr 12-17, 2003 Important URLs: --------------- Main conference: http://www.conferences.hu/EACL03/ Workshops: http://www.elsnet.org/workshops Workshop overview: ------------------ Workshop w01: "MT and other language technology tools; Improving MT through other language technology tools; Resources and tools for building MT" URL: not available Organizer(s): Bente Maegaard Email: bente(a)cst.dk 1st CfP: http://www.elsnet.org/workshops/w01.doc Date: April 13, 2003 ___________________________________________________________________ Workshop w02: "9th European Workshop on Natural Language Generation" URL: http://www.ags.uni-sb.de/~horacek/EACL-EWNLG03.html Organizer(s): Ehud Reiter Email: ereiter(a)csd.abdn.ac.uk 1st CfP: http://www.elsnet.org/workshops/w02.txt Date: April 13+14, 2003 ___________________________________________________________________ Workshop w03: "4th International Workshop on Linguistically Interpreted Corpora (LINC-03)" URL: http://www.coli.uni-sb.de/linc03 Organizer(s): Silvia Hansen Email: hansen(a)CoLi.Uni-SB.DE 1st CfP: http://www.elsnet.org/workshops/w03.txt Date: April 14, 2003 ___________________________________________________________________ Workshop w04: "Language Modeling for Text Entry Methods" URL: http://www.uni-koblenz.de/~compling/eaclws2003/ Organizer(s): Michael Kuhn Email: kuehn(a)uni-koblenz.de 1st CfP: http://www.elsnet.org/workshops/w04.txt Date: April 13, 2003 ___________________________________________________________________ Workshop w05: "The Computational Treatment of Anaphora" URL: not available Organizer(s): Rob Dale Email: rdale(a)ics.mq.edu.au 1st CfP: http://www.elsnet.org/workshops/w05.txt Date: April 14, 2003 ___________________________________________________________________ Workshop w06: "Dialogue Systems: interaction, adaptation and styles of management" URL: http://www.dcs.shef.ac.uk/~roberta/eacl-w06.html Organizer(s): Kristiina Jokinen and Roberta Catizone Email: kjokinen@uiah.fi,R.Catizone@dcs.shef.ac.uk 1st CfP: http://www.elsnet.org/workshops/w06.txt Date: April 13+14, 2003 ___________________________________________________________________ Workshop w07: "Evaluation Initiatives in Natural Language Processing: are evaluation methods, metrics and resources reusable?" URL: http://www.dcs.shef.ac.uk/~katerina/EACL03-eval Organizer(s): Katerina Pastra Email: e.pastra(a)dcs.shef.ac.uk 1st CfP: http://www.elsnet.org/workshops/w07.txt Date: April 13, 2003 ___________________________________________________________________ Workshop w08: "Computational Linguistics for South Asian Languages -- Expanding Synergies with Europe" URL: not available Organizer(s): Durgesh Rao and Pat Hall Email: durgesh@saathi.ncst.ernet.in,p.a.v.hall@open.ac.uk 1st CfP: http://www.elsnet.org/workshops/w08.txt Date: April 14, 2003 ___________________________________________________________________ Workshop w09: "Workshop on Finite State Methods in Natural Language Processing" URL: http://www-igm.univ-mlv.fr/~laporte/fsw-cfp.htm Organizer(s): Eric Laporte and Ken Beesley Email: eric.laporte@univ-mlv.fr,Ken.Beesley@xrce.xerox.com 1st CfP: http://www.elsnet.org/workshops/w09.txt Date: April 13+14, 2003 ___________________________________________________________________ Workshop w10: "Language Technology and the Semantic Web: 3rd Workshop on NLP and XML (NLPXML-2003)" URL: http://www.cs.vassar.edu/~ide/events/NLPXML3.html Organizer(s): Nancy Ide and Graham Wilcock Email: ide@cs.vassar.edu,graham.wilcock@helsinki.fi 1st CfP: http://www.elsnet.org/workshops/w10.txt Date: April 14, 2003 ___________________________________________________________________ Workshop w11: "Natural Language Processing (NLP) for Question-Answering" URL: not available Organizer(s): Bonnie Webber and Maarten de Rijke Email: bonnie@inf.ed.ac.uk,mdr@science.uva.nl 1st CfP: http://www.elsnet.org/workshops/w11.txt Date: April 13, 2003 ___________________________________________________________________ Workshop w12: "Morphological Processing of Slavic Languages" URL: http://nl.ijs.si/mpsl03/ Organizer(s): Tomaz Erjavec and Dusko Vitas Email: Tomaz.Erjavec@ijs.si,vitas@matf.bg.ac.yu 1st CfP: http://www.elsnet.org/workshops/w12.txt Date: April 13, 2003 ___________________________________________________________________ Contact info: - for the workshops in general: steven.krauwer(a)elsnet.org - for individual workshops: workshop organizers - for the main conference: kindl(a)sztaki.hu _______________________________________________________________

1 0

HC&A Report (November edition) - LAST CALL
by C.Reinke 31 Oct '02

31 Oct '02

Dear Haskellers, over the last weeks, more and more of you have (been;-) volunteered to provide short summaries of recent and planned activities in your area of work with or on Haskell (for details, and for the current status, see http://www.haskell.org/communities/ , and the list of topics there: http://www.haskell.org/communities/topics.html ). Those summaries, as far as they haven't reached me already (special thanks to those early contributors!-), are due in this week (of which there isn't much left..), and after putting everything together, the third edition of the collective report should get out to this list early next month. The web page shows which areas are covered, and which summaries have reached me. --------------------------------------------------------------- ** This is the FINAL CALL for CONTRIBUTIONS to this edition. ** --------------------------------------------------------------- So, please, have a last look at the web page, and check for: missing topics? If your favourite Haskell topic isn't covered yet, get in touch with me as soon as possible (preferably by sending in a summary, but at least by naming possible contacts). This also applies if your topic is listed, but no contact has come forward yet! If you've released your latest and greatest Haskell software during the last six months, and want it to be represented, NOW is the last opportunity to send in a paragraph or two. This might also apply if you're in the final stages of releasing your software, and are certain to get it out over the next weeks. missing research groups? We've presently only got contacts for 4 of the groups.. project-pings? See recent discussion here about "Active Haskell development and libraries" - if you're maintaining some Haskell software, even if there haven't been any non-maintenance changes, please let me know! Otherwise, Haskellers might assume that your software is gathering dust and is no longer actively supported. micro-reports? late-breaking news?-) If you don't have any big project/group/area to report on, you might still want to let the Haskell community know that you're there and what you are working on. Just drop me a line or two on your work, and a link to your home page. new tips, tricks, tutorials, textbooks, journal issues? Published a Haskell textbook recently?-) Or perhaps you're working on a new web-based tutorial on how to get more out of Haskell software X? Any new guided tours of Haskell, or of aspects of developing Haskell software? If you have, or know about such a valuable resource, please send me a link and a brief description. Ultimately, all these things should be linked from the Haskell bookshelf: http://haskell.cs.yale.edu/bookshelf/ or, if it's a research publication, from Jim Bender's Online Bibliography of Haskell Research: http://haskell.readscheme.org/ Haskell jobs and services? Are you offering Haskell consultancy or training? Or are you looking for such? Are you working in an area where there aren't enough Haskellers with the domain-knowledge you need? A small entry in the HC&A report is a good way to let people know! missing reports? If you've promised a report, remember to send it to me, now!-) missing emails? If I've asked for your help, could you please let me know whether or not you'll be able to provide a report?-( Cheers, Claus -- Haskell Communities and Activities Report (November 2002 edition) All contributions are due in by the end of October! http://www.haskell.org/communities/

1 0

RE: precedence bug with derived instances
by Simon Peyton-Jones 30 Oct '02

30 Oct '02

Some last-ditch H98 stuff. I have the proofs now and have to send them back this week. Changes will become impossible (or at least much harder) after that. Ah well, I'm sure more errors will come to light. Simon | > | (3) Section D.4 gives the expected rule: | > | | > | head (readsPrec d (showsPrec d x "")) == (x,"") | > | | > | Why should this not be: | > | | > | readsPrec d (showsPrec d x "") == [(x,"")] | > | > I can't think why not, unless there is a shorter valid parse, which I | > suppose is conceivable. I'd rather not change this. | | In fact, neither rule above is true for the example given in section D.5. | To see this, run the following program: | | infix 5 :^: | data Tree a = Leaf a | Tree a :^: Tree a deriving (Eq, Ord, Read, Show) | main = mapM_ trial [0..10] | where trial d = print (readsPrec d (showsPrec d x "") :: [(Tree Int, | String)]) | x = Leaf 1 :^: Leaf 2 Uh huh. For readsPrec 0 "Leaf 1 :^: Leaf 2" we get [(Leaf 1, " :^ Leaf 2"), (Leaf1 :^: Leaf 2, "")] That is, there are two parses, and the shortest parse comes first. Same is true for Hugs. Not unreasonable, actually, and nothing in the specification seems to preclude this. I can only make minimal changes now. I suspect the smallest change is to require that (x,"") `elem` readsPrec d (showsPrec d x "") This weakens the existing equation by not requiring (x,"") to be the first parse returned. Dean writes: | Perhaps we want: | | readsPrec should be able to parse the string produced by showsPrec, and | should deliver the value that showsPrec started with. That is, the list | result of | | readsPrec d (showsPrec d x "") | | should contain exactly one pair whose second element is "", and the first | element of that pair should be equivalent to x. I don't understand this. What does "equivalent" mean? And how does this differ from the (incorrect) claim that readsPrec d (showsPrec d x "") == [(x,"")] Simon

3 5

"Free Setup" Now Available
by E-Computer Support 30 Oct '02

30 Oct '02

E-Computer Support: Hosting Made Easy ----------------------------------------------------------------------------------------------- This is a E-Computer Support special membership mailing! Please see the bottom of this mailing for subscription information. ------------------------------------------------------------------------------------------------- E-Computer Support can make it easy to switch hosts for less. Choose secure and reliable shared solutions priced just right for small and medium business. Hurry, offer ends 1/1/03. Check out our current E-Computer Support offerings below. Save $80-$100 when you sign up now for any E-Computer Support shared hosting solution. We'll do the set-up free. a.. Free Domain Transfers b.. All packages include e-mail support* c.. Check out all available packages, here To unsubscribe from these special newsletter mailings reply to this message with "R" in the subject.

1 0

Re: FW: Active Haskell development and libraries
by C.Reinke 29 Oct '02

29 Oct '02

[Mark] > I'm looking forward to reading the next communities and activities > report. me too!-) May I inject, though, that it has to be written before it can be read, and take this opportunity to invite all Haskellers to make sure their work/tool/group/etc. is covered? If it doesn't have a designated contact on our topics page, it probably isn't covered yet. And you don't want to be disappointed when you read the next edition, do you? Perhaps Mark and others may want to contribute brief descriptions of their situation, concerns, and wishes regarding the use of Haskell at their place of work?-) > In particular, I want to reassure myself that there is a lot of > useful actively-maintained stuff we can use, and more coming. Dear tool/library maintainers: Pending further developments, the HC&A report project pings are the best place to let the Haskell community as a whole know that your stuff is still alive and kicking (as opposed to a dust-gathering web link no longer pointing to stuff that once upon a time used to work)! > [libraries and tools page - what's alive, what combinations are > known to work, ..] I've often argued in the past that the page should be augmented by last-known-good information (probably one of the reasons why I was volunteered for the HC&A reports), so I definitely agree. And that centrally maintained link collections grow out of date is a fact of life on the web (people use them, but don't contribute updates). Let's see what we have: - the libraries and tools are out there - the list of libraries and tools is there, but needs dedicated maintenance, in addition to general haskell.org developments - John & Olaf have in the past been quite happy to give access to haskell.org to those willing to contribute there - the HC&A reports are meant to capture recent developments and current status of all things Haskell, thereby augmenting the longer term Haskell Central at haskell.org and what we need: - library and tool authors need to make their good work known (the twice-yearly HC&A reports are a minimum prompt for updates; more frequent updates in other form might be useful) - someone could ask John for access to haskell.org to keep an eye on just the libraries and tools page (adding the info Mark suggests; merging in info from announcements to haskell(a)haskell.org as well as from the twice-yearly HC&A reports; perhaps checking link validity once a month) > to avoid putting people off using Haskell, maybe the active and > currently-working things should be highlighted and easy to find > relative to the other things, right on the libraries and tools > page, given that currently there are a few broken links and > projects that are practically stalled, So there's an important contribution someone could make to the Haskell community as a whole! Making sure that the libraries and tools page on haskell.org remains a welcoming and useful front door representing the state of Haskell software development. Any takers? > and partly I'm wanting to see what other people think about where > Haskell is now relative to things like O'Caml from the point of > view of commercial instead of research users. At least, am I right > in thinking that more industrial Haskell users are wanted, and > that it's not meant to be solely an interesting piece of research? Don't know enough about O'Caml use to compare, but Haskell *is* being used in industry, some Haskell consultancy is available as well. We don't want to force people to use Haskell, but those who want to (and find the tools they need), do. It's just not easy to get those Haskellers to spend a few minutes to explain their use of their secret weapon to the rest of us. ] Yes, I'm probably talking about you, dear reader - why not ] contribute a brief summary about your commercial or industrial ] use of Haskell to the upcoming November edition of the HC&A ] report?-] Just get in touch with me over the next couple of ] days, please. [Manuel] > You surely have a point here. IMHO what is needed is a system > that allows library, tool, etc maintainers to add, edit, and > delete entries themselves. If these entries are annotated with > the date of the last update, it also becomes easier to gauge > whether a project is still alive. An automatic system might even > test for stale links and remove or mark them. Interesting suggestion, and generally I agree that distributed maintenance is a good thing. But experience has shown that one cannot expect a Haskeller to write useful tools _and_ be willing to talk about them at the same time (people don't even update their own web pages unless you ask them to..). If there is such a system, it would be worth trying it, but I'm not too optimistic - Haskellers need to be chased occasionally (demand-driven lazy evaluation:). Also, someone would need to hand out authorisations, unless you want to try a completely open system like a wiki, which I wouldn't recommend for this particular purpose (it's fine for many other purposes, though, before people start flaming!-). If we want additional organisation on the libraries and tools page, we need an additional organiser/maintainer, just focusing on this part. He/she can then try to move some work to the software authors. > An alternative to set up our own system would be to use an > existing one; eg, freshmeat.com. There's a unix/linux bias on that particular one, and I dislike software that only works on linux as much as software that only works on windows. Such limited software rarely stems from evil motivations, but often from a limited world-view of the developers (if they were truly cross-platform, they wouldn't have to single out unix/linux). ..index of Unix and cross-platform software, themes and related "eye-candy", and Palm OS software .. On May 1st 2002 freshmeat.net incorporated the contents of themes.org (originally founded and run by Trae "OctobrX" McCombs) into its database to further advance its services for the Linux community. Also, knowing that you can find everything Haskell on haskell.org is nice (and was a step forward from the situation before that). Doesn't mean that Haskell software shouldn't be publicised on other sites as well.. > The nice side effect of this is that Haskell software, then, also > pops up in general language-independent searches on freshmeat. Indeed. Cheers, Claus -- Haskell Communities and Activities Report (November 2002 edition) All contributions are due in by the end of October! http://www.haskell.org/communities/

1 0

Re: Haskell Online Bibliography
by C.Reinke 29 Oct '02

29 Oct '02

> An Online Bibliography of Haskell Research > http://haskell.readscheme.org/index.html > > I didn't see this announced; sorry if I missed it and this is a duplicate. I was announced. But that doesn't mean it shouldn't be publicised again, or that Haskellers shouldn't be invited to add references to their research publications there by emailing Jim. > Kudos to Jim Bender for a nice site! Indeed. Let's keep it useful by helping him with updates? Let me also point out (for no particular reason:) that it was mentioned in the May 2002 edition of the HC&A report, which apparently not all Haskellers have noticed yet?-) Cheers, Claus -- Haskell Communities and Activities Report (November 2002 edition) All contributions are due in by the end of October! http://www.haskell.org/communities/

1 0

Re: class Function ?
by Ashley Yakeley 29 Oct '02

29 Oct '02

At 2002-10-29 03:42, Jon Fairbairn wrote: >But we could just make $ the primitive instead of >juxtaposition (and infix the primary form). > >Then f a is shorthand for f $ a and it stops there. But then how would you overload $? -- Ashley Yakeley, Seattle WA

2 1

Re: class Function ?
by Ashley Yakeley 29 Oct '02

29 Oct '02

At 2002-10-29 02:43, Josef Svenningsson wrote: >> I'm pretty sure it's not possible... >> >You mean in H98? Sure no! What I meant was to implement overloading of >function application as an extension of H98. See my earlier message. If function application is overloadable, then there must be some operator "funapp" that corresponds to it. But operators themselves need function application, so you end up with: f a reduces to funapp f a reduces to funapp (funapp (funapp f)) a reduces to etc. -- Ashley Yakeley, Seattle WA

3 2

class Function ?
by Lloyd Allison 29 Oct '02

29 Oct '02

Almost certainly this is either . easy and obvious or . unnecessary or . impossible for some a well-known reason. Which is it please? ... I would like to have a ``class Function'' which has the operators ``$'', ``.'', etc. and *most* particularly ``'', so that one can define sub-classes of Function (e.g. functions having inverses, say) that can still be applied in the usual way, i.e. ``f x''. Lloyd PS. [How] can one make ``->'' an instance of some new class? -- Lloyd ALLISON, CSSE, Monash University, Victoria, Australia 3168. web: http://www.csse.monash.edu.au/~lloyd/ tel: +61 3 9905 5205 -- This catches the spirit but falls short at ``f x'' :- module Main where -- ------------------------------------------10/2002--L.A.--CSSE--Monash--.au-- -- Would like there to be a ``class Function'' having -- an apply operator, why not ($), and perhaps others such as (.), -- with ``->'' being an instance of class Function (as it is of Show 6.1.6) -- (come to that, how do you make ``->'' an instance of anything new?), -- and would like to define new instances and subclasses of class Function -- along the lines of... class Function fnType where -- would like Function to be in Prelude and ($) :: (fnType t u) -> t -> u -- rather use Prelude's ($) or is it "" ? apply :: (fnType t u) -> t -> u f $ x = apply f x -- and then would like to write f x apply f x = f Main.$ x data Arrow t u = FN (t->u) -- i.e. ``->'' instance Function Arrow where -- ? in Prelude ? apply (FN f) x = f x class (Function fnType) => Invertible fnType where -- a subclass, i.e. inverse :: fnType t u -> fnType u t -- invertible Functions data IArrow t u = IFN (t->u) (u->t) instance Function IArrow where apply (IFN f i) x = f x instance Invertible IArrow where inverse (IFN f i) = IFN i f successor = IFN (\x -> x+1) (\x -> x-1) -- e.g. an Invertible Function linRec p f x = -- e.g. yer typical linear recursive schema let x0 = x -- slightly contrived (OK, a toy) up x = if p x then dn x else x : (up (apply f x)) dn x = x : if x==x0 then [] else dn (apply (inverse f) x) in up x0 main = print "L.A., CSSE, Monash, 10/2002: Re a hypothetical class Function" >> print( successor `apply` 6 ) -- prefer successor 6 >> print( successor Main.$ 6 ) -- prefer successor $ 6 >> print( (inverse successor) `apply` 6 ) -- prefer (inverse successor) 6 >> print( linRec ((<=) 4) successor 1 ) >> print( linRec (\_->True) successor 1 ) -- ----------------------------------------------------------------------------

6 5