Compile

Use Cabal to compile and install; ./configure uses Cabal underneath, and that path is not yet well tested. Thrift's library and generated code should compile with pretty much any GHC extensions or warnings you enable (or disable). Please report this not being the case as a bug on https://issues.apache.org/jira/secure/CreateIssue!default.jspa

Chances you'll need to muck a bit with Cabal flags to install Thrift:

CABAL_CONFIGURE_FLAGS="--user" ./configure

Base Types

The mapping from Thrift types to Haskell's is:

Enums

Become Haskell 'data' types. Use fromEnum to get out the int value.

Lists

Become Data.Vector.Vector from the vector package.

Maps and Sets

Become Data.HashMap.Strict.Map and Data.HashSet.Set from the unordered-containers package.

Structs

Become records. Field labels are ugly, of the form f_STRUCTNAME_FIELDNAME. All fields are Maybe types.

Exceptions

Identical to structs. Use them with throw and catch from Control.Exception.

Client

Just a bunch of functions. You may have to import a bunch of client files to deal with inheritance.

Interface

You should only have to import the last one in the chain of inheritors. To make an interface, declare a label:

data MyIface = MyIface

and then declare it an instance of each iface class, starting with the superest class and proceeding down (all the while defining the methods). Then pass your label to process as the handler.

Processor

Just a function that takes a handler label, protocols. It calls the superclasses process if there is a superclass.