Re: [racket-users] Smart contracts in Racket

this exists now Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language | SpringerLink On Tuesday 20 April 2021 at 14:29:58 UTC-4

Re: [racket-users] Smart contracts in Racket

Thanks Stephen, perhaps you can help get the ball rolling again--I had written to suggest that racketers may want to enter the moralis hackathon as there are some points of convergence: - racket seeks to bridge multiple languages, moralis seeks to bridge multiple blockchains with different smart

Re: [racket-users] Smart contracts in Racket

Dear all, I write to apologise for my behaviour. I inappropriately deleted a post and subsequent discussion from the Racket Discord. I believe this community is for all kinds of developers making all kinds of programs with Racket, and I want everyone to feel welcome to participate in

Re: [racket-users] Smart contracts in Racket

I was just told this topic is off-topic on the racket discord--clearly an injustice: [image: image.png] On Mon, 19 Apr 2021 at 04:16, Adam Golding wrote: > Also I just discovered this: > http://www.michaelburge.us/2017/11/28/write-your-next-ethereum-contract-in-pyramid-scheme.html > > On Mon,

Re: [racket-users] Smart contracts in Racket

Also I just discovered this: http://www.michaelburge.us/2017/11/28/write-your-next-ethereum-contract-in-pyramid-scheme.html On Mon, 19 Apr 2021 at 03:42, Adam Golding wrote: > Beatri please tell us more and publish to Github :-) It seems to me that > some racketers should enter the

Re: [racket-users] Smart contracts in Racket

Beatri please tell us more and publish to Github :-) It seems to me that some racketers should enter the https://moralis.io/hackathon/ to make racket contracts work across other smart contract systems, as this platform has already done some of the boring leg work, otherwise, how will the idea of

Re: [racket-users] Smart contracts in Racket

Hi! Thank you for the Goblins idea, but that's not really what I have in mind. What I did in Racket was a formalisation of two smart contract core languages, to be able to see the execution step-by-step. What I had in mind was something like a git where I could publish my work for case study

Re: [racket-users] Smart contracts in Racket

Hello! My code is a bit long. I formalised two languages for smart contracts, with a typechecker, so this might not be for me :D but thank you! A terça-feira, 16 de março de 2021 à(s) 18:22:44 UTC, James Platt escreveu: > > On Mar 15, 2021, at 7:01 PM, Beatriz Moreira wrote: > > > Hello! I

Re: [racket-users] Smart contracts in Racket

James Platt writes: > On Mar 16, 2021, at 3:24 PM, Christopher Lemmer Webber wrote: > >> But "smart contracts" is a use case, a broad problem domain. What kind >> of smart contracts are you wanting to write? > > I do need to research the topic a bit to make sure that what I want to > do is

Re: [racket-users] Smart contracts in Racket

On Mar 16, 2021, at 3:24 PM, Christopher Lemmer Webber wrote: > But "smart contracts" is a use case, a broad problem domain. What kind > of smart contracts are you wanting to write? I do need to research the topic a bit to make sure that what I want to do is possible but, according to what I

Re: [racket-users] Smart contracts in Racket

James Platt writes: > On Mar 15, 2021, at 7:01 PM, Beatriz Moreira wrote: > >> Hello! I recently used Racket as a tool to see the small step >> execution of some smart contract languages and I was wondering if >> there is anywhere i can submit my work or share it with the Racket >> community. > >

Re: [racket-users] Smart contracts in Racket

On Mar 15, 2021, at 7:01 PM, Beatriz Moreira wrote: > Hello! I recently used Racket as a tool to see the small step execution of > some smart contract languages and I was wondering if there is anywhere i can > submit my work or share it with the Racket community. One place might be the

[racket-users] Smart contracts in Racket

Hello! I recently used Racket as a tool to see the small step execution of some smart contract languages and I was wondering if there is anywhere i can submit my work or share it with the Racket community. Thank you in advance! Beatriz -- You received this message because you are subscribed to