What is Hacanon?
Hacanon is a Template Haskell library which automates the process of
binding Haskell to libraries written in C++. It's designed to capture
common patterns and allow the programmer to specify the desired
behaviour accordingly.
Hacanon is capable of generating a usable binding, with
EPSRC Funded Postdoctoral Fellowship
Applications are invited for a research position available to work
with Dr Neil Ghani and Dr Thorsten Altenkirch in the project THEORY
AND APPLICATIONS OF CONTAINERS (EPSRC EP/C511964/1). The aim of this
project is to develop both the theoretical foundations o
I've uploaded fresh bleeding edge binary snapshots of Alex, Haddock and
Happy for Win32 and x86 Linux to
http://aedion.de/haskell/
The corresponding sources are available there, too. Hugs currently has
a few build problems, but a new snapshot of it will be available there
as well soon. Feedback
TH has supported multi-parameter classes for a while... new in 6.4 is
support for fundeps.
Keean.
Benjamin Franksen wrote:
Two clarifications:
On Saturday 19 February 2005 22:33, Benjamin Franksen wrote:
instance RecordField R Label_field1 T1 where
getField (Rec x _) _ = x
putField (
Yes, I have unreleased (yet) TH code for generating globally unique
labels, and lifting records you can do:
$(ttypelift [| data Record = Record {
field1 :: Int,
field2 :: String } |] )
and it lifts this to an HList style record with labels
field1
field2
Labels are assigned unique type lev
Benjamin Franksen wrote:
This library class defines the operations on a record:
class RecordField r l t | r l -> t where
getField :: l -> r -> t
putField :: l -> t -> r -> r
I have once written a short note about how Haskell'98 records could
be made more useful using a c
