# \#haskell **URL:** https://forum.canton.network/tag/haskell/59.md [Latest](https://forum.canton.network/latest.md) · [Categories](https://forum.canton.network/categories.md) · [Tags](https://forum.canton.network/tags.md) --- ## [Where are Haskell bindings used?](https://forum.canton.network/t/where-are-haskell-bindings-used/6999)
**Author:** [@Luciano](https://forum.canton.network/u/Luciano)\ **Replies:** 3\ **Last updated:** [January 16, 2024, 9:08am UTC](https://forum.canton.network/t/where-are-haskell-bindings-used/6999 "2024-01-16T09:08:53Z")
… or have been used in the past? I’m referring specifically to these ledger-api bindings: I can see by searching through the daml source code that they’re imported in the assistant: ./libs-haskell/test-utils/DA/Test… --- ## [Does there exist a Haskell code-generator?](https://forum.canton.network/t/does-there-exist-a-haskell-code-generator/7000)
**Author:** [@Luciano](https://forum.canton.network/u/Luciano)\ **Replies:** 1\ **Last updated:** [January 2, 2024, 11:12am UTC](https://forum.canton.network/t/does-there-exist-a-haskell-code-generator/7000 "2024-01-02T11:12:56Z")
i.e. a conversion from LF Values into Haskell data types? Ideally one that would be compatible with All the examples in that module have the conversion hand-coded, for instance here: and it made me wonder whether … --- ## [Monoid Instance](https://forum.canton.network/t/monoid-instance/6040)
**Author:** [@VictorShneer](https://forum.canton.network/u/VictorShneer)\ **Replies:** 3\ **Last updated:** [January 29, 2023, 3:39pm UTC](https://forum.canton.network/t/monoid-instance/6040 "2023-01-29T15:39:44Z")
Hi all! I need some guidance with Monoids. Help will be highly appreciated! I had some code that I decided to refactor in Haskell fashion. I have a data structure: data TwoFungiblesAndWitness = TwoFungiblesAndWitness … --- ## [Extract Value From Script (Daml Syntax)](https://forum.canton.network/t/extract-value-from-script-daml-syntax/5841)
**Author:** [@VictorShneer](https://forum.canton.network/u/VictorShneer)\ **Replies:** 1\ **Last updated:** [December 20, 2022, 9:05am UTC](https://forum.canton.network/t/extract-value-from-script-daml-syntax/5841 "2022-12-20T09:05:09Z")
Hi, Daml community! I’m trying to write a helper function with a notation: extractFirstCidFromQueryResults: (Template t) =\> Script(\[(ContractId t, t)\]) -\> ContractId t Usually, in the script context, I do it like this… --- ## [How do I compile the da-ghc fork independent of the SDK build system? (docker container or VM available?)](https://forum.canton.network/t/how-do-i-compile-the-da-ghc-fork-independent-of-the-sdk-build-system-docker-container-or-vm-available/5290)
**Author:** [@mkawa](https://forum.canton.network/u/mkawa)\ **Replies:** 4\ **Last updated:** [October 4, 2022, 5:09pm UTC](https://forum.canton.network/t/how-do-i-compile-the-da-ghc-fork-independent-of-the-sdk-build-system-docker-container-or-vm-available/5290 "2022-10-04T17:09:43Z")
Hi! I’m beginning work on a formal verification tool for DAML that is likely to require some additions to the daml surface syntax. However, I am having trouble building the DA fork of GHC due to Haskell toolchain and li… --- ## [Recommendation for Haskell Novice Learning Path](https://forum.canton.network/t/recommendation-for-haskell-novice-learning-path/3855)
**Author:** [@Ben\_M](https://forum.canton.network/u/Ben_M)\ **Replies:** 2\ **Last updated:** [February 7, 2022, 8:47pm UTC](https://forum.canton.network/t/recommendation-for-haskell-novice-learning-path/3855 "2022-02-07T20:47:38Z")
Hi Team, Does anyone have a practical learning path for a Haskell novice? I am happy to purchase a book or learning course, to add to the ongoing upskilling. --- ## [Additional Language Knowledge Query](https://forum.canton.network/t/additional-language-knowledge-query/2759)
**Author:** [@quidagis](https://forum.canton.network/u/quidagis)\ **Replies:** 3\ **Last updated:** [June 28, 2021, 8:48am UTC](https://forum.canton.network/t/additional-language-knowledge-query/2759 "2021-06-28T08:48:01Z")
Still working through the Daml\_SDK :hammer\_and\_wrench: and I see there are increasingly more references to Haskell and Scala. While the Haskell references tend to be about the Daml syntax, the Scala references tend to be… --- ## [How to serialize a type variable which is a template name](https://forum.canton.network/t/how-to-serialize-a-type-variable-which-is-a-template-name/1820)
**Author:** [@Richard\_Kapolnai](https://forum.canton.network/u/Richard_Kapolnai)\ **Replies:** 1\ **Last updated:** [December 17, 2020, 5:17pm UTC](https://forum.canton.network/t/how-to-serialize-a-type-variable-which-is-a-template-name/1820 "2020-12-17T17:17:37Z")
I’d like this assert to include the serialized template name in the message. How is it possible? assertPartyCanQuery : (Template t, Eq t) =\> Party -\> ContractId t -\> Script () assertPartyCanQuery party contractId = do … --- ## [Handing ghcide over to the Haskell community](https://forum.canton.network/t/handing-ghcide-over-to-the-haskell-community/1141)
**Author:** [@cocreature](https://forum.canton.network/u/cocreature)\ **Replies:** 3\ **Last updated:** [September 4, 2020, 6:17am UTC](https://forum.canton.network/t/handing-ghcide-over-to-the-haskell-community/1141 "2020-09-04T06:17:06Z")
Almost exactly a year after we split out ghcide, the IDE backend that also drives DAML Studio, into its own repository so that it can be used as a Haskell IDE, today we turned ghcide into a proper community project under… --- ## [Simon Meier & Ognjen Marić - “Can Haskell Be the World's Database" @ ZuriHac2020](https://forum.canton.network/t/simon-meier-ognjen-maric-can-haskell-be-the-worlds-database-zurihac2020/667)
**Author:** [@anthony](https://forum.canton.network/u/anthony)\ **Replies:** 1\ **Last updated:** [June 17, 2020, 10:01am UTC](https://forum.canton.network/t/simon-meier-ognjen-maric-can-haskell-be-the-worlds-database-zurihac2020/667 "2020-06-17T10:01:52Z")
In case you missed it, our Keynote from ZuriHac. DAML is just Haskell for databases after all :slightly\_smiling\_face: