Intro

[Heath]

Hello! I watched all of Meng's talk (https://www.youtube.com/watch?v=C8VI8QYoBSU) delivered to the Singapore Haskell group and loved it. I'm certainly interested in creating a language for writing contracts and coincidentally started thinking I'd like to tinker with this concept around the time of the DAO incident. My history is that I am a software developer and have started a company around royalties with blockchain technology. I have been using Haskell for awhile and am familiar with Agda and Idris. Also, I've been working on royalties for artists a little over a year now, and while attending a few conferences this past ~year (Stanford Blockchain Workshop, MIT Bitcoin Expo, NYC Blockchain Workshop), I've been fortunate to meet a few of the wonderful bitcoin and ethereum devs. I'm also passionate about languages and the potential around improving economies with blockchain. It's nice to to see others interested in this area and I look forward to staying in touch!

[Wong Meng Weng]

hey, thanks! a link with better audio can be found off the top of https://github.com/legalese/legalese.github.io/blob/master/blog/20160710-haskell.org

On Mon, Jul 18, 2016 at 1:26 AM, Heath <heathm...@gmail.com> wrote:

Hello! I watched all of Meng's talk (https://www.youtube.com/watch?v=C8VI8QYoBSU) delivered to the Singapore Haskell group and loved it. I'm certainly interested in creating a language for writing contracts and coincidentally started thinking I'd like to tinker with this concept around the time of the DAO incident. My history is that I am a software developer and have started a company around royalties with blockchain technology. I have been using Haskell for awhile and am familiar with Agda and Idris. Also, I've been working on royalties for artists a little over a year now, and while attending a few conferences this past ~year (Stanford Blockchain Workshop, MIT Bitcoin Expo, NYC Blockchain Workshop), I've been fortunate to meet a few of the wonderful bitcoin and ethereum devs. I'm also passionate about languages and the potential around improving economies with blockchain. It's nice to to see others interested in this area and I look forward to staying in touch!

--
You received this message because you are subscribed to the Google Groups "Users and General Discussion" group.
To unsubscribe from this group and stop receiving emails from it, send an email to talk+uns...@lists.legalese.com.
To post to this group, send email to ta...@lists.legalese.com.

--

colle...@legalese.com is a group email address used to provide continuity over multiple individuals.

This message was sent by meng...@legalese.com (Meng Weng Wong) on behalf of Legalese.

[heathmatlock]

Thanks Meng. Do you by chance have a copy of your slides? In
particular, I'm interested in your Hindley-Milner generalization
table.

Heath Matlock
+1 256 274 4225

[Meng Wong]

sure, are you talking about https://github.com/legalese/legalese.github.io/blob/master/blog/20160710-haskell.org#so-heres-the-hierarchy-of-awesomeness ?

[heathmatlock]

That is the one. Thanks for sharing!

[Wong Meng Weng]

you're welcome. much the same idea can be found at https://youtu.be/SWTWkYbcWU0?t=32m55s

​

[heathmatlock]

Related: https://www.youtube.com/watch?v=IOiZatlZtGU

On Tue, Jul 19, 2016 at 1:34 AM, Wong Meng Weng <colle...@legalese.com> wrote:
> you're welcome. much the same idea can be found at
> https://youtu.be/SWTWkYbcWU0?t=32m55s
>

[heathmatlock]

Related research:
http://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf
https://www.youtube.com/watch?v=H2uwUdzVD9I

They conclude they need to be able to reason about resources and a
dependently typed language isn't necessarily going to give you that.
They suggests research into Pi Calculus. A researcher from NYU named
Greg Meredith is driving much of the work around the Casper protocol.
He was kind enough to share with me his version of pi caclulus called
K calculus which he is utilizing in the Synereo project:
https://github.com/synereo/specialk/tree/staging/src/main/bnfc

Also related is this work:
https://github.com/synereo/rholang

[i]

I chatted with Greg Meredith at a conference and he talked to me about his Pi-calculus as well.

I confess I never really understood it.  Did you?  I'd love to find a youtube / introductory paper.

-V

[heathmatlock]

Hello i, sorry about the delay (music festivals this weekend). I
haven't looked for tutorials around pi-calculus, but there is a nice
tutorial on linear logic which discusses pi calculus briefly:
https://www.cs.cmu.edu/~fp/courses/15816-f01/schedule.html

I'm always happy to discuss any of this.