WSwslh·Jul 26, 2024Submission
2 points · Open discussionkadena-io
pact
Haskell2017–2024
kadena-io / pact · Archived
pact
The Pact Smart Contract Language
7Distinct people
9Mentions
0Explicit recommenders
606GitHub stars
What to know before exploring
What it is
The Pact Smart Contract Language
GitHub
Where it is used
No documented product use has been verified yet.
What people are saying
No recommendation phrase was found in the indexed comments.
No classified warning is attached to this page. Read the discussions before treating silence as approval.
Also in these discussions
No other repository is repeatedly linked in the same discussions.
This week on Hacker News
Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 3:56:07 PM UTC.
No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.
Mentions over time
HN mentions by year9 dated mentions
Observed mentions: 2017-07-03 22:28:59 UTC to 2024-07-26 19:45:12 UTC.
Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.
View mention counts and date ranges
| Period | Start (UTC) | End (exclusive, UTC) | Mentions | Submissions | Comments |
|---|---|---|---|---|---|
| 2017 | 2017-01-01 00:00:00 UTC | 2018-01-01 00:00:00 UTC | 4 | 0 | 4 |
| 2018 | 2018-01-01 00:00:00 UTC | 2019-01-01 00:00:00 UTC | 1 | 0 | 1 |
| 2019 | 2019-01-01 00:00:00 UTC | 2020-01-01 00:00:00 UTC | 2 | 1 | 1 |
| 2020 | 2020-01-01 00:00:00 UTC | 2021-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2021 | 2021-01-01 00:00:00 UTC | 2022-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2022 | 2022-01-01 00:00:00 UTC | 2023-01-01 00:00:00 UTC | 1 | 0 | 1 |
| 2023 | 2023-01-01 00:00:00 UTC | 2024-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2024 | 2024-01-01 00:00:00 UTC | 2025-01-01 00:00:00 UTC | 1 | 1 | 0 |
What Hacker News says
9 sourcesHow does this compare to pact[0]?
[0] https://github.com/kadena-io/pact
In Lurk – Language for Recursive ZK-SNARKs Inspired by Common Lisp and SchemePact Programming Language (For Smart Contracts)
2 points · Open discussionI'll use a bit of Haskell in my response, since that's what I'm most comfortable with and what we actually use for our work. Hopefully that's okay.
We can define a data type of expressions in our language, with addition, multiplication, etc.
data Expr = Addition Expr Expr | Multiplication Expr Expr | ...
Then we need the type of an interpreter which consumes program inputs and produces an output. I'll leave this abstract for now.
data Interpreter = ...
By map, we just mean that we can write a Haskell function with this type
interpret :: Expr -> Interpreter
interpret (Addition a b) = (+) <$> interpret a <*> interpret b
interpret (Multiplication a b) = (*) <$> interpret a <*> interpret b
If you're curious, here's some real symbolic evaluation code I wrote doing the same https://github.com/kadena-io/pact/blob/234ba3dd01f0df8b4e4
Read the rest
Is one of them Juno? https://github.com/kadena-io/juno. If so, I was lead eng on it so let me know if you have any questions.
FYI we're hiring haskell devs to work on our private consensus layer (based off of Juno), our public consensus protocol (http://kadena.io/docs/chainweb-v15.pdf) and our smart contract language https://github.com/kadena-io/pact + formal verification system. hiring+hn@kadena.io.
In JPMorgan's Blockchain Chief Is Setting Out on Her OwnThe author also mentions his company's release Uplink (https://github.com/adjoint-io/uplink), plus there's the Pact smart contract language (https://github.com/kadena-io/pact)
In Reflecting on Haskell in 2017Nice article and project.
I have been experimenting with Pact that is written in Haskell and implements a non Turing complete Lisp language for writing contracts and provides a blockchain implementation. https://github.com/kadena-io/pact
In Write your next Ethereum contract in Pyramid SchemePact (http://github.com/kadena-io/pact) is a turing-incomplete LISP (no recursion, no lambdas, no unbounded loops ... no macros either ;) ) and built in Haskell. Also has formal verification by directly compiling to SMT-LIB2 (not released yet, but watch a demo! https://youtu.be/l7XuSuEe-Yg?t=22m23s).
In Parity Wallet security alertPact is live and in-use in enterprise settings on our permissioned blockchain platform; you can download the interpreter which when launched with "-serve" presents the RPC REST API, allowing you to write whole applications with just the interpreter; indeed there's a sample "TODO MVC" app showing just how easy this is (see https://github.com/kadena-io/pact/blob/master/README.md).
As for a public platform, stay tuned, we will have an annoucement very soon. Suffice to say for now: any work you do using Pact will have a public chain to run on in the very near future; you can use the O/S releases to develop Pact; and if you have an idea about permissioned (think "B2B only") blockchain applications, get in touch!
In Underhanded Solidity Coding Contest