From HaskellWiki

Revision as of 09:10, 3 April 2011 (edit) Julianporter (Talk | contribs) (→Current projects) ← Previous diff		Revision as of 17:47, 31 October 2011 (edit) (undo) Julianporter (Talk | contribs) (→Current projects) Next diff →
Line 12:		Line 12:
	==Current projects==		==Current projects==
-	*I have developed a simple implementation of MapReduce using a modified form of monad. It's described [[MapReduce_as_a_monad|here]]. I would be very happy if others joined in the development effort.	+	===MapReduce===
-	*I'm defining and then coding a language ([[Catskell]]) in the spirit of [http://lolcode.com/ LOLCODE] which is basically a feline-friendly subset of Haskell. My intention is to write a Catskell-to-Haskell translator. This should be a good exercise in making sure I really understand the language.	+
		+	I am looking at ways of implementing MapReduce-type algorithms using the functional approach. The key insight is that a generalised MapReduce algorithm is simply the repeated application of a sequence of <hask> >>= </hask> operations in a suitable monad. There are two strands of activity:
		+
		+	*Development of a [[MapReduce_as_a_monad|monadic view of MapReduce]]
		+	*Developing a [[MapReduce_with_CloudHaskell|proof-of-concept demonstrator for monadic MapReduce]], using [[CloudHaskell]] as a framework for distributed Haskell applications.
		+
		+	The second activity is undertaken with the support of the authors of CloudHaskell. I would be very happy if others joined in the development effort.
		+
		+	===Catskell===
		+
		+	I'm defining and then coding a language ([[Catskell]]) in the spirit of [http://lolcode.com/ LOLCODE] which is basically a feline-friendly subset of Haskell. My intention is to write a Catskell-to-Haskell translator. This should be a good exercise in making sure I really understand the language.
	=About me=		=About me=
	By training I am a mathematician. I have been programming computers of some form or other since the early 1980s. I also have a keen interest in philosophy and music. My personal website is [http://www.porternet.org here].		By training I am a mathematician. I have been programming computers of some form or other since the early 1980s. I also have a keen interest in philosophy and music. My personal website is [http://www.porternet.org here].

---

Revision as of 17:47, 31 October 2011

Contents 1 About my work 1.1 Background 1.2 Current projects 1.2.1 MapReduce 1.2.2 Catskell 2 About me

1 About my work

1.1 Background

My particular areas of interest in programming are:

• Functional programming
• Formal modelling / model based programming
• Concurrency / cloud programming
• Embedded systems

I am also establishing a small business developing control systems and software for robots. The key idea is to make the robot part of the cloud rather than a stand-alone device. Further information:

• Company website
• Blog (also contains research papers on Haskell and functional programming)

1.2 Current projects

1.2.1 MapReduce

I am looking at ways of implementing MapReduce-type algorithms using the functional approach. The key insight is that a generalised MapReduce algorithm is simply the repeated application of a sequence of operations in a suitable monad. There are two strands of activity:

• Development of a monadic view of MapReduce
• Developing a proof-of-concept demonstrator for monadic MapReduce, using CloudHaskell as a framework for distributed Haskell applications.

The second activity is undertaken with the support of the authors of CloudHaskell. I would be very happy if others joined in the development effort.

1.2.2 Catskell

I'm defining and then coding a language (Catskell) in the spirit of LOLCODE which is basically a feline-friendly subset of Haskell. My intention is to write a Catskell-to-Haskell translator. This should be a good exercise in making sure I really understand the language.

2 About me

By training I am a mathematician. I have been programming computers of some form or other since the early 1980s. I also have a keen interest in philosophy and music. My personal website is here.