[Agda] Agda FFI bindings

Alan Jeffrey ajeffrey at bell-labs.com
Fri Sep 17 18:50:52 CEST 2010


I noticed that you'd used both styles :-)  I think I vaguely prefer 
Foo.Primitive over Foreign.Haskell.Foo, so I'll use that convention.

A.

On 09/17/2010 05:11 AM, Nils Anders Danielsson wrote:
> On 2010-09-16 20:40, Alan Jeffrey wrote:
>> Before I start uploading code, I'd like to ask a bit about coding style.
>> The style I've been using so far has been to define two modules:
>>
>> - Foreign.Haskell.Foo: contains just the raw FFI bindings
>> - Foo: links against Foreign.Haskell.Foo, and provides the Agda layer.
>>
>> Is this good practice?
>
> For what it's worth, in the standard library I use the following
> modules:
>
> * IO.Primitive:    Raw FFI bindings.
> * IO:              Agda layer.
> * Foreign.Haskell: Reusable types only intended to be used to
>                      interoperate with Haskell.
>
> --
> /NAD



More information about the Agda mailing list