- Haskell - Haskell.org

gui building in haskell
by Matthew Liberty 12 Jan '01

12 Jan '01

Greetings, I've been looking at http://www.haskell.org/libraries/#guis and trying to figure out which package is "best" for building a gui. Can anyone give a comparison of the strengths/weaknesses of these packages (or any others)? thanks -Matt

1 0

FORMAL GRAMMAR/MATHEMATICS OF LANGUAGE'01
by Ahti Pietarinen 12 Jan '01

12 Jan '01

[apologies if you receive this more than once] FGMOL'01 FGMOL'01 FGMOL'01 FGMOL'01 FGMOL'01 FGMOL'01 FGMOL'01 FGMOL'01 FORMAL GRAMMAR/MATHEMATICS OF LANGUAGE CONFERENCE August 10--12, 2001 Helsinki, Finland FIRST CALL FOR PAPERS We are pleased to announce the joint meeting of two conferences: the sixth conferene on Formal Grammar and the seventh on the Mathematics of Language. The joint meeting will be held just prior to the European Summer School in Logic, Language, and Information. AIMS and SCOPE especially with regard to the application of formal methods to natural language analysis. Themes of interest include, but are not limited to, * formal and computational syntax, semantics, pragmatics, and phonology; * model-theoretic and proof-theoretic methods in linguistics; * constraint-based and resource-sensitive approaches to grammar; * foundational, methodological and architectural issues in grammar. * mathematical properties of linguistic frameworks * theories and models of natural language processing and generation * parsing theory * statistical and quantitative models of language INVITED SPEAKERS will be announced with the circulation of the second call for papers in early February SUBMISSION DETAILS We invite E-MAIL submissions of abstracts for 30-minute papers (including questions, comments, and discussion). A submission should consist of two parts: - an information sheet (in ascii), containing the name of the author(s), affiliation(s), e-mail and postal address(es) and a title; - an abstract, consisting of a description of not more than 5 pages (including figures and references). Abstracts may be either in plain ASCII or in (unix-compatible encoded) postscript, PDF, or DVI. Abstracts can be sent to fgmol(a)cs.indiana.edu ABSTRACT SUBMISSION DEADLINE April 1, 2001 NOTIFICATION OF ACCEPTANCE May 15, 2001 PROCEEDINGS A full version of each accepted paper will be included in the conference proceedings, to be distributed at the conference. Full papers are due June 30, 2001. PROGRAMME COMMITTEE Anne Abeill'e (Paris) Patrick Blackburn (INRIA) Gosse Bouma (Groningen) Mary Dalrymple (Xerox Parc) Nissim Francez (Haifa) Thilo Goetz (IBM) David Johnson (IBM) Mark Johnson (Brown) Aravind Joshi (UPenn) Gerhard J"ager (Utrecht) Ruth Kempson (London) Alain Lecomte (LORIA) Uwe Moennich (T"ubingen) Glyn Morrill (U.P. Catalunya) Michael Moortgat (Utrecht) Owen Rambow (Cogentex) James Rogers (Earlham) Giorgio Satta (Padova) Mark Steedman (Edinburgh) FURTHER INFORMATION Web site for ESSLLI XIII: http://www.helsinki.fi/esslli/ Web site for FGMOL'01 :http://www.cis.upenn.edu/~ircs/mol/mol7.html The organizers: Geert-Jan Kruijff gj(a)cogsci.ed.ac.uk Larry Moss lsm(a)cs.indiana.edu Dick Oehrle oehrle(a)linc.cis.upenn.edu %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%[LaTeX2E Source File]%%%%%%%%%%%%%%%%%%%%%%%%%%%% \documentclass{article} \usepackage{tabularx} \setlength{\textwidth}{7in} \setlength{\oddsidemargin}{-.5in} \setlength{\topmargin}{-36pt} \pagestyle{empty} \begin{document} \begin{center} {\em Please Post}\\[.1cm] {\large{\bf Formal Grammar / Mathematics of Language Conference --- FGMOL'01\\ CALL FOR PAPERS}}\\ {August 10--12, 2001}\qquad Helsinki\\ \end{center} \begin{center} \begin{tabular}{@{}p{.27\textwidth}|p{.70\textwidth}@{}} %\small\ixpt\setlength{\baselineskip}{9pt} \footnotesize \begin{flushleft} {\bf Programme Committee} \end{flushleft} \begin{tabular}{l@{}} Anne Abeill\'{e} (Paris) \\ Patrick Blackburn (INRIA) \\ Gosse Bouma (Groningen) \\ Mary Dalrymple (Xerox Parc) \\ Nissim Francez (Haifa)\\ Thilo Goetz (IBM)\\ David Johnson (IBM) \\ Mark Johnson (Brown)\\ Aravind Joshi (UPenn)\\ Gerhard J\"{a}ger (Utrecht)\\ Ruth Kempson (London)\\ Alain Lecomte (LORIA)\\ Uwe M\"{o}nnich (T\"{u}bingen)\\ Glyn Morrill (U.P. Catalunya) \\ Michael Moortgat (Utrecht) \\ Owen Rambow (Cogentex)\\ James Rogers (Earlham) \\ Giorgio Satta (Padova) \\ Mark Steedman (Edinburgh)\\ [12pt] {\bf Organizing Committee}\\ Geert-Jan Kruijff (Prague)\\ Larry Moss (Indiana)\\ Richard Oehrle (Ashford) \end{tabular} \medskip {\bf Important Dates} \smallskip \begin{tabular}{l@{}} Abstracts Due: March 31, 2001\\ Notification: May 15, 2001\\ Final Versions: June 30, 2001\\ Conference: August 10-12, 2001\\ \end{tabular} \medskip {\bf Addresses:\quad} \smallskip \begin{tabular}{l@{}} ESSLLI XIII: \\ \texttt{http://www.helsinki.fi/esslli}\\ FGMOL'01:\\ \texttt{http://www.cis.upenn.edu/\ldots}\\ $\quad$ \texttt{\ldots $^{\sim}$ircs/mol/mol7.html} \end{tabular} & \setlength{\parskip}{2pt} We are pleased to announce the joint meeting of two conferences: the sixth conferene on Formal Grammar and the seventh on the Mathematics of Language. The joint meeting will be held just prior to the European Summer School in Logic, Language, and Information. \medskip {\it Aims And Scope} FGMOL'01 provides a forum for the presentation of new and original research on formal grammar and mathematical aspects of language, especially with regard to the application of formal methods to natural language analysis. Themes of interest include, but are not limited to, \begin{itemize} \setlength{\itemsep}{0pt}\setlength{\parskip}{0pt} \item formal and computational syntax, semantics, pragmatics, and phonology; \item model-theoretic and proof-theoretic methods in linguistics; \item constraint-based and resource-sensitive approaches to grammar; \item foundational, methodological and architectural issues in grammar. \item mathematical properties of linguistic frameworks \item theories and models of natural language processing and generation \item parsing theory \item statistical and quantitative models of language \end{itemize} \noindent We welcome papers from a wide variety of frameworks. \medskip {\it Invited Speakers} will be announced with the circulation of the second call for papers in early February. \medskip {\it Submission Details} We invite E-MAIL submissions of abstracts for 30-minute papers (including questions, comments, and discussion). A submission should consist of two parts: \begin{itemize} \setlength{\itemsep}{0pt}\setlength{\parskip}{0pt} \item an information sheet (in ascii), containing the name of the author(s), affiliation(s), e-mail and postal address(es) and a title; \item an abstract, consisting of a description of not more than 5 pages (including figures and references). Abstracts may be either in plain ASCII or in (unix-compatible encoded) postscript, PDF, or DVI. \end{itemize} \noindent Abstracts can be sent to {\tt fgmol@cs.indiana.edu} (Larry Moss). \medskip {\it Abstract Submission Deadline} March 31, 2001 {\it Notification of Acceptance} May 15, 2001 {\it Proceedings} A full version of each accepted paper will be included in the conference proceedings, to be distributed at the conference. Full papers are due June 30, 2001. \end{tabular} \end{center} \end{document}

1 0

RE: Haskell 98 (Library) Report: contradiction about fail :: Stri ng -> IO a
by Simon Peyton-Jones 12 Jan '01

12 Jan '01

Marcin writes: | The Haskell 98 Report says that fail in instance Monad IO invokes error. | The Library Report says that fail in instance Monad IO raises a user error. | | I would let it raise a user error, to be able to use fail in exception | monads where strings suffice as the error type. He's right. The instance declaration in the Prelude (p101) should say instance Monad IO where ... fail s = ioError (userError s) This was always intended (see Library report p55, 11.1). Other clarifications should be * Index the reference to userError in Sec 7.3 of the Report and give a type signature for userError * In that same section, specify that fail s = ioError (userError s) I'll do these as part of the (long-postponed) H98 report revision. Any objections? I don't think this is controversial. Implementors take note, though. Simon

1 0

Re: Hash Functions
by Jan Skibinski 12 Jan '01

12 Jan '01

On 12 Jan 2001, Steinitz, Dominic J wrote: > I was thinking of using MD5 or SHA-1 for an application. > Is there a Haskell library that contains these or other hash algorithms > that have a very low probability of giving clashes? > > Dominic. http://www.numeric-quest.com/haskell/bridge/index.html contains interface to MD5 code in C via Greencard. There is a support for one function only (the only function I really needed for a certain CGI application) digest :: String -> String. It uses 'unsafePerformIO' but you could redesign it changing its signature to digest :: String -> String IO or extend it to supply other functions you need. Jan

1 0

Hash Functions
by Steinitz, Dominic J 12 Jan '01

12 Jan '01

I was thinking of using MD5 or SHA-1 for an application. Is there a Haskell library that contains these or other hash algorithms that have a very low probability of giving clashes? Dominic. ------------------------------------------------------------------------------------------------- 21st century air travel http://www.britishairways.com

1 0

Hugs
by Krprtn＠aol.com 11 Jan '01

11 Jan '01

I tried sending this message to the hugs email address but it kept being sent back! I have installed Hugs on my PC, could you please tell me how I can configure Hugs to use winedt (editor). I have alreadly tried using the hugs user manual (section 4). Also is it a problem if I use the latest version of winedt with hugs 98. thankyou

1 0

Haskell PhD Scholarship
by Phil Trinder 11 Jan '01

11 Jan '01

Folks, Are you planning to do a PhD and interested in parallel or distributed versions of Haskell? There's a PhD scholarship available at Heriot-Watt University, Edinburgh, Scotland. To win the scholarship you'll need to have, or get, a first-class degree and have excellent references. The group at Heriot-Watt have implemented and used parallel versions of Haskell and ML, and a distributed Haskell. We're part of a vibrant functional programming community in the central belt of Scotland. More information on who we are and what we do is available at http://www.cee.hw.ac.uk/~trinder/projects.html http://www.cee.hw.ac.uk/~trinder/ http://www.cee.hw.ac.uk/~dsg/ If you're interested in applying for the scholarship please contact me. Phil -------------------------------------------------- Phil Trinder Department of Computing and Electrical Engineering Heriot Watt University Riccarton Edinburgh, EH14 4AS E-mail: trinder(a)cee.hw.ac.uk Teleph: +44 (0)131 451 3435 Depart: +44 (0)131 451 3328 Fasmly: +44 (0)131 451 3327 Intrnt: http://www.cee.hw.ac.uk/~trinder

1 0

Hugs
by Krprtn＠aol.com 10 Jan '01

10 Jan '01

I've currently installed Hugs on my PC, could you tell me how I can configure Hugs to use an editor. The editor I have got installed on my computer is winedt.

1 0

ANNOUNCE: Draft TOC of Haskell in a Nutshell
by Brook Conner 10 Jan '01

10 Jan '01

Inspired by the recent discussions of what kinds of books would encourage the spread of Haskell, I whipped up a draft table of contents for "Haskell in a Nutshell." You can find it in PDF form at http://nellardo.com/lang/haskell/hianTOC.pdf (it should have the fonts embedded - OReilly uses a couple of oddballs) and in ASCII text at http://nellardo.com/lang/haskell/haskell-in-a-nutshellTOC.txt. While there are page numbers attached, you should simply ignore those for the moment :-) Rather, I'd be interested in feedback on the structure etc. Oh, and please don't just rip it off and write it yourself :-) Like "Java in a Nutshell", the first part is a firehose description of the language. As Haskell is somewhat different from what most OReilly readers are used to, I've included a bit more about different ways you can run Haskell (which, incidentally, points out that it runs *everywhere*). Also like "Java in a Nutshell", the last part is a reference to common packages. The middle part is a bit different - a short "cookbook" of semi-practical programs addressing fairly common programming tasks - some of the kinds of things you'd typically do with Perl or C++. I think it needs more "recipes" of course, but I'd like to know if the general idea is working. Brook ps - for the curious, I have in fact written a textbook before (object-oriented programming for a first-semester course, from 1994...). And I'm using O'Reilly's FrameMaker templates, so the draft is "camera-ready" (hence the page numbers - the TOC is automatically generated).

4 4

About fundeps
by Anton Moscal 10 Jan '01

10 Jan '01

Hello! When I apply hugs to the following program: import Char (ord) class Conv a b | a -> b where conv:: a -> b instance Conv Char Int where conv = ord instance (Conv a b, Conv b c) => Conv a c where conv = conv . conv Hugs reports: ERROR "fdep.hs" (line 4): Instances are not consistent with dependencies *** This instance : Conv a b *** Conflicts with : Conv Char Int *** For class : Conv a b *** Under dependency : a -> b But why? Regards, Anton Moscal

2 1