FP@StAnd

IFIP Working Group 2.11 Meeting

On “Automatic Program Generation” will be held in St Andrews from 1st-3rd March 2010.

Lectureships and Chair at St Andrews

Lectureships and chair at St Andrews

http://www.jobs.ac.uk/job/AAK643/2-lectureships-/

http://www.jobs.ac.uk/job/AAK633/chair-in-human-computer-interaction-/

The chair says “HCI” but, as always, excellent candidates in any area will be considered.

Note the deadline of February 10th.

Announcements, jobs

New twitter account for parallel Haskell stuff

Set up new twitter account for parallel haskell, @parallelhaskell

Parallel Hackathon in St Andrews

St Andrews will host the first parallel Haskell Hackathon from December 10-12 2009.

The agenda is below

http://hackage.haskell.org/trac/ghc/wiki/HackPar

Idris Tutorial

I’m working on an Idris tutorial which now has enough content that it should be useful – there will be more to come (more examples in particular) as time permits but in its current state it explains most of the language features you might want to use. Comments and suggestions are welcome, especially if accompanied by a patch!

Don Symes Talk in Edinburgh

You are invited to an Informatics Distinguished Lecture by Don Syme,
Senior Researcher at Microsoft Research Cambridge. The lecture will be
followed by a drinks reception.

Regards,

Kirsten Belk

F# – Bringing Functional Programming into the Mainstream
Don Syme, Microsoft
4pm, Wednesday, 18th November 2009
Room G07, The Forum, 10 Crichton Street.

Abstract: The aim of the F# language has been to carve out a space for
functional programming in the context of a modern, applied software
development environment (.NET). F# will now ship as part of Visual
Studio 2010, making functional programming a viable choice for
professional development. This talk will recap how F# has been
developed, its heritage in OCaml, C# and Haskell, and the design
principles that have been used. While compromises have been necessary,
the F# language stays true to the proven elements of typed functional
languages. Building on this core, I will present two highly successful
novel features of F#: units of measure and computation expressions,
the latter with application to asynchronous and parallel programming.

Dependent types talk

Slides from today’s FFLunch talk, titled Domain Specific Language Implementation with Dependent Types are now online on my web page. Including a sneak preview of the half of the talk we didn’t have time for!

I’m experimenting with scribd…

VidioWiki Interviews from ICFP

As many of you will know, VidioWiki conducted a number of short
video interviews at ICFP in Edinburgh. For info, a preliminary
version of the resulting feature is now available from:

http://vidiowiki.com/feature/fnu/icfp_09

There will be a link to this from the ICFP 2009 home page.

Investment Bank Looking for someone with some Haskell Skills

Principal investment firm based in Manhattan is looking for an outstanding software developer to maintain and develop proprietary accounting and portfolio management systems. Job duties will include coding projects as well as management of outsourced system maintenance. Candidates should have at least a bachelor’s degree in computer science from a top university and impeccable coding style. The majority of the programming is done in JAVA at present, so candidates must have extensive experience with JAVA and related technologies but we are always experimenting with the most exciting technologies (e.g. Haskell) and you will be given freedom in choosing suitable programming languages and technologies. Experience working with SQL is a must and familiarity with functional programming is a plus. We are looking for a candidate who shows strong analytical, organizational, and communication skills. Attention to detail is essential. We are a growth oriented firm that values people who take a craftsman’s pride in their work. Candidates must have a desire to constantly improve one’s knowledge of programming and the financial markets. A true love of building quality software and a team spirit is strongly recommended. Background in accounting is not necessary but is definitely a plus. This is a high-impact, high-visibility job opportunity where successful candidates will be entrusted with a lot of responsibility for products that have a direct effect on the P&L of the firm and influences our workflow. Please send your CV and cover letter to recruitment@karamaan.com, thank you.

Intel is developing a version of Concurrent Collections for Haskell

See the link below

Link to Concurrent Collections for Haskell