Re: [Haskell-cafe] Poll plea: State of GUI graphics libraries in Haskell
Hi, as for wxHaskell, it is currently maintained at https://github.com/wxHaskell/wxHaskell, compilable with wxWidgets 2.9.5 and GHC 7.6. Work is underway to fix various bugs introduced over time by changes in wxWidgets, but we (i.e. https://github.com/wxHaskell?tab=members) hope to release announce in not too much time. cheers, Atze On 30 Sep, 2013, at 20:32 , Conal Elliott co...@conal.net wrote: Hi Conrad, Great. The challenge is not specific to Pan, Vertigo, etc. If we can get some low-level GUI platform working with the characteristics I listed, I can resurrect and my high-level libraries accordingly. Any GUI program containing at least one OpenGL window would probably get us most of the way there (again, noting the properties I listed). -- Conal On Fri, Sep 27, 2013 at 1:40 AM, Conrad Parker con...@metadecks.org wrote: Hi Conal! Yes. I'd be very interested to help get Pan and Vertigo working. Do you have a repo somewhere? Conrad. On 27 September 2013 13:32, Conal Elliott co...@conal.net wrote: I'm polling to see whether there are will and expertise to reboot graphics and GUIs work in Haskell. I miss working on functional graphics and GUIs in Haskell, as I've been blocked for several years (eight?) due to the absence of low-level foundation libraries having the following properties: * cross-platform, * easily buildable, * GHCi-friendly, and * OpenGL-compatible. The last several times I tried Gtk2hs, I was unable to compile it on my Mac. Years ago when I was able to compile, the GUIs looked and interacted like a Linux app, which made them awkward and upleasant to use. wxHaskell (whose API and visual appearance I prefered) has for years been incompatible with GHCi, in that the second time I open a top-level window, the host process (GHCi) dies abruptly. Since my GUI graphics programs are often one-liners, and I tend to experiment a lot, using a full compilation greatly thwarts my flow. For many years, I've thought that the situation would eventually improve, since I'm far from the only person who wants GUIs or graphics from Haskell. About three years ago, I built a modern replacement of my old Pan and Vertigo systems (optimized high-level functional graphics in 2D and 3D), generating screamingly fast GPU rendering code. I'd love to share it with the community, but I'm unable to use it even myself. Two questions: * Am I mistaken about the current status? I.e., is there a solution for Haskell GUI graphics programming that satisfies the properties I'm looking for (cross-platform, easily buildable, GHCi-friendly, and OpenGL-compatible)? * Are there people willing and able to fix this situation? My own contributions would be to test and to share high-level composable and efficient GUI and graphics libraries on top of a working foundation. Looking forward to replies. Thanks, -- Conal ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@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: a...@uu.nl ... / |___\ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Opportunity for Haskell porting to java at RD labs in Bay Area, CA
Hi All, UHC (http://www.cs.uu.nl/wiki/UHC) has a Java backend. It works but further development currently does not have high priority. cheers, On 10 Nov, 2010, at 21:03 , aditya siram wrote: Googling haskell java integration brings up a number of references to Lambada. Is this project still alive? -deech On Wed, Nov 10, 2010 at 4:16 PM, Tom Davies tgdav...@gmail.com wrote: On 11/11/2010, at 7:42 AM, Padma wrote: We are looking for a entry level Haskell programmer who has experience in porting from Haskell to java. Please contact me by Email or you can call me at 408-207-9367. You could look at CAL/OpenQuark -- https://github.com/levans/Open-Quark -- which is essentially Haskell 98 for the JVM. There would still be a porting exercise, because CAL has less syntactic sugar and fewer libraries (and doesn't have the GHC extensions you may use), but it has good (though verbose) Java interoperability. Tom ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@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: a...@cs.uu.nl / |___\ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Is it possible to easily connect Haskell to JavaScript/JavaFX in the browser and use a browser as a Windows GUI? :)
On 20 Oct, 2010, at 22:30 , Stephen Sinclair wrote: P.s., it would be wrong not to also mention the latest development in UHC, which might exactly let you write the JavaScript part of the app in Haskell: http://utrechthaskellcompiler.wordpress.com/2010/10/18/haskell-to-javascript-backend/ I haven't tried it, so can't comment on the readiness of this interpreter.. The intention is to have the next release of UHC include a first working version of the Javascript backend. I am currently busy with providing FFI based interfacing to Javascript and a set of basic libraries for this. When released I expect it to be sufficient for initial experiments and simple programs, but to provide a proper interface to XML/HTML DOM (see http://www.haskell.org/haskellwiki/Haskell_in_web_browser), or a GUI abstraction around it (perhaps a subset of wxHaskell?) will take more work time. I hope this can be done as part of a studentproject, or maybe picked up during a Hackathon. cheers, - 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: a...@cs.uu.nl / |___\ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Strict Core?
Hi, UHC indeed has an experimental typed core, which includes strict core (and is also based on GHC's core, and Henk). However, for UHC it is also quite a bit of engineering to make it produce typed/strict core for all language features, especially since it has to come from untyped core generation. So, there is currently a translation for a small set of language features, enough to do some experimenting, done by Tom Lokhorst. The current state is maintained and kept alive to allow further development in the future, e.g. both core structures internally have been put behind a class interface as to allow sharing of much of the generation infrastructure, but this all is still in transit and unfinished. cheers, On 16 Oct, 2010, at 10:57 , Max Bolingbroke wrote: Hi Gregory, On 15 October 2010 22:27, Gregory Crosswhite gcr...@phys.washington.edu wrote: Out of curiosity, are there any plans for GHC to eventually use the Strict Core language described in http://www.cl.cam.ac.uk/~mb566/papers/tacc-hs09.pdf? I do not have plans to add it. I think it would be worth it - perhaps worth a few % points in runtime - but I've started researching supercompilation instead, which has more impressive effects :-) Simon has said he is keen to use it though - it's just a big engineering task to replumb GHC to use it, so perhaps this is a project for an enterprising student. That said, I've been told that UHC's core language uses the ideas from Strict Core, and they have/had a student at Utretch (Tom Lokhorst) who was working on implementing optimisations like arity raising and deep unboxing for the language. Cheers, Max ___ Haskell-Cafe mailing list Haskell-Cafe@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: a...@cs.uu.nl / |___\ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Retargeting Haskell compiler to embedded/hardware
Hi Tom, The Utrecht Haskell Compiler (UHC) is internally organized as a set of compilers, for which you can configure the aspects you want. It is relatively easy to extract such a particular combination and use it as a starting point. Or you might install UHC itself and use the installed libraries, which include abstract syntax, parser, etc. There is some variation depending on what you need, so check out http://www.cs.uu.nl/wiki/UHC for initial reading, and let me know whether you need more info. regards, On 29 Sep, 2010, at 16:49 , S. Doaitse Swierstra wrote: Begin forwarded message: From: Tom Hawkins tomahawk...@gmail.com Date: 29 september 2010 03:58:11 GMT+02:00 To: haskell-cafe haskell-cafe@haskell.org Subject: [Haskell-cafe] Retargeting Haskell compiler to embedded/hardware A few years ago I attempted to build a Haskell hardware compiler (Haskell - Verilog) based on the Yhc frontent. At the time I was trying to overcome several problems [1] with implementing a hardware description language as a light eDSL, which convinced me a proper compiler may be a better approach. Yhc was recommended as a good starting point since it had a simpler IR compared with GHC -- at least at the time. I am considering restarting this effort, but this time to target hard realtime embedded code. What is the recommended compiler to start from? I need an IR that is post type checking with as much desugaring as possible, and a code base that is relatively easy to splice and build. My other requirement is not to be bound to IO () for 'main'. The top level will be a monad, but with different semantics than IO. I would also like to reuse the standard library, with exception to the values related to IO. What are my options? Thanks. -Tom [1] Lack of observable sharing; function definitions, case expressions, ADTs disappear at compile time; etc. ___ Haskell-Cafe mailing list Haskell-Cafe@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: a...@cs.uu.nl / |___\ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] ANNOUNCE: Utrecht Haskell Compiler (UHC), version 1.1.0
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 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: a...@cs.uu.nl / |___\ ___ Haskell-Cafe mailing list Haskell-Cafe@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: a...@cs.uu.nl / |___\ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] ANNOUNCE: Utrecht Haskell Compiler (UHC), version 1.1.0
On 22 Sep, 2010, at 22:37 , Jason Dagit wrote: Congrats on the release! On Wed, Sep 22, 2010 at 7:30 AM, Atze Dijkstra a...@cs.uu.nl wrote: * For the default backend libraries are provided until including package haskell98. I'm having trouble parsing/understanding what you mean. Could you please elaborate? The haskell98 package is included + the packages/libraries/modules on which the haskell98 pakage depends. However this currently is only provided for the default (interpreter based) backend. hope this clarifies, cheers, Thanks, Jason - 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: a...@cs.uu.nl / |___\ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] ANNOUNCE: Utrecht Haskell Compiler (UHC), version 1.1.0
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: a...@cs.uu.nl / |___\ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] PhD position at the Software Technology group at Utrecht University
There is currently a PhD position available at he Software Technology group, Department of Information and Computing Sciences, Utrecht University, Netherlands. The ST group focusses its research on programming methodologies, compiler construction, and program analysis. In this area the research will take place, in particular the topic is semi-automatic incrementalization of programs narrowed down to our Utrecht Haskell Compiler (UHC), using our Attribute Grammar system (UUAG). For more details and application see http://www.academictransfer.com/employer/UU/vacancy/6114/lang/en/ The application deadline is October 5, 2010. Please contact Prof. Dr. S.D. Swierstra at doai...@cs.uu.nl for more information. The project is funded by a research grant from the Netherlands 'Organization for Scientific Research’ (NWO). Best regards, - 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: a...@cs.uu.nl / |___\ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe