[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