[Haskell-cafe] Extending Compiler With Authorized Types

[Jonn Mostovoy]

Dear friends,

we are thinking about implementing the paper Authenticated Data Structures,
Generically[1], but we did not have any prior experience with extending
Haskell.

We are informed about compiler plugins[2] and hope that writing a compiler
plugin will be enough to provide machinery required by the paper, but we
are not sure about it.

If anyone has an opinion on bringing Authenticated Data Structures to
Haskell, please share. If there is some interest in our work, we will keep
you up to date in this thread.

- - -
References:
[1]:
http://f.nn.lv/o5/a7/yk/GPADS-A_Miller-Authenticated_Data_Structures_Generically.pdf
[2]:
https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/compiler-plugins.html

—
Kindest regards,
Jonn Mostovoy (IOHK / Serokell)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160407/4fec2eb5/attachment.html>