Haskell has Data.Dynamic:
a method of hiding types in such a way that they may be conditionally resolved at run-time in a type-safe manner.
Here's the implementation in Haskell:
data Dynamic where
Dynamic :: forall a. TypeRep a -> a -> Dynamic
Michael J Klein michaeljklein
michaeljklein
/ data_dynamic_michelson_prototype.md
Last active
February 6, 2020 19:27
michaeljklein
/ sfbw_workshop.md
Last active
November 1, 2019 19:26
TinyURL for this file: https://tinyurl.com/tezos-sfbw19
brew tap tqtezos/homebrew-tq https://github.com/tqtezos/homebrew-tq.git
brew install tezos
brew install lorentz-contract-param
brew install lorentz-contracts-sale
michaeljklein
/ ManagedLedgerAthens.tz
Created
September 20, 2019 20:27
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| parameter (or (or (or (pair %transfer (address :from) | |
| (pair (address :to) | |
| (nat :value))) | |
| (or (pair %transferViaProxy (address :sender) | |
| (pair (address :from) | |
| (pair (address :to) | |
| (nat :value)))) | |
| (pair %approve (address :spender) | |
| (nat :value)))) | |
| (or (pair %approveViaProxy (address :sender) |
michaeljklein
/ fa121_with_pytezos.md
Last active
September 20, 2019 20:52
This is a brief introduction to interacting with FA1.2.1 using
PyTezos.
If on Linux, install dependencies with apt:
michaeljklein
/ ManagedLedgerAthens.tz
Created
September 19, 2019 20:16
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| parameter (or (or (or (pair %transfer (address :from) | |
| (pair (address :to) | |
| (nat :value))) | |
| (or (pair %transferViaProxy (address :sender) | |
| (pair (address :from) | |
| (pair (address :to) | |
| (nat :value)))) | |
| (pair %approve (address :spender) | |
| (nat :value)))) | |
| (or (pair %approveViaProxy (address :sender) |
michaeljklein
/ ManagedLedgerAthens.tz
Last active
September 19, 2019 20:14
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| parameter (or (or (or (pair %transfer (address :from) | |
| (pair (address :to) | |
| (nat :value))) | |
| (or (pair %transferViaProxy (address :sender) | |
| (pair (address :from) | |
| (pair (address :to) | |
| (nat :value)))) | |
| (pair %approve (address :spender) | |
| (nat :value)))) | |
| (or (pair %approveViaProxy (address :sender) |
michaeljklein
/ tq_homebrew_linux_setup.md
Last active
September 19, 2019 14:22
First, install the required dependencies using apt:
sudo apt update
sudo apt install clang curl git make build-essentialNext, install Homebrew for Linux:
michaeljklein
/ LambdaSelfTest.tz
Created
September 10, 2019 19:07
Test on alphanet, demonstrating lack of support for SELF in lambda's
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| parameter (contract address); | |
| storage unit; | |
| code | |
| { | |
| UNPAIR; | |
| DIP { DIP { LAMBDA unit address { DROP; SELF } }; EXEC }; | |
| SWAP; | |
| DIP { AMOUNT }; |
michaeljklein
/ erc-1155.package-lock.json
Created
September 10, 2019 15:17
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| "name": "erc-1155", | |
| "version": "1.0.0", | |
| "lockfileVersion": 1, | |
| "requires": true, | |
| "dependencies": { | |
| "@babel/code-frame": { | |
| "version": "7.5.5", | |
| "resolved": "https://registry.npmjs.org/@babel/code-frame/-/code-frame-7.5.5.tgz", | |
| "integrity": "sha512-27d4lZoomVyo51VegxI20xZPuSHusqbQag/ztrBC7wegWoQ1nLREPVSKSW8byhTlzTKyNE4ifaTA6lCp7JjpFw==", |
michaeljklein
/ ghc_tests_as_lib.md
Created
June 29, 2019 15:11
» find ghc/testsuite/tests -type d -name "*.run_dir*" | wc -l $
7163-- | `Nothing` if no change
type EditM = MaybeT (ReaderT DynFlags Hsc)
infixr 0 >-NewerOlder