September 2010 - Haskell

ANNOUNCE: ioctl 0.0.1
by Maciej Piechotka 13 Sep '15

13 Sep '15

A package for type-safe I/O control. Currently only ioctl is supported. Currently simply a extract from my tuntap fork TODO: - Return the integer as well as structure (will break the API) - Port for Windows Network.Socket.IOCtl (as soon as I manage to setup some sane environment on this platform) - Wrapping around DeviceIoControl Example (in hsc): data NotRead = NotRead instance NotRead Int where ioctlReq _ = #const FIONREAD notRead s = ioctlsocket' s NotRead Regards

2 1

Announcing Djinn, version 2004-12-11, a coding wizard
by Lennart Augustsson 07 Apr '11

07 Apr '11

Howdy, y'all! I've written a small program that takes a (Haskell) type and gives you back a function of that type if one exists. It's kind of fun, so I thought I'd share it. It's probably best explained with a sample session. calvin% djinn Welcome to Djinn version 2005-12-11. Type :h to get help. # Djinn is interactive if not given any arguments. # Let's see if it can find the identity function. Djinn> f ? a->a f :: a -> a f x1 = x1 # Yes, that was easy. Let's try some tuple munging. Djinn> sel ? ((a,b),(c,d)) -> (b,c) sel :: ((a, b), (c, d)) -> (b, c) sel ((_, v5), (v6, _)) = (v5, v6) # We can ask for the impossible, but then we get what we # deserve. Djinn> cast ? a->b -- cast cannot be realized. # OK, let's be bold and try some functions that are tricky to write: # return, bind, and callCC in the continuation monad Djinn> type C a = (a -> r) -> r Djinn> returnC ? a -> C a returnC :: a -> C a returnC x1 x2 = x2 x1 Djinn> bindC ? C a -> (a -> C b) -> C b bindC :: C a -> (a -> C b) -> C b bindC x1 x2 x3 = x1 (\ c15 -> x2 c15 (\ c17 -> x3 c17)) Djinn> callCC ? ((a -> C b) -> C a) -> C a callCC :: ((a -> C b) -> C a) -> C a callCC x1 x2 = x1 (\ c15 _ -> x2 c15) (\ c11 -> x2 c11) # Well, poor Djinn has a sweaty brow after deducing the code # for callCC so we had better quit. Djinn> :q Bye. To play with Djinn do a darcs get http://darcs.augustsson.net/Darcs/Djinn or get http://darcs.augustsson.net/Darcs/Djinn/Djinn.tar.gz Then just type make. (You need a Haskell 98 implementation and some libraries.) And then start djinn. For the curious, Djinn uses a decision procedure for intuitionistic propositional calculus due to Roy Dyckhoff. It's a variation of Gentzen's LJ system. This means that (in theory) Djinn will always find a function if one exists, and if one doesn't exist Djinn will terminate telling you so. This is the very first version, so expect bugs. :) Share and enjoy. -- Lennart

8 13

ANNOUNCE: plot 0.1 plotting package
by Alexander McPhail 29 Sep '10

29 Sep '10

Dear Haskell, Announcing the initial (0.1) release of the 'plot' and 'plot-gtk' packages. Released under the "release early, release often" philosophy. This package uses Cairo to render high quality graphs exportable as PNG, PS, PDF, and SVG. Features: * simple monadic interface to configure each figure and elements * title/subtitle * an array of plots in each figure with optional headers * configurable axes and ticks * configurable ranges * linear, log, semilog ranges * plot vectors or (Double -> Double) functions * line/point/linepoint/impulse/step/area plots * bar/histogram plots * optional error bars * mix and match data series types and formatting * fully configurable text elements * greyscale matrix visualisation The companion package 'plot-gtk' allows creation and incremental update of gtk-displayed plots from the ghci prompt and provides a 'plot' widget. Suggestions, feature requests, and bug reports welcome. Cheers, Vivian

1 0

Re: [Haskell-cafe] ANNOUNCE: Utrecht Haskell Compiler (UHC), version 1.1.0
by Atze Dijkstra 26 Sep '10

26 Sep '10

John, UHC cannot compile itself: some of the used libraries use non-Haskell98 features still absent in UHC (e.g. functional dependencies). Runtime system comparison depends on what topic you want to compare on, otherwise UHC's runtime system just corresponds to what UHC supports, and thus obviously lacks what GHC does support and UHC does not (e.g. parallelism related features). regards, On 24 Sep, 2010, at 19:36 , John Van Enk wrote: > Can UHC self-host yet? How does the runtime compare to GHC's? I suppose I could just go look... :) > > On Wed, Sep 22, 2010 at 10:30 AM, Atze Dijkstra <atze(a)cs.uu.nl> wrote: > Utrecht Haskell Compiler -- second release 1.1.0 > ================================================ > > > The UHC team is happy to announce the second public release of the > Utrecht Haskell Compiler (UHC). UHC supports almost allmost all > Haskell98 and Haskell2010 features plus some experimental extensions. The > compiler runs on MacOSX, Windows (cygwin), and various Unix flavors. > > This second release has the following highlights relative to the > previous first release: > > * Supports most of the Haskell2010 features. > > * Generic deriving [1]. > > * UHC knows about packages, and Cabal version 1.9.3 and later have > basic support for UHC, so that Cabal can be used to build UHC packages. > > * For the default backend libraries are provided until including > package haskell98. > > * The runtime system is no longer dependent on Boehm garbage > collector, but uses UHCs own, a swap space collector allowing > parameterization with backend specifics. > > * More programs from the nofib test suite compile and run. > > * Many smaller and larger problems fixed. > > For more info see http://www.cs.uu.nl/wiki/UHC > > > Getting started & Download > -------------------------- > > UHC is available for download as source distribution via the UHC home > page: > > http://www.cs.uu.nl/wiki/UHC > > Here you will also find instructions to get started and the specifics > of what UHC can and cannot do. > > > Status of the implementation > ---------------------------- > > Over the past year much effort by many people has been put into > improving UHC, in particular to make it compile and run more library > modules and test programs. Although the UHC project is very much work in > progress overall reliability has improved, bugs have been fixed, and > some Hackage packages compile. > > > Warning > ------- > > Although we think that the compiler is stable enough to compile > substantial Haskell programs, we do not recommend yet to use it for any > serious development work in Haskell. We ourselves use the GHC as a > development platform! We think however that it provides a great platform > for experimenting with language implementations, language extensions, > etc. > > > Mailing lists > ------------- > > For UHC users and developers respectively: > > http://mail.cs.uu.nl/mailman/listinfo/uhc-users > http://mail.cs.uu.nl/mailman/listinfo/uhc-developers > > > Bug reporting > ------------- > > Please report bugs at: > > http://code.google.com/p/uhc/issues/list > > > The UHC Team > > > > [1] Jose Pedro Magalhaes, Atze Dijkstra, Johan Jeuring, and Andres Loeh. > A generic deriving mechanism for Haskell. > http://dreixel.net/research/pdf/gdmh_draft.pdf (see Section 7.1 for the > discussion on constrained datatypes) > > > > > - Atze - > > Atze Dijkstra, Department of Information and Computing Sciences. /|\ > Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / | \ > Tel.: +31-30-2534118/1454 | WWW : http://www.cs.uu.nl/~atze . /--| \ > Fax : +31-30-2513971 .... | Email: atze(a)cs.uu.nl ............ / |___\ > > > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe(a)haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > - Atze - Atze Dijkstra, Department of Information and Computing Sciences. /|\ Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / | \ Tel.: +31-30-2534118/1454 | WWW : http://www.cs.uu.nl/~atze . /--| \ Fax : +31-30-2513971 .... | Email: atze(a)cs.uu.nl ............ / |___\

1 0

[Haskell] ANN: JMacro 0.3.2, A library/dsl for generating Javascript
by Gershom B 25 Sep '10

25 Sep '10

JMacro on hackage: http://hackage.haskell.org/package/jmacro This is the first official release announcement for JMacro, which has been on hackage in some form for over a year, and in the current version since July. JMacro is a library for the programmatic generation of Javascript code. It is designed to be multipurpose -- it is useful whether you are writing nearly vanilla Javascript or you are programmatically generating Javascript either in an ad-hoc fashion or as the backend to a compiler or EDSL. It provides support for hygienic names, as well as sharing of names between the generated Javascript and embedded Haskell antiquotation. In this release it also includes a module which allows the generation of RPC request/response pairs, allowing a lightweight implementation of AJAX-heavy applications. JMacro provides a simple, lightweight quasiquoted syntax that is mainly compatible with standard Javascript. Most Javascript code in the wild can be used as JMacro code with no or minimal modification. However, JMacro extends Javascript syntax in a number of Haskell-friendly ways, including whitespace function application and single character lambdas. Syntax is statically checked at compile time. JMacro expressions may contain antiquoted Haskell code. This code may generate further JMacro code, or it may generate any of a range of standard Haskell types, which are able to be marshalled into JMacro through typeclass methods. JMacro also provides an executable, which allows the standalone processing of JMacro code into Javascript. For more information, see both Hackage and the JMacro documentation on the HaskellWiki: http://www.haskell.org/haskellwiki/Jmacro Some examples or idiomatic JMacro code are available in the source of its provided Javascript Prelude: http://hackage.haskell.org/packages/archive/jmacro/0.3.2/doc/html/src/Langu… Future work on JMacro, when time is available, is geared towards providing an optional layer of static typing with type inference. Patches, bug reports, and feature requests are all very welcome.

1 0

ANN: hoauth v0.3.1
by Diego Souza 22 Sep '10

22 Sep '10

Hi All, I'm pleased to announce hoauth-0.3.1. The major change in this version is error handling. Instead of using fail, you may now provide your own error handling function. Unfortunately I've made changes that make this version incompatible with previous ones. Although I believe updating to this new version shouldn't be difficult. Anyway, if there is anyone already using it and are having a hard time to upgrade please let me know. In summary, here is the changelog: * Error handling * RSA-SHA1 authentication method is available again; * bugfix: curl httpclient implementation hanging when using PUT and POST method; * bugfix: curl httpclient sets a timeout of 30s instead of waiting forever; * bugfix: httpclient implementation now ignores SSL certificate errors [works with self-signed certificates]; As usual feedback is highly welcome! Thanks, -- ~dsouza yahoo!im: paravinicius gpg key fingerprint: 71B8 CE21 3A6E F894 5B1B 9ECE F88E 067F E891 651E gpg pub key: http://bitforest.org/~dsouza/pub/gpg-pubkey.txt authorized_keys: http://bitforest.org/~dsouza/pub/authorized_keys.txt

1 0

haskell.org committee: Call for nominations
by Ian Lynagh 22 Sep '10

22 Sep '10

Dear Haskellers, The recent discussion indicates there is consensus for forming a haskell.org committee. We are therefore calling for nominations for members of the initial committee. To nominate yourself, please send an e-mail to committee(a)haskell.org by 29 September 2010. Please feel free to include any information about yourself that you think will help us to make a decision. We do not expect that being a member of the committee will require a significant amount of time, but committee members should aim to be responsive during discussions when the committee is called upon to make a decision. More details about the committee's roles and responsibilities are on http://www.haskell.org/haskellwiki/Haskell.org_committee If you have any questions about the process, please feel free to e-mail us at committee(a)haskell.org or to contact one of us individually. Thanks Ian

1 1

ANNOUNCE: Utrecht Haskell Compiler (UHC), version 1.1.0
by Atze Dijkstra 22 Sep '10

22 Sep '10

Utrecht Haskell Compiler -- second release 1.1.0 ================================================ The UHC team is happy to announce the second public release of the Utrecht Haskell Compiler (UHC). UHC supports almost allmost all Haskell98 and Haskell2010 features plus some experimental extensions. The compiler runs on MacOSX, Windows (cygwin), and various Unix flavors. This second release has the following highlights relative to the previous first release: * Supports most of the Haskell2010 features. * Generic deriving [1]. * UHC knows about packages, and Cabal version 1.9.3 and later have basic support for UHC, so that Cabal can be used to build UHC packages. * For the default backend libraries are provided until including package haskell98. * The runtime system is no longer dependent on Boehm garbage collector, but uses UHCs own, a swap space collector allowing parameterization with backend specifics. * More programs from the nofib test suite compile and run. * Many smaller and larger problems fixed. For more info see http://www.cs.uu.nl/wiki/UHC Getting started & Download -------------------------- UHC is available for download as source distribution via the UHC home page: http://www.cs.uu.nl/wiki/UHC Here you will also find instructions to get started and the specifics of what UHC can and cannot do. Status of the implementation ---------------------------- Over the past year much effort by many people has been put into improving UHC, in particular to make it compile and run more library modules and test programs. Although the UHC project is very much work in progress overall reliability has improved, bugs have been fixed, and some Hackage packages compile. Warning ------- Although we think that the compiler is stable enough to compile substantial Haskell programs, we do not recommend yet to use it for any serious development work in Haskell. We ourselves use the GHC as a development platform! We think however that it provides a great platform for experimenting with language implementations, language extensions, etc. Mailing lists ------------- For UHC users and developers respectively: http://mail.cs.uu.nl/mailman/listinfo/uhc-users http://mail.cs.uu.nl/mailman/listinfo/uhc-developers Bug reporting ------------- Please report bugs at: http://code.google.com/p/uhc/issues/list The UHC Team [1] Jose Pedro Magalhaes, Atze Dijkstra, Johan Jeuring, and Andres Loeh. A generic deriving mechanism for Haskell. http://dreixel.net/research/pdf/gdmh_draft.pdf (see Section 7.1 for the discussion on constrained datatypes) - Atze - Atze Dijkstra, Department of Information and Computing Sciences. /|\ Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / | \ Tel.: +31-30-2534118/1454 | WWW : http://www.cs.uu.nl/~atze . /--| \ Fax : +31-30-2513971 .... | Email: atze(a)cs.uu.nl ............ / |___\

1 0

Haskell-related job opening at Stanford University
by David Mazieres 21 Sep '10

21 Sep '10

The Stanford Secure Computer Systems research group seeks an experienced Haskell programmer to participate in research on secure, robust software systems. The primary responsibility will be to collaborate closely with other researchers in building a Haskell web framework that achieves security through a novel approach to dynamic information flow control. The job will provide access to Stanford's world-leading Computer Science faculty and students; it will furthermore allow considerable freedom to pursue other collaborations and side projects that advance the state of the art in host security and produce scientific publications. To maximize impact, software developed as part of these efforts will be released under a free-software license; moreover, duties may include developing documentation or educational materials that promote adoption of the research output or of Haskell in general. The position requires significant Haskell expertise, including knowledge of the Glasgow Haskell Compiler (ghc), optimization pragmas, the foreign function interface, debugging, and performance-tuning. In addition, while not required, any of the following qualifications will be helpful and should be highlighted in applications: - Experience publishing or maintaining a package on hackage. - Experience programming in C. - Knowledge of web programming and JavaScript. - A broad understanding of operating systems and networking concepts. - A Ph.D. in Computer Science. - Previous research or peer-reviewed publications. This is a 2 year fixed-term position with the possibility of extension. While the position can potentially become permanent, we also welcome applicants who view it as a stepping stone to a research or faculty career elsewhere or to a start-up company. The faculty members involved in this project have a track record of placing students, staff, and post-doctoral researchers at prestigious institutions and will provide a level of mentoring appropriate to the successful candidate's qualifications and ambitions. For questions about this position, please email Prof. David Mazieres from the following web page: http://www.scs.stanford.edu/~dm/addr/ To apply for this position: - Go to http://jobs.stanford.edu/find_a_job.html - Enter 40012 in the Keyword Search box. - Click on the job listing link. - Scroll down to the bottom and click on "Apply" to upload a resume and cover letter. Or access the on-line job posting from this URL: https://recruit.trovix.com/jobhostmaster/jobhost/ViewJobPostDetails.do?jobP… Or apply directly at the following link: http://jobs.stanford.edu/find_a_job.html?accountId=de85ad313f8598db1c42b567…

1 0

ANNOUNCE: Haskeline 0.6.3
by Judah Jacobson 15 Sep '10

15 Sep '10

I am pleased to announce the release of Haskeline 0.6.3: http://hackage.haskell.org/package/haskeline http://trac.haskell.org/haskeline Haskeline provides a user interface for line input in command-line programs. The library is similar in purpose to readline or editline, but since it is written in Haskell it is (hopefully) more easily used in other Haskell programs. Improvements since version 0.6.2 include the following (see CHANGES for details and a full list): * Various API additions -- in particular, "Behaviors" control the choice between terminal-style and file-style interactions. * Correct width calculations for wide characters (e.g., CJK). * Better handling of prompts containing POSIX escape sequences: http://trac.haskell.org/haskeline/wiki/ControlSequencesInPrompt * Keybinding fixes/additions: http://trac.haskell.org/haskeline/wiki/KeyBindings * Several optimizations for speed and responsiveness. Best, -Judah

1 0