Next meeting on Wednesday November 27th

6 views
Skip to first unread message

Erik de Castro Lopo

unread,
Nov 25, 2019, 1:23:31 AM11/25/19
to fp-...@googlegroups.com
Hi all,

The next meeting will be help on Wednesday November 27th

This month we have two talks:

Jose Alberto Vergara Medina :
Reduce accidental complexity for web-development with ReasonML

Jost Berthold :
Compiling the DAML contract language with GHC

Abstracts below.

The RSVP is here:

https://www.meetup.com/FP-Syd/events/vcqlmpyzpbkc/

Doors open at 6pm, meeting proper starts at 6:30.

Everybody who intends to show up on the night shoud RSVP ASAP to allow our
hosts Atlassian to sort out the catering. People who said they were
going but now find that they can't should likewise update their status.

Cheers,
Erik

Reduce accidental complexity for web-development with ReasonML
---------------------------------------------------------------
Abstract: ReasonML aims to reduce accidental complexity for
web-development by supporting a Hindley-Milner type system, ADT's ,
records,
pattern matching and immutable data structures.
This talk introduces ReasonML to experienced functional programmers.

Compiling the DAML contract language with GHC
---------------------------------------------
The smart contract language DAML
is a Haskell variant designed to model the
flow of rights and obligations in multiparty business processes, which is of
particular relevance to distributed ledger technology (DLT). Underneath a
special execution model geared towards the DLT domain, DAML has a functional
core language that, albeit strict, relies heavily on Haskell for both syntax
and semantics - as well as using a customised GHC for compilation.

The latter is the focus of this talk. We hope t^H^H^H^H^H^Hwill provide an
overview of the modifications required to implement DAML and share our
experience using GHC as a compilation framework for such an undertaking.
DAML compilation is implemented as a customised front-end based on GHC,
which
embeds DAML-specific constructs into Haskell; these constructs are desugared
early in the pipeline. After type-checking, the resulting Haskell Core is
translated to a special-purpose "Ledger-Fragment" language (LF).
Compiling DAML with GHC has led to new tool-oriented libraries for the
Haskell ecosystem (in particular, `ghc-lib` and an IDE framework), as well as
new syntax extensions.

--
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/
Reply all
Reply to author
Forward
0 new messages