haskel programming has just become the new crypto sexy

[Marc Spitzer]

It is ADA/Cardanos smart contract language https://docs.cardano.org/plutus/learn-about-plutus

--

Freedom is nothing but a chance to be better.
--Albert Camus

The inherent vice of capitalism is the unequal sharing of blessings; the inherent virtue of socialism is the equal sharing of miseries.
-- Winston Churchill

Do the arithmetic or be doomed to talk nonsense.
--John McCarthy

[Stefan Edwards]

There are quite a few Haskell and Haskell-like languages in blockchain, as well as quite a few ML-style languages, and at least two Scheme dialects that I've worked on for clients.

There are also a number of languages and ecosystems that remove Turing completeness in a formal way, as opposed to how Ethereum does it(with burning lots of money to halt). It’s definitely an interesting space for languages and tooling, that’s for sure. 

--
To unsubscribe from this group and stop receiving emails from it, send an email to lisp+uns...@lispnyc.org.

--

====
Q. How many Prolog programmers does it take to change a lightbulb?
A. No.

[John Ioannidis]

On Mon, Aug 23, 2021 at 11:55 PM Marc Spitzer <mspi...@gmail.com> wrote:

It is ADA/Cardanos smart contract language https://docs.cardano.org/plutus/learn-about-plutus

Also check out SymPL: https://www.symbiont.io/technology

Disclaimer: I work at Symbiont.
Also: we are hiring. Talk to me. 

/ji

[Stefan Edwards]

SymPL and Symbiont are super interesting, I highly recommend talking to John if you’re interested in that space since they’re on list.

I’m not affiliated at all, I’ve just seen some of the tech and it is indeed neat. 

--
To unsubscribe from this group and stop receiving emails from it, send an email to lisp+uns...@lispnyc.org.