elixir-maybe VS reach-lang

I mean, I could be ignorant about Elixir, but the first thing you do when programming in a language like Kind, Agda, is modeling your problem with types. Everything follows from that. Elixir doesn't even have sum types! It seems like you can't even express very basic concepts like List, Either, Maybe, List, Monad directly. Let alone more sophisticate concepts like subsets, propositional equality, logical negation? I see libs like this which "implement" half-baked, wrong versions of these concepts in contrived ways. Let me know if I'm wrong, but if you can't even translate the first lines of a Kind program in Elixir, I really can't see it as the same thing, at all. Not being elitist! Just saying these are not the same - and that is okay.

Here is a link to their website https://reach.sh/ . Check out their documentation, discord (great community), and they have videos on youtube as well!

I'd highly suggest looking into Reach language (reach.sh). It's a smart contract language based on javascript that has the ability to deploy on ethereum, algorand, and conflux blockchains (i'm sure they will add more at some point). It's a lot simpler to learn than solidity for instance.

https://reach.sh there are also sdks available for Java, JavaScript, Python, go

Pokerand.io is built from the ground-up using Flutter, a UI software development kit created by Google. The Smart Contract, which handles deposits, withdrawals, authentication, and maintains player balances on-chain, is built using the Reach.sh smart contract platform (https://reach.sh/). The Reach contract will be published as an open-source project on GitHub, along with simple NodeJS programs to manually reproduce Deposits and Withdrawals of tokens.

reach.sh is...

When this was first released someone commented "RIP reach" and I assumed the contracts were written with reach.sh

The second point is somewhat invalid. Aside from pyteal, which compiles python to teal smart contracts, there is also Reach which is JavaScript to teal.

If you want a game where there are smart contracts and moves are recorded on the blockchain then either I suggest to wait for Cardano sidechains to itself with smart contract languages which are a bit easier (e.g. https://github.com/reach-sh/reach-lang) or simply develop in Solidity on Milkomeda sidechain with MetaMask.

In this article, we will cover a tutorial on how to build and deploy your decentralized Application on 4everland. For this case, we will be using react js and 4everland will be used to manage our front-end. The Application will use the Ethereum network and it will be written in Reach, a dApp programming language that is simple to learn and has a Javascript syntax.

If you want to look at some examples of smart contracts implemented in a higher level language, there's reach, which is Js based, which compiles to various chain vms including avm. Their GitHub has numerous example smart contracts that I found useful. Their docs & walkthroughs are also good to get you started thinking the right way. You may even consider it for implementation if you're comfortable with JS. It also provides compile time assertions that double check your code for things like "value X should only be visible to participant A" which I found great as a concept.