- Haskell-Cafe - Haskell.org

Re: [Haskell-cafe] Functional Reactive Web Application Framework?
by Claus Reinke 13 May '09

13 May '09

oops, sorry, keyboard accident > >I assume you want to write FRP in a Haskell-embedded DSL and generate >>FRP'd JavaScript. If you wish to use Flapjax as a supporting library >>I'd be glad to help. > > I'm curious: how difficult is it nowadays for in-page JavaScript to > control the evolution of its surrouding page, FRP-style? I used to > do something like that, but with VRML+JavaScript instead of HTML > +JavaScript (there's a screencast for those without VRML viewer;-): > > http://community.haskell.org/~claus/FunWorlds/VRML/ > > and I found that mapping FRP style behaviours and events wasn't > the problem (though VRML has better support for this than HTML), > the problem was gaining the same advantages one would have from > embedding FRP in a functional language. Problems included scoping, > linking dynamically created material with enclosing scope (JavaScript > being in strings with scopes separate from the enclosing VRML, > VRML to be created dynamically also via strings, also in their own > scope) This became particularly obvious for dynamic recursion of reactive behaviours, somewhat like page n = <code involving n> `until` (keypress `then` (\key-> page n)) How are such things handled in Flapjax, if it follows the embedded compiler approach? Claus

2 1

International Summer School on Advances in Programming Languages (precedes ICFP'09)
by Matthew Fluet (ICFP Publicity Chair) 13 May '09

13 May '09

International Summer School on Advances in Programming Languages 25th-28th August, 2009 Heriot-Watt University, Edinburgh, Scotland http://www.macs.hw.ac.uk/~greg/ISS-AiPL Overview ~~~~~~~~ This four-day residential International Summer School on Advances in Programming Languages has a major theme of Concurrency, Distribution, and Multicore. Intended primarily for postgraduate research students, the School offers lectures and practical sessions on an engaging blend of cutting edge theoretical and practical techniques from international experts. The Summer School is supported by the Scottish Informatics and Computer Science Alliance (http://www.sicsa.ac.uk/) a Scottish Funding Council Research Pool. Participants from SICSA member institutions may attend at no cost. Confirmed Topics/Speakers * Static and dynamic languages, Prof Philip Wadler, University of Edinburgh * Compiler technology for data-parallel languages, Dr Sven-Bodo Scholz, University of Hertfordshire * New applications of parametricity, Dr Janis Voigtlander, Technical University of Dresden * Automatic vectorising compilation, Dr Paul Cockshott, University of Glasgow * Foundational aspects of size analysis, Prof Marko van Eekelen / Dr Olha Shakaravska, Radboud University Nijmegen * Context oriented programming, Dr Pascal Costanza, Vrije Universiteit Brussels * Multi-core programming, Dr Phil Trinder, Heriot-Watt University * Multi-core compilation, Dr Alastair Donaldson, Codeplay Software Ltd * Principles and Applications of Refinement Types, Dr Andrew D. Gordon, Microsoft Research, Cambridge * Resource aware programming in Hume, Prof Greg Michaelson, Heriot-Watt University / Prof Kevin Hammond, University of St Andrews * Haskell concurrency & parallelism, Dr Satnam Singh, Microsoft Research, Cambridge Location ~~~~~~~~ The Summer School is at Heriot-Watt University's Riccarton campus, set in pleasant parkland to the west of Edinburgh, with easy access to the airport, city and central Scotland (http://www.hw.ac.uk/welcome/directions.htm) The Summer School immediately precedes the 2009 International Conference on Functional Programming (http://www.cs.nott.ac.uk/~gmh/icfp09.html) and takes place during the Edinburgh International Festival (http://www.eif.co.uk/) , and the associated Edinburgh Festival Fringe (http://www.edfringe.com/) and Edinburgh International Book Festival (http://www.edbookfest.co.uk/) Steering Committee ~~~~~~~~~~~~~~~~~~ Prof Prof Greg Michaelson, Heriot-Watt University (Convenor), <G.Michaelson(a)hw.ac.uk> Prof Kevin Hammond, University of St Andrews Dr Patricia Johann, University of Strathclyde Prof Philip Wadler, University of Edinburgh Fee ~~~ Full rate: £400; (free for SICSA students) Includes: four nights single room, en-suite accommodation with breakfast, lunch and dinner, plus coffee breaks and session materials. Day rate: £200; (free for SICSA students) Includes: lunch, coffee breaks, session materials Registration of Interest ~~~~~~~~~~~~~~~~~~~~~~~~ If you are interested in attending the International Summer School, please complete the form available from (http://www.macs.hw.ac.uk/~greg/ISS-AiPL/ISS-AiPL%20register.doc) or below, and return it to: <ISS-AiPL-register(a)macs.hw.ac.uk> ********** International Summer School on Advances in Programming Languages 25th-28th August, 2009 Heriot-Watt University, Edinburgh, Scotland Registration of Interest Name: Address: Email: Phone: SICSA Uni: Yes / No Rate: Full / Day Accessibility requirements: Dietary requirements: Return to: ISS-AiPL-register(a)macs.hw.ac.uk **********

2 1

2nd Call For Papers: APLAS 2009 (Korea, Dec 14-16, 2009)
by Janis Voigtlaender 13 May '09

13 May '09

=============================================================== CALL FOR PAPERS The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009) Seoul, December 14-16, 2009 http://ropas.snu.ac.kr/aplas09/ =============================================================== APLAS aims at stimulating programming language research by providing a forum for the presentation of recent results and the exchange of ideas and experience in topics concerned with programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming languages community. The APLAS series is sponsored by the Asian Association for Foundation of Software (AAFS), which has recently been founded by Asian researchers in cooperation with many researchers from Europe and the USA. The past formal APLAS symposiums were successfully held in Bangalore (2008, India), Singapore (2007), Sydney (2006, Australia), Tsukuba (2005, Japan), Taipei (2004, Taiwan) and Beijing (2003, China) after three informal workshops held in Shanghai (2002, China), Daejeon (2001, Korea) and Singapore (2000). Proceedings of the past symposiums were published in Springer-Verlag's LNCS 2895, 3302, 3780, 4279, and 5356. TOPICS: The symposium is devoted to both foundational and practical issues in programming languages and systems. Papers are solicited on, but not limited, to the following topics: * semantics, logics, foundational theory * type systems, language design * program analysis, optimization, transformation * software security, safety, verification * compiler systems, interpreters, abstract machines * domain-specific languages and systems * programming tools and environments INVITED SPEAKERS: TBA IMPORTANT DATES: Abstract Deadline: June 8 (Monday), 2009 Paper Submission Deadline: 24:00 AM (in Samoan Time), June 15 (Monday), 2009 Author Notification: August 17, 2009 Camera Ready: September 14, 2009 Conference: December 14-16, 2009 SUBMISSIONS INFORMATION: Papers should be submitted electronically online via the conference submission web page at URL <http://www.easychair.org/conferences/?conf=aplas2009>. Acceptable formats are PostScript or PDF, viewable by Ghostview or Adobe Reader. Submissions should not exceed 16 pages in LNCS format, including bibliography and figures. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant. Submitted papers must be unpublished and not submitted for publication elsewhere. The proceedings of the symposium is planned to be published as a volume in Springer-Verlag's Lecture Notes in Computer Science series. Authors of selected papers will be invited after the symposium to submit a full version for publication in a special issue of New Generation Computing. GENERAL CHAIR Kwangkeun Yi (Seoul National University, Korea) PROGRAM CHAIR Zhenjiang Hu (National Institute of Inforamtics, Japan) PROGRAM COMMITTEE Manuel M. T. Chakravarty (University of New South Wales, Australia) Wei-Ngan Chin (National University of Singapore, Singapore) Nate Foster (University of Pennsylvania, USA) Ralf Hinze (Oxford University, United Kingdom) Zhenjiang Hu (National Institute of Informatics, Japan), Chair Ik-Soon Kim (Electronics and Telecommunications Research Institute, Korea) Julia Lawall (DIKU, Denmark) Sebastian Maneth (NICTA and University of New South Wales, Australia) Sungwoo Park (Pohang University of Science and Technology, Korea) G. Ramalingam (Microsoft Research, India) Peter Thiemann (University of Freiburg, Germany) Kazushige Terui (Kyoto University, Japan) Janis Voigtländer (Technical University of Dresden, Germany) Chung-chieh Shan (Rutgers University, USA) Kazunori Ueda (Waseda University, Japan) Bow-Yaw Wang (Academia Sinica, Taiwan) Jianjun Zhao (Shanghai Jiaotong University, China) POSTER SESSION CHAIR Kiminori Matsuzaki (University of Tokyo, Japan)

1 0

haskell & cuda?
by Dan 13 May '09

13 May '09

Hi, Does anyone know if there's a compiler from Data-Parallel Haskell to GPU code? I saw a paper on it a while back, but Google hasn't turned up any code. Cheers, - Dan

4 5

Kind of confusing
by Anton van Straaten 13 May '09

13 May '09

GHC amused me today with this error (context omitted): Couldn't match kind `(* -> *) -> * -> *' against `?? -> ? -> *' When matching the kinds of `t :: (* -> *) -> * -> *' and `(->) :: ?? -> ? -> *' It was a silly mistake: I had used 'lift' where I intended to use 'liftM'. But I'm thinking Haskell compilers should have some sort of option which, when the ratio of punctuation to alphanumerics in an error message exceeds a certain level, just responds to the user with a more readily comprehensible message such as "WTF, dude?" Serious question: what is the significance of the question mark and double question marks in those signatures, or better yet, where can I read about it? Anton

4 3

Main function error
by applebiz89 12 May '09

12 May '09

I have compiled each function independently and they have compiled the only problem is the main function.. I keep getting the error 'films not defined' and I am not sure why [code] type Title = String type Director = String type Year = Int type Fan = String data Film = Film Title Director Year [Fan] deriving Show -- List of films testDatabase :: [Film] testDatabase = [ (Film "Casino Royale" "Martin Campbell" 2006 ["Garry", "Dave", "Zoe"])] -- Function filmsInGivenYear :: Year -> [Film] -> [String] filmsInGivenYear year' films = [ title | (Film title director year fans) <- films, year == year'] doFilmsInGivenYear :: [Film] -> IO () doFilmsInGivenYear films = do putStrLn "which year?" text <- getLine let year' = read text :: Int let answer = filmsInGivenYear year' films print answer main :: IO () main = do doFilmsInGivenYear films main [/code] if the other functions are compiling without this error im not sure as to why the main function does not compile because of the films...any light on this? Thanks -- View this message in context: http://www.nabble.com/Main-function-error-tp23506481p23506481.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

6 5

Developing 3 dimensional interactive environments/functional objects
by paulfrancis＠friendbliss.com 12 May '09

12 May '09

3 2

Problem with text and text-icu packages
by David Carter 12 May '09

12 May '09

Hi, I'm struggling with text-0.1 and text-icu-0.1, as announced at http://www.serpentine.com/blog/2009/02/27/finally-fast-unicode-support-for-… The code in http://pastebin.com/m7d8d9f91 is intended to read in a UTF-8 file a1.txt, reverse it twice, and write it out to another UTF-8 file a2.txt, which I would have thought should make a2.txt identical to a1.txt. Mostly it is, but sometimes it isn't, e.g.: % echo a > a1.txt % tryicu # <- my code % cat a2.txt ࠋ퐤 Specifically, a1.txt contains bytes 97 and 10, while a2.txt contains bytes 224 160 139 237 144 164. Have I misconstrued things, or is this a bug? I am running ghc 6.10.2 and ICU 4.0.1 on SuSE. Thanks for any help David

2 1

Data.Map lookup signature
by Nico Rolle 12 May '09

12 May '09

Hi everyone. The docs in the web on http://www.haskell.org/ghc/docs define Data.Map.lookup as follows: http://www.haskell.org/ghc/docs lookup :: Ord k => k -> Map k a -> Maybe a but my version of ghci does i like that: Data.Map.lookup :: (Ord k, Monad m) => k -> Data.Map.Map k a -> m a but i need the 1. one. my version of ghci is 6.8.2 regards

2 2

Re: [Haskell-cafe] Inferred typing?
by michael rice 12 May '09

12 May '09

I was looking at some code and couldn't figure out how it was returning a list since there were no list constructors present. Thanks! Michael --- On Tue, 5/12/09, Brent Yorgey <byorgey(a)seas.upenn.edu> wrote: From: Brent Yorgey <byorgey(a)seas.upenn.edu> Subject: Re: [Haskell-cafe] Inferred typing? To: haskell-cafe(a)haskell.org Date: Tuesday, May 12, 2009, 7:50 AM On Mon, May 11, 2009 at 10:59:01PM -0700, michael rice wrote: > In the code below, is the type returned by the return functions inferred from > the result type in the function type signature, i.e., just change the result > type to Maybe Int and the code will return a Maybe monad, (Just 4), instead of > a List monad? Indeed, it is. Try it! =) -Brent _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe(a)haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

1 0