[Haskell] Summer School on Reliable Computing: Call for Participation

2005-03-02 Thread Steve Zdancewic
Call for Participation Summer School on Reliable Computing July 20-29, 2005 University of Oregon Eugene, Oregon USA Registration Deadline: March 31, 2005. http://www.cs.u

[Haskell] Deadlines Extended: CALL FOR PAPERS IN THREE SYMPOSIUMS

2005-03-02 Thread Dr. M. Sarfraz
Deadlines ExtendedCALL FOR PAPERS IN THREE SYMPOSIUMS Symposium - 1 International Symposium of Graphical Models and Imaging (IV2005-GMAI)http://www.graphicslink.demon.co.uk/IV05/GMAI.htmINThe 9th IEEE International Conf

Re: [Haskell] Proposal: Allow "\=" for field update in record update syntax

2005-03-02 Thread Benjamin Franksen
On Thursday 24 February 2005 23:27, Keean Schupke wrote: > Benjamin Franksen wrote: > > Automatic wrapping is easy. What is not so easy and I think not even > > possible, is automatic _un_wrapping, so that the wrapping isn't exposed > > at all to the programmer. > > One way to do this is to replace

Re: [Haskell] How to import user's modules with hs-plugins

2005-03-02 Thread Donald Bruce Stewart
jgarciavivo: > Hello everybody. I'm using the hs-plugins function "eval" in my source code > and > I need to import a Haskell module at runtime. Do you know if it's possible? > I've seen many examples of hs-plugins and never had a user's module import in > the "eval" call. Thanks for your time If

Re: [Haskell] Proposal: Allow "\=" for field update in record update syntax

2005-03-02 Thread Benjamin Franksen
On Wednesday 02 March 2005 19:51, Keean Schupke wrote: > Infact there is a tradeoff. Records with faster read times (ie offset > tables) have slower write times as the table needs to be copied and > expanded. Which is of course the reason why extension for records is not a very common language f

Re: [Haskell] Proposal: Allow "\=" for field update in record update syntax

2005-03-02 Thread Keean Schupke
Ben Rudiak-Gould wrote: It does. An HList of Int,Bool,Char is isomorphic to the type (Int,(Bool,(Char,(, and selecting the Bool element will ultimately compile to code like this: case list of (_,(x,_)) -> ... It doesn't need to search for the right element at runtime, and it doesn't

[Haskell] linear implicit parameters

2005-03-02 Thread Immanuel Litzroth
Has anybody got a good example of how to use linear implicit parameters? I seem to be unable to understand the description in the ghc manual and I couldn't find a paper on the web. Immanuel *** I can, I can't. Tubbs Tattsyrup

[Haskell] How to import user's modules with hs-plugins

2005-03-02 Thread Javier García-Vivó Albors
Hello everybody. I'm using the hs-plugins function "eval" in my source code and I need to import a Haskell module at runtime. Do you know if it's possible? I've seen many examples of hs-plugins and never had a user's module import in the "eval" call. Thanks for your time

Re: [Haskell] Proposal: Allow "\=" for field update in record update syntax

2005-03-02 Thread Ben Rudiak-Gould
Benjamin Franksen wrote: >On Thursday 24 February 2005 23:27, Keean Schupke wrote: > >>Well, not quite true, because the type of the label is used to index the >>value, the selection happens at compile time. So at run time there is no >>instance selection left... it is simply the value. At least in

[Haskell] FACS'05 Call for Papers

2005-03-02 Thread Luis Barbosa
[apologies if you receive multiple copies] - CALL FOR PAPERS FACS'05 II International Workshop on Formal Aspects of Component Software Macao October 24-25, 2005 www.iist.unu.edu/facs