https://wiki.haskell.org/api.php?action=feedcontributions&user=Chatterbox&feedformat=atomHaskellWiki - User contributions [en]2024-03-28T23:35:23ZUser contributionsMediaWiki 1.35.5https://wiki.haskell.org/index.php?title=Leksah&diff=27599Leksah2009-04-18T15:42:16Z<p>Chatterbox: On my fresh Ubuntu, the gtk2hs step required the installation of libtool.</p>
<hr />
<div>[[Image:leksah.png|left|none]] [http://code.haskell.org/leksah Leksah]<br />
<br />
'''Leksah: an IDE for Haskell written in Haskell'''<br />
<br />
This is the [http://leksah.org/ Leksah] users' wiki. Leksah is in active development. We plan to release a first beta soon. For general information:<br />
<br />
* Visit the [http://leksah.org/ Leksah] webside<br />
<br />
* Consult the Leksah [http://code.haskell.org/leksah/doc/leksah_manual.pdf manual]<br />
<br />
* Subscribe to the Leksah [http://projects.haskell.org/cgi-bin/mailman/listinfo/leksah/ mailinglist]<br />
<br />
* Contact us for further info (info at leksah.org)<br />
<br />
=== Installation ===<br />
<br />
* First look to the general information in the Manual<br />
<br />
* When you get the following error:<br />
<code>src/IDE/Completion.hs:87:26:<br />
Not in scope: `sourceLanguageManagerGuessLanguage'</code><br />
<br />
you have to install gtksourceview2 in a version > 2.4.0<br />
<br />
* When you get the following error:<br />
<code>Linking dist/build/leksah/leksah ...<br />
/usr/bin/ld: cannot find -ledit<br />
collect2: ld returned 1 exit status</code><br />
<br />
you have to install libedit development files.<br />
<br />
* The package type-level considered toxic!<br />
This package defines > 20000 newtypes for numbers and<br />
wastes a lot of space for metadata. So consider to<br />
unregister it, if you don't really need it.<br />
<br />
<br />
<br />
=== Release notes ===<br />
<br />
Moved to the [http://leksah.org/ Leksah] webside<br />
<br />
=== Installation on Windows from scratch ===<br />
<br />
In the future when Leksah reaches production quality I hope we can provide a Windows installer.<br />
<br />
''This is what you can do to get leksah 0.4.3 running on Vista''<br />
<br />
0. <tt>cabal-install</tt> was not working for me. Probably because currently there is no gtk2hs >= 0.10.0 on Hackage right now.<br />
<br />
1. Install your GHC from http://www.haskell.org/ghc. Duh. Mine was GHC 6.10.1. <br />
<br />
2. Install gtk2hs from http://www.haskell.org/gtk2hs/ or [http://sourceforge.net/project/showfiles.php?group_id=49207&package_id=42440 Sourceforge.net]. It was 0.10.0 when I checked.<br />
<br />
3. Install Cygwin with the online installer from http://www.cygwin.com/<br />
Select packages wget, curl and gcc-core in adition to the standard selection. I used the 1.7.0 version of Cygwin setup, but it is still beta.<br />
<br />
4*. Download darcs from http://wiki.darcs.net/DarcsWiki/Binaries, unpack it in under Program Files and add the path to your environment variables. The file I downloaded was darcsdir-cygwin-2.2.0.tar.bz2. <br />
<br />
5. Download the GHC sources from http://www.haskell.org/ghc. Open a Cygwin shell, make a directory Haskell, copy the source tarballs here and unpack them. <br />
<br />
6*. Download the binary and utf-8 packages from [http://hackage.haskell.org/packages/archive/pkg-list.html Hackage] and copy them to the Haskell folder. Open a Cygwin shell in Administrator mode and unpack the tar files. Go to the directories and do <tt>runhaskell Setup configure</tt>, <tt>runhaskell Setup build</tt>, <tt>runhaskell Setup install</tt>. <br />
<br />
7*. In the Haskell directory do a <tt>darcs get http://code.haskell.org/leksah</tt>. Go to the leksah directory and do a <tt>runhaskell Setup configure</tt>, <tt>runhaskell Setup build</tt>, <tt>runhaskell Setup install</tt>. <br />
<br />
7a) Although I probably didn't get this, previously some gtk error message was resolved by editting C:/Program Files/Gtk2Hs/0.10.0/etc/gtk-2.0/gtkrc and change the theme name from MS-Windows to Raleigh: <tt>gtk-theme-name = "Raleigh"</tt><br />
<br />
8. You may wish to install a full Unicode monospace font if you want to use the source candy feature of leksah. e.g. [http://www.evertype.com/emono/ Everson Mono] or [http://dejavu-fonts.org/wiki/index.php?title=Download Deja Vu Sans Mono].<br />
<br />
9. Start leksah and give your Haskell directory as source root. Select the right font from Help/Prefs. <br />
<br />
10. Have fun with leksah, but remember it is a beta version!<br />
<br />
NB* I actually experienced a bit of a problem here, darcs was taking too much time. While in Cygwin, I cabal-installed it! Voila! So the starred portions are actually unnecessary, I think.<br />
<br />
=== Installation for Ubuntu ===<br />
<br />
Hello, I've installed Leksah 0.4.4.1 today in Ubuntu 8.10. This <br />
procedure is based on the one given in the manual, but uses GHC 6.10.2. <br />
Hope it will be useful. (Maciej Noszczyński)<br />
<br />
<hask><br />
# setup<br />
cd ~<br />
mkdir ghc-build<br />
cd ghc-build<br />
<br />
# compile ghc 6.10.2<br />
sudo aptitude build-dep ghc6<br />
wget http://www.haskell.org/ghc/dist/6.10.2/ghc-6.10.2-src.tar.bz2<br />
wget http://www.haskell.org/ghc/dist/6.10.2/ghc-6.10.2-src-extralibs.tar.bz2<br />
tar jxf ghc-6.10.2-src.tar.bz2<br />
tar jxf ghc-6.10.2-src-extralibs.tar.bz2<br />
cd ghc-6.10.2/<br />
./configure --prefix ~/ghc<br />
make<br />
make install<br />
cd ..<br />
<br />
# cleanup and setup paths<br />
sudo aptitude remove ghc6<br />
export PATH=$PATH:/home/username/ghc/bin:/home/username/.cabal/bin<br />
(you should put this export into some startup file e.g. .bash_profile <br />
and source it when needed)<br />
<br />
# gtk2hs from darcs (> 0.10.0) is needed for 6.10.2<br />
sudo aptitude install darcs<br />
darcs get --partial http://code.haskell.org/gtk2hs/<br />
aptitude install happy alex libglib2.0-dev libgtk2.0-dev <br />
libgtksourceview2.0-dev libgmp3-dev autoconf libtool<br />
cd gtk2hs<br />
autoreconf<br />
./configure<br />
make<br />
sudo make install<br />
cd ..<br />
<br />
# cabal install<br />
wget <br />
http://hackage.haskell.org/packages/archive/cabal-install/0.6.2/cabal-install-0.6.2.tar.gz<br />
tar zxf cabal-install-0.6.2.tar.gz<br />
cd cabal-install-0.6.2<br />
./bootstrap.sh<br />
cd ..<br />
<br />
# build and install Leksah<br />
wget <br />
http://hackage.haskell.org/packages/archive/leksah/0.4.4.1/leksah-0.4.4.1.tar.gz<br />
tar zxf leksah-0.4.4.1.tar.gz<br />
cd leksah-0.4.4.1<br />
mv leksah.cabal leksah.cabal.old<br />
sed -e 's/Cabal ==1.6.0.1/Cabal >=1.6.0.1/g' leksah.cabal.old > leksah.cabal<br />
cabal update<br />
cabal install binary<br />
cabal install utf8-string<br />
runhaskell Setup configure --user<br />
runhaskell Setup build<br />
runhaskell Setup install<br />
cd ..<br />
<br />
# run the IDE<br />
leksah<br />
</hask><br />
<br />
=== Code ===<br />
<br />
Leksah Darcs repository: http://code.haskell.org/leksah</div>Chatterboxhttps://wiki.haskell.org/index.php?title=Grapefruit&diff=27460Grapefruit2009-04-13T22:31:08Z<p>Chatterbox: </p>
<hr />
<div>[[Category:User interfaces]]<br />
[[Category:Libraries]]<br />
[[Category:Arrow]]<br />
<br />
== About ==<br />
<br />
Grapefruit is a library for [[Functional Reactive Programming]] (FRP) with a focus on user interfaces. FRP makes it possible to implement reactive and interactive systems in a declarative style. With Grapefruit, user interfaces are described as networks of communicating widgets and windows. Communication is done via different kinds of signals which describe temporal behavior.<br />
<br />
== Features ==<br />
<br />
Grapefruit has the following important features:<br />
* a push-based FRP implementation where signals<br />
** can be memoized using ordinary variable bindings<br />
** can be merged without doubling of simultaneous events<br />
** cannot behave differently by starting them at different times<br />
* a record system which makes it possible that<br />
** input signals can be left out to get default behavior<br />
** output signals can be left out to ignore uninteresting data<br />
** output signals can be chosen and fetched by pattern matching<br />
* an abstract UI implementation which can work with different backends which in turn use different toolkits to provide different look and feel with one and the same application code (At the moment, the only supported UI toolkit is GTK+ (via [[Gtk2Hs]]). We plan to support Qt in the future, making use of the [[HQK]] project’s output.)<br />
<br />
You might be interested in a [[Grapefruit/Comparison to other FRP libraries|comparison of Grapefruit to other FRP libaries]]<br />
<br />
== Versions ==<br />
<br />
There is a first official Grapefruit release which is release 0.0.0.0.<br />
<br />
Grapefruit underwent fundamental interface and implementation changes before this release. A version from before these changes is available as the “classic” version. In contrast to the released version, the classic version contains support for animated graphics, incrementally updating list signals and a restricted form of dynamic user interfaces (user interfaces whose widget structure may change). These features are expected to come back in future releases.<br />
<br />
== Installation ==<br />
<br />
First, a note for GHC&nbsp;6.8 users. If you get warnings of the form “Can’t find interface-file declaration for type constructor or class …” when compiling with GHC&nbsp;6.8 then don’t panic. This seems to be because of a bug in the (non-official) type family support of GHC&nbsp;6.8. However, it seems to be harmless.<br />
<br />
=== Released version ===<br />
<br />
You need at least GHC&nbsp;6.8.3 and Gtk2Hs&nbsp;0.9.13 to build and use Grapefruit. GHC&nbsp;6.8.2 can ''not'' be used because of [http://hackage.haskell.org/trac/ghc/ticket/1981 GHC&nbsp;bug #1981]. Grapefruit was tested with GHC&nbsp;6.8.3 and Gtk2Hs&nbsp;0.9.13 as well as with GHC&nbsp;6.10.1 and a Gtk2Hs&nbsp;0.10.0.<br />
<br />
Grapefruit is released on [[Hackage]]. If you do not have special requirements, you can install Grapefruit and its prerequisites as follows:<br />
# Install GHC&nbsp;6.10.1 (see [http://www.haskell.org/ghc/download_ghc_6_10_1.html]).<br />
# Install cabal-install (see [http://ghcmutterings.wordpress.com/2008/11/10/bootstrapping-cabal-install/]).<br />
# Insert the line <code>documentation: True</code> into the cabal-install configuration file ($HOME/.cabal/config on UNIX-like systems, %APPDATA%\cabal\config on Windows).<br />
# Install Gtk2Hs&nbsp;0.10.0 (see [http://sourceforge.net/project/showfiles.php?group_id=49207&package_id=42440&release_id=659598]).<br />
# Install Grapefruit by entering <code>cabal update</code>, followed by <code>cabal install grapefruit-ui-gtk grapefruit-examples</code> on a command line.<br />
<br />
=== Current development version ===<br />
<br />
The current development version can be fetched from the [[Darcs|darcs]] repository at http://code.haskell.org/grapefruit/main/. You can build it by building the individual [[Cabal]] packages in the grapefruit-* directories. Note that grapefruit-graphics is currently defunct.<br />
<br />
=== Classic version ===<br />
<br />
If you want to try out the classic version, please get it from the darcs repository at http://code.haskell.org/grapefruit/classic/. You can build it by building the individual [[Cabal]] packages in the grapefruit-* directories. Alternatively, you can use the Setup.lhs script in the root directory to easily build all packages. You can run the following:<br />
;<code>runghc Setup.lhs clean</code><br />
:cleans all packages<br />
;<code>runghc Setup.lhs up-to-install ''configure-options'' -- ''build-options'' -- ''install-options''</code><br />
:configures, builds and installs all packages<br />
;<code>runghc Setup.lhs up-to-register ''configure-options'' -- ''build-options'' -- ''register-options''</code><br />
:configures and builds all packages and registers all library packages (which are all except grapefruit-examples)<br />
<br />
The classic version does not work with GHC&nbsp;6.10.1 and the global Setup.lhs script does not work with newer Cabals.<br />
<br />
== Running the examples ==<br />
<br />
=== Released version and current development version ===<br />
<br />
You can run the examples by typing the following lines into GHCi:<br />
<br />
<blockquote><p><code>:m + Graphics.UI.Grapefruit.Circuit</code><br /><code>:m + Graphics.UI.Grapefruit.'''''UIBackend'''''</code><br /><code>:m + Examples.Grapefruit.'''''Example'''''</code><br /><code>run '''''UIBackend''''' mainCircuit ()</code></p></blockquote><br />
<br />
Replace <code>'''''Example'''''</code> with the name of the example to run and <code>'''''UIBackend'''''</code> with the name of the UI backend you want to use. <br />
At the moment, the only meaningful replacement for <code>'''''UIBackend'''''</code> is <code>GTK</code> and the only meaningful replacements for <code>'''''Example'''''</code> are <code>Simple</code> and <code>Switching</code>.<br />
<br />
We do not provide ready-to-use executables since it is possible (at least in theory) to run the examples with different UI backends and an executable would be fixed to a specific backend.<br />
<br />
=== Classic version ===<br />
<br />
The package grapefruit-examples provides an executable for each example. <br />
<br />
== Documentation ==<br />
<br />
=== Released version ===<br />
<br />
For the following packages, complete documentation is available on [[Hackage]]:<br />
* [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/grapefruit-frp grapefruit-frp]<br />
* [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/grapefruit-records grapefruit-records]<br />
* [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/grapefruit-ui grapefruit-ui]<br />
* [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/grapefruit-examples grapefruit-examples]<br />
<br />
For [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/grapefruit-ui-gtk grapefruit-ui-gtk], only the overview page is available. The reason is that Hackage cannot build grapefruit-ui-gtk since Gtk2Hs is not installed on Hackage. However, if you have installed Grapefruit as described above, you have the documentation locally installed (under $HOME/.cabal/share/doc/ under UNIX-like systems).<br />
<br />
=== Current development version ===<br />
<br />
You can build the documentation by issuing <code>runghc Setup.lhs haddock</code> inside the Grapefruit package directories.<br />
<br />
=== Classic version ===<br />
<br />
There is only little documentation of the classic version and there are no plans to change this situation. So you will have to live with what is there. If you have questions, you may always ask the author of Grapefruit as listed in the *.cabal files.<br />
<br />
To build the documentation, issue <code>runghc Setup.lhs haddock</code> inside the Grapefruit package directories.<br />
<br />
== Publications and talks ==<br />
<br />
The following publications and talks are related to Grapefruit:<br />
* Wolfgang Jeltsch: Declarative Programming of Interactive Systems with Grapefruit. [http://www.cs.uu.nl/wiki/Stc Software Technology Colloquium of Utrecht Universiteit]. May 29, 2008.<br />
** [http://www.cs.uu.nl/wiki/bin/view/Stc/DeclarativeProgrammingOfInteractiveSystemsWithGrapefruit time, place and abstract]<br />
** [http://www.informatik.tu-cottbus.de/~jeltsch/research/uustc-20080529-slides.pdf slides] (including non-shown additional material)<br />
<br />
* Wolfgang Jeltsch: Improving Push-based FRP. [http://www.st.cs.ru.nl/AFP_TFP_2008/ 9th Symposium on Trends in Functional Programming]. May 26–28, 2008.<br />
** [http://www.informatik.tu-cottbus.de/~jeltsch/research/tfp-2008-paper.pdf draft paper] (published in the draft proceedings)<br />
** [http://www.informatik.tu-cottbus.de/~jeltsch/research/tfp-2008-slides.pdf slides] (including non-shown additional material)<br />
<br />
* Wolfgang Jeltsch: Funktionale GUI-Programmierung in Haskell mit Grapefruit. [http://www.iba-cg.de/haskell.html Haskell in Leipzig&nbsp;2]. July 10, 2007.<br />
** [http://video.google.com/videoplay?docid=-8925440604853415181 video]<br />
** [http://www.informatik.tu-cottbus.de/~jeltsch/research/hal-2-slides.pdf slides]<br />
<br />
== Community ==<br />
<br />
Grapefruit has a [http://projects.haskell.org/cgi-bin/mailman/listinfo/grapefruit mailing list] and a [http://trac.haskell.org/grapefruit/ project management website] where you can [http://trac.haskell.org/grapefruit/newticket report bugs], for example.<br />
<br />
== Screenshots ==<br />
<br />
Below are some screenshots from the examples of the classic version. The Simple example is also available in the released version (along with the Switching example, not mentioned here).<br />
;Simple<br />
:Clicking on the button adds a star to the caption of the button. This doesn’t look very meaningful. However, Simple is actually a very important example since it demonstrates that feedbacks work—the output of the button is transformed and then used as the button’s input.<br />
:[[Image:Grapefruit-screenshot-Simple.png]]<br />
;Codebreaker<br />
:This is a Mastermind™-like game. The Add button is enabled if and only if the input field contains a valid code and the display box is enabled if and only if the list of guesses does not contain the code chosen by the computer. These properties are described in a declarative way in the source code.<br />
:[[Image:Grapefruit-screenshot-Codebreaker.png]]<br />
;CircuitingObjects<br />
:This example demonstrates Grapefruit’s support for animations.<br />
:[[Image:Grapefruit-screenshot-CircuitingObjects.png]]</div>Chatterboxhttps://wiki.haskell.org/index.php?title=Hac5/Attendees&diff=27237Hac5/Attendees2009-03-27T22:57:21Z<p>Chatterbox: </p>
<hr />
<div>This is the attendee list for [[Hac5]]. Please refer to the [[Hac5|main page]] for more information.<br />
<br />
= Attendees =<br />
<br />
Once you've [[Hac5/Register|registered]], please add your name to the following table:<br />
<br />
{| class="wikitable"<br />
! Nickname<br />
! Real Name<br />
! Affiliation<br />
! Mobile #<br />
! Arriving<br />
! Departing<br />
! Accomodation<br />
|-<br />
| eelco<br />
| Eelco Lempsink<br />
| UU + Tupil<br />
| +31629486398<br />
| -<br />
| -<br />
| Lives in Utrecht.<br />
|-<br />
| kosmikus<br />
| Andres Löh<br />
| UU<br />
|<br />
| -<br />
| -<br />
| Lives close to Utrecht.<br />
|-<br />
| dreixel<br />
| José Pedro Magalhães<br />
| UU<br />
| +31 650459029<br />
| -<br />
| -<br />
| Lives in Utrecht.<br />
|-<br />
| Heffalump<br />
| Ganesh Sittampalam<br />
| Credit Suisse<br />
| +447968253467<br />
| 17th morning (overnight ferry arrives Hook of Holland at 0630)<br />
| 19th late afternoon (overnight ferry leaves Hook of Holland at 2200)<br />
| Strowis Hostel<br />
|-<br />
| kowey<br />
| Eric Kow<br />
| University of Brighton<br />
|<br />
| 17th morning (overnight ferry)<br />
| 19th late afternoon (overnight ferry)<br />
| Strowis Hostel<br />
|-<br />
|<br />
| Martijn van Steenbergen<br />
| UU<br />
|<br />
|<br />
|<br />
| Lives close to Utrecht.<br />
|-<br />
| Igloo<br />
| Ian Lynagh<br />
| Well-Typed LLP<br />
|<br />
| 17th morning (overnight ferry)<br />
| 19th late afternoon (overnight ferry)<br />
| Strowis hostel<br />
|-<br />
| thorkilnaur<br />
| Thorkil Naur<br />
| thorkilnaur.com<br />
| +45 24 82 85 98<br />
| April 17 (train 9.58, a bit late, but very convenient)<br />
| April 19 (train 19.29)<br />
| Hotel Oorsprongpark Utrecht<br />
|-<br />
| tux_rocker<br />
| Reinier Lamers<br />
| UU<br />
| <br />
| -<br />
| -<br />
| Lives in Utrecht<br />
|-<br />
| Jutaro<br />
| Jürgen Nicklisch-Franken<br />
| ICS AG<br />
|<br />
| 16th 23:00<br />
| 19th 17:00<br />
| Hotel de Admiraal<br />
|-<br />
| kolmodin<br />
| Lennart Kolmodin<br />
| <br />
| +46736223606<br />
| Don't know yet.<br />
| Don't know yet.<br />
| Don't know yet.<br />
|-<br />
| chr1s<br />
| Chris Eidhof<br />
| UU + Tupil<br />
| +31628887656<br />
| -<br />
| -<br />
| Lives in Utrecht.<br />
|-<br />
| sebas<br />
| Sebastiaan Visser<br />
| UU<br />
| +31624828951<br />
| -<br />
| -<br />
| Lives in Utrecht.<br />
|-<br />
| dcoutts<br />
| Duncan Coutts<br />
| Well-Typed LLP<br />
|<br />
| 16th<br />
| 20th<br />
| Don't know yet.<br />
|-<br />
| benmos<br />
| Ben Moseley<br />
| Barcap<br />
| +447788138855<br />
| 17th morning (overnight ferry arrives Hook of Holland at 0630)<br />
| 19th late afternoon (overnight ferry leaves Hook of Holland at 2200)<br />
| Hotel Oorsprongpark Utrecht<br />
|-<br />
| jeltsch<br />
| Wolfgang Jeltsch<br />
| BTU&nbsp;Cottbus<br />
| <br />
| at April&nbsp;17 in the morning (train arrives at 08:28)<br />
| at April&nbsp;19 in the afternoon (train departs at 16:59)<br />
| Hotel Oorsprongpark Utrecht<br />
|-<br />
-<br />
| beschmi<br />
| Benedikt Schmidt<br />
| ETH Zurich<br />
| +41 797417542<br />
| Don't know yet.<br />
| Don't know yet.<br />
| Don't know yet.<br />
|-<br />
| dons<br />
| Don Stewart<br />
| Galois<br />
|<br />
| Don't know yet.<br />
| Don't know yet.<br />
| Don't know yet.<br />
|-<br />
| blancolioni<br />
| Fraser Wilson<br />
| Anago bv<br />
| +31 6 81462922<br />
| -<br />
| -<br />
| Lives in Utrecht<br />
|-<br />
| Feuerbach<br />
| Roman Cheplyaka<br />
| <br />
|<br />
| 16th in the evening<br />
| 21th in the morning<br />
| Strowis<br />
|-<br />
| hesselink<br />
| Erik Hesselink<br />
| UU<br />
| +31 650994887<br />
| -<br />
| -<br />
| Lives in Utrecht<br />
|-<br />
| -<br />
| Marnix Klooster<br />
| Infor/private<br />
| -<br />
| -<br />
| -<br />
| Lives close to Utrecht<br />
|-<br />
|arjanb<br />
|Arjan Boeijink<br />
| -<br />
| -<br />
|Either the 17th or 18th in morning<br />
|19th in the evening<br />
|Not decided yet on traveling or finding a place to sleep.<br />
|-<br />
| Chatterbox<br />
| Peter Verswyvelen<br />
| www.anygma.com<br />
| <br />
| April&nbsp;17 in the afternoon<br />
| April&nbsp;19 in the afternoon<br />
| Apollo Hotel Utrecht City Centre<br />
|-<br />
| Beelsebob<br />
| Thomas Davie<br />
| www.anygma.com<br />
| <br />
| April&nbsp;17 in the afternoon<br />
| April&nbsp;19 in the afternoon<br />
| Apollo Hotel Utrecht City Centre<br />
|-<br />
| basvandijk<br />
| Bas van Dijk<br />
| Radboud Universiteit Nijmegen<br />
| +31614065248<br />
| 17th, morning, by car<br />
| 19th, evening<br />
| Don't know yet.<br />
|-<br />
|<br />
| Roel van Dijk<br />
| Radboud Universiteit Nijmegen<br />
| +31612856453<br />
| 17th, morning, by car<br />
| 19th, evening<br />
| Don't know yet.<br />
|-<br />
| remi<br />
| Remi Turk<br />
| UvA / UU<br />
| <br />
| -<br />
| -<br />
| Don't know yet<br />
|-<br />
| npouillard (ertai)<br />
| Nicolas Pouillard<br />
| INRIA<br />
| +33680126526<br />
| 17th, morning<br />
| 19th, afternoon<br />
| B&B Utrecht<br />
|-<br />
|nominolo<br />
|Thomas Schilling<br />
|University of Kent<br />
|<br />
|16th, probably<br />
|20th<br />
|friend's place<br />
|-<br />
| waern<br />
| David Waern<br />
| Amadeus<br />
|<br />
| 16th<br />
| 20th<br />
| Don't know yet<br />
|-<br />
| mornfall<br />
| Petr Ročkai<br />
| Masaryk University<br />
| <br />
| 17th 9:58 by train (to Utrecht Centraal)<br />
| 19th 19:29 by train<br />
| Friend's place<br />
|-<br />
|<br />
| Jeroen Fokker<br />
| UU<br />
|<br />
| -<br />
| -<br />
| Lives in Utrecht<br />
|-<br />
| sih<br />
| Simon Hengel<br />
| <br />
| +4917661064074<br />
| -<br />
| -<br />
| Don't know yet<br />
|}<br />
<br />
= Additional Comments =<br />
<br />
Please use this section to leave comments for other attendees, e.g. for organizing accommodation.</div>Chatterboxhttps://wiki.haskell.org/index.php?title=Hac5/Attendees&diff=26889Hac5/Attendees2009-03-08T11:35:27Z<p>Chatterbox: </p>
<hr />
<div>This is the attendee list for [[Hac5]]. Please refer to the [[Hac5|main page]] for more information.<br />
<br />
= Attendees =<br />
<br />
Once you've [[Hac5/Register|registered]], please add your name to the following table:<br />
<br />
{| class="wikitable"<br />
! Nickname<br />
! Real Name<br />
! Affiliation<br />
! Mobile #<br />
! Arriving<br />
! Departing<br />
! Accomodation<br />
|-<br />
| eelco<br />
| Eelco Lempsink<br />
| UU + Tupil<br />
| +31629486398<br />
| -<br />
| -<br />
| Lives in Utrecht.<br />
|-<br />
| kosmikus<br />
| Andres Löh<br />
| UU<br />
|<br />
| -<br />
| -<br />
| Lives close to Utrecht.<br />
|-<br />
| dreixel<br />
| José Pedro Magalhães<br />
| UU<br />
| +31 650459029<br />
| -<br />
| -<br />
| Lives in Utrecht.<br />
|-<br />
| Heffalump<br />
| Ganesh Sittampalam<br />
| Credit Suisse<br />
| +447968253467<br />
| 17th morning (overnight ferry arrives Hook of Holland at 0630)<br />
| 19th late afternoon (overnight ferry leaves Hook of Holland at 2200)<br />
| Strowis Hostel<br />
|-<br />
| kowey<br />
| Eric Kow<br />
| University of Brighton<br />
|<br />
| 17th morning (overnight ferry)<br />
| 19th late afternoon (overnight ferry)<br />
| Strowis Hostel<br />
|-<br />
|<br />
| Martijn van Steenbergen<br />
| UU<br />
|<br />
|<br />
|<br />
| Lives close to Utrecht.<br />
|-<br />
| Igloo<br />
| Ian Lynagh<br />
| Well-Typed LLP<br />
|<br />
| 17th morning (overnight ferry)<br />
| 19th late afternoon (overnight ferry)<br />
| Strowis hostel<br />
|-<br />
| thorkilnaur<br />
| Thorkil Naur<br />
| thorkilnaur.com<br />
| +45 24 82 85 98<br />
| April 17 (train 9.58, a bit late, but very convenient)<br />
| April 19 (train 19.29)<br />
| Don't know<br />
|-<br />
| tux_rocker<br />
| Reinier Lamers<br />
|<br />
| <br />
| -<br />
| -<br />
| Lives in Utrecht<br />
|-<br />
| Jutaro<br />
| Jürgen Nicklisch-Franken<br />
| ICS AG<br />
|<br />
| 16th 23:00<br />
| 19th 17:00<br />
| Hotel de Admiraal<br />
|-<br />
| kolmodin<br />
| Lennart Kolmodin<br />
| <br />
| +46736223606<br />
| Don't know yet.<br />
| Don't know yet.<br />
| Don't know yet.<br />
|-<br />
| chr1s<br />
| Chris Eidhof<br />
| UU + Tupil<br />
| +31628887656<br />
| -<br />
| -<br />
| Lives in Utrecht.<br />
|-<br />
| sebas<br />
| Sebastiaan Visser<br />
| UU<br />
| +31624828951<br />
| -<br />
| -<br />
| Lives in Utrecht.<br />
|-<br />
| dcoutts<br />
| Duncan Coutts<br />
| Well-Typed LLP<br />
|<br />
| 16th<br />
| 20th<br />
| Don't know yet.<br />
|-<br />
| benmos<br />
| Ben Moseley<br />
| Barcap<br />
| +447788138855<br />
| 17th morning (overnight ferry arrives Hook of Holland at 0630)<br />
| 19th late afternoon (overnight ferry leaves Hook of Holland at 2200)<br />
| Hotel Oorsprongpark Utrecht<br />
|-<br />
| jeltsch<br />
| Wolfgang Jeltsch<br />
| BTU&nbsp;Cottbus<br />
| <br />
| at April&nbsp;17 in the morning (train arrives at 08:28)<br />
| at April&nbsp;19 in the afternoon (train departs at 16:59)<br />
| Hotel Oorsprongpark Utrecht<br />
|-<br />
-<br />
| beschmi<br />
| Benedikt Schmidt<br />
| ETH Zurich<br />
| +41 797417542<br />
| Don't know yet.<br />
| Don't know yet.<br />
| Don't know yet.<br />
|-<br />
| dons<br />
| Don Stewart<br />
| Galois<br />
|<br />
| Don't know yet.<br />
| Don't know yet.<br />
| Don't know yet.<br />
|-<br />
| blancolioni<br />
| Fraser Wilson<br />
| Anago bv<br />
| +31 6 81462922<br />
| -<br />
| -<br />
| Lives in Utrecht<br />
|-<br />
| Feuerbach<br />
| Roman Cheplyaka<br />
| <br />
|<br />
| Don't know yet.<br />
| Don't know yet.<br />
| Don't know yet.<br />
|-<br />
| hesselink<br />
| Erik Hesselink<br />
| UU<br />
| +31 650994887<br />
| -<br />
| -<br />
| Lives in Utrecht<br />
|-<br />
| -<br />
| Marnix Klooster<br />
| Infor/private<br />
| -<br />
| -<br />
| -<br />
| Lives close to Utrecht<br />
|-<br />
|arjanb<br />
|Arjan Boeijink<br />
| -<br />
| -<br />
|Either the 17th or 18th in morning<br />
|19th in the evening<br />
|Not decided yet on traveling or finding a place to sleep.<br />
|-<br />
| Chatterbox<br />
| Peter Verswyvelen<br />
| Antwerp<br />
| <br />
| April&nbsp;17 in the afternoon<br />
| April&nbsp;19 in the afternoon<br />
| Apollo Hotel Utrecht City Centre<br />
|-<br />
| Beelsebob<br />
| Thomas Davie<br />
| Antwerp<br />
| <br />
| April&nbsp;17 in the afternoon<br />
| April&nbsp;19 in the afternoon<br />
| Apollo Hotel Utrecht City Centre<br />
|-<br />
|}<br />
<br />
= Additional Comments =<br />
<br />
Please use this section to leave comments for other attendees, e.g. for organizing accommodation.</div>Chatterboxhttps://wiki.haskell.org/index.php?title=Haskell_in_industry&diff=19170Haskell in industry2008-02-16T12:10:02Z<p>Chatterbox: </p>
<hr />
<div>Haskell is growing in commercial use. This page collects resources on<br />
the industrial use of Haskell.<br />
<br />
== Haskell in Industry ==<br />
<br />
* [http://www.aetion.com/ Aetion Technologies LLC]<br />
<br />
<blockquote><br />
Aetion is a defense contractor whose applications use artificial intelligence.<br />
Rapidly changing priorities make it important to minimize the code impact of<br />
changes, which suits Haskell well. Aetion has developed three main projects in<br />
Haskell, all successful. Haskell's concise code was perhaps most important for<br />
rewriting: it made it practicable to throw away old code occasionally. DSELs<br />
allowed the AI to be specified very declaratively. <br />
</blockquote><br />
<br />
* [http://www.anygma.com/ Anygma]<br />
<blockquote><br />
Anygma is a startup company focusing on generating easy-to-use tools for creating audio-visual 2D/3D content, in the area of entertainment, media, corporate communication and the internet. The company is closely related to [http://www.nazooka.com/ Nazooka], a niche player in the media industry, specialized in creating cross media concepts and communication solutions. Anygma is using Haskell to quickly build a prototype of its new content creation platform, targeted towards artists and designers. <br />
</blockquote><br />
<br />
* [http://www.bluespec.com/ Bluespec, Inc.]<br />
<br />
<blockquote><br />
Developing a modern integrated circuit (ASIC or FPGA) is an enormously<br />
expensive process involving specification, modeling (to choose and fix the<br />
architecture), design (to describe what will become silicon) and verification<br />
(to ensure that it meets the specs), all before actually committing anything to<br />
silicon (where the cost of a failure can be tens of millions of dollars).<br />
Bluespec, Inc. is a three year-old company that provides language facilities,<br />
methodologies, and tools for this purpose, within the framework of the IEEE<br />
standard languages SystemVerilog and SystemC, but borrowing ideas heavily from<br />
Term Rewriting Systems and functional programming languages like Haskell. In<br />
this talk, after a brief technical overview to set the context, we will<br />
describe our tactics and strategies, and the challenges we face, in introducing<br />
declarative programming ideas into this field, both externally (convincing<br />
customers about the value of these ideas) and internally (using Haskell for our<br />
tool implementation). <br />
</blockquote><br />
<br />
* [http://www.credit-suisse.com/ Credit Suisse Global Modelling and Analytics Group]<br />
<br />
<blockquote><br />
GMAG, the quantitative modelling group at Credit Suisse, has been using Haskell<br />
for various projects since the beginning of 2006, with the twin aims of<br />
improving the productivity of modellers and making it easier for other people<br />
within the bank to use GMAG models. Current projects include: Further work on<br />
tools for checking, manipulating and transforming spreadsheets; A<br />
domain-specific language embedded in Haskell for implementing reusable<br />
components that can be compiled into various target forms.<br />
[http://tinyurl.com/2lqoq9 We are hiring].<br />
</blockquote><br />
<br />
* [http://www.erlang-consulting.com/ Erlang Training and Consulting Ltd]<br />
<br />
* [http://www.galois.com/ Galois, Inc]<br />
<br />
<blockquote><br />
Galois designs and develops high confidence software for critical applications.<br />
Our innovative approach to software development provides high levels of<br />
assurance, yet its scalability enables us to address the most complex problems.<br />
We have successfully engineered projects under contract for corporations and<br />
government clients in the demanding application areas of security, information<br />
assurance and cryptography. <br />
</blockquote><br />
<br />
* [http://iba-cg.de/haskell.html iba Consulting Gesellschaft] - Intelligent business architecture for you<br />
<blockquote>iba CG develops software for large companies: <br />
* risk analysis and reporting solution for power supply company; <br />
* contract management, assert management, booking and budgeting software for one of the worldwide leading accounting firm.<br />
</blockquote><br />
<br />
* [http://article.gmane.org/gmane.comp.lang.haskell.cafe/21951 HAppS LLC]<br />
<br />
<blockquote><br />
Open web development company.<br />
</blockquote><br />
<br />
* [http://www.linspire.com/ Linspire]<br />
<br />
<blockquote><br />
Linspire, Inc. has used functional programming since its inception in 2001,<br />
beginning with extensive use of O'Caml, with a steady shift to Haskell as its<br />
implementations and libraries have matured. Hardware detection, software<br />
packaging and CGI web page generation are all areas where we have used<br />
functional programming extensively. Haskell's feature set lets us replace much<br />
of our use of little languages (e.g., bash or awk) and two-level languages (C<br />
or C++ bound to an interpreted language), allowing for faster development,<br />
better code sharing and ultimately faster implementations. Above all, we value<br />
static type checking for minimizing runtime errors in applications that run in<br />
unknown environments and for wrapping legacy programs in strongly typed<br />
functions to ensure that we pass valid arguments. <br />
</blockquote><br />
<br />
* [http://www.haskell.org/haskellwiki/Nokia_Research_Center_Cambridge Nokia Research Center Cambridge]<br />
<br />
<blockquote><br />
Nokia Research Center Cambridge is a group of 16 researchers located in<br />
Cambridge, Massachusetts. NRCC's charter is to renew Nokia via open<br />
innovation, in particular via joint research projects with MIT Computer<br />
Science and Artificial Intelligence Laboratory. We are a systems<br />
research center, investigating all aspects of future mobile phones and<br />
services. Our goal is to develop new technologies, applications, and<br />
services, and to work with the rest of Nokia to make these a reality.<br />
</blockquote><br />
<br />
* [http://www.db.com/ Deutsche Bank Equity Proprietary Trading, Directional Credit Trading]<br />
<br />
<blockquote><br />
The Directional Credit Trading group uses Haskell as the primary implementation language for all its software infrastructure.<br />
</blockquote><br />
<br />
* [http://cufp.galois.com/2007Abstracts.html#CyrilSchmidt ABN AMRO]<br />
<br />
<blockquote><br />
ABN AMRO is an international bank headquartered in Amsterdam. For its investment banking activities it needs to measure the counterparty risk on portfolios of financial derivatives.<br />
</blockquote><br />
<br />
* [http://www.barcap.com/ Barclays Capital]<br />
<br />
<blockquote><br />
See http://jobs-in-fp.org/<br />
</blockquote><br />
<br />
* [http://blog.openomy.com/2008/01/case-study-using-haskell-and-happs-for.html Openomy]<br />
:Openomy's API v2.0 is developed in Haskell, using the [http://www.happs.org/ HAppS] web platform.<br />
<br />
Quotes are taken from the [http://www.galois.com/cufp/ Commercial Users of Functional Programming] workshop. If you're using Haskell commercially, please add your details here.<br />
<br />
== Jobs and recruitment ==<br />
<br />
[[Jobs|Haskell jobs]].<br />
<br />
See also the [http://www.jobs-in-fp.org/ Jobs in Functional Programming] event.<br />
<br />
== Commercial Users of Functional Programming Workshop ==<br />
<br />
[http://www.galois.com/cufp/ Commercial Users of Functional Programming]<br />
<br />
The goal of [http://www.galois.com/cufp/ CUFP] is to build a community<br />
for users of functional programming languages and technology, be they<br />
using functional languages in their professional lives, in an open<br />
source project (other than implementation of functional languages), as a<br />
hobby, or any combination thereof. In short: anyone who uses functional<br />
programming as a means, but not an end.<br />
<br />
[[Category:Community]]</div>Chatterbox