With which lanauge will DAPPS be written?


#1

Is it Haskell? or is Haskell what Daedalus is written in? I had a little confusion there.


#2

The protocol itself, so the ADA coin, is written in Haskell, a functional programming language. Because Haskell provides industrial strength! Durability, and is more robust than other imperative languages like java, python or things like that.

The layer that you get to write smart-contracts with, the things you use to make DAPPS with, can be anything.
I think they will use loads of different imperative programming languages to do it. I donā€™t think they really made a decision on that yet. But they will be imperative. I am quite sure.

Correct me if Iā€™m wrong though! I am just 23-year-old dude with too much time on its hands.


#3

Hey !

From what I understood so far, on the long term we will be able to implement smart contract using different programming languages (Javascript for example, Charles talked about the different languages they are targeting at implementing in one of his videos), but on the long term we will be using a DSL close to Haskell for writing contract called Plutus.

You can read a bit more on it on Cardanoā€™s documentation : Plutus

Matt


#4

Just to remove any doubts, Charles confirmed himself on Reddit that Smart Contracts can be written in ANY K defined languageā€¦

Promisingā€¦


#6

so, i cant find a list of K defined languages other than like Q and KdB (at least theres a db) so does that mean no javascript or python?


#7

thank you, exactly what I was looking for.

Have you experimented yourself with the lang?


#8

Thank you guys very much. I really think using functional strategy will help the average person get their ideas out there , a price to pay for imperative programmers to be sure (fp being so to speak learned backwards), but a smart investment in a smart contract :), I feel like the devs of this program donā€™t get enough credit for their true intuition of computing and combinatoricsā€¦ this white paper is likely going to help change millions of peopleā€™s lives. So grateful


#9

Hello all, first post! @CosmosX is correct contracts can be in any k defined language. @Brisc Javascript and Python will almost certainly be added, Charles has said it takes some weeks to write the K definition for a language.

While you can bring your own language, I highly, highly recommend learning Haskell so you can best use Plutus. Plutus will be a domain specific language for Smart Contracts so itā€™ll have some advantages and overall be the best to use. To learn Haskell I recommend this book ā€œHaskell Programming From First Principlesā€ http://haskellbook.com/


#10

another source for Haskell:

http://learnyouahaskell.com/chapters


#11

Thanks for posting the Haskell learning guides.

ANotoher question, will database software be able to be used on cardano? like mysql, postgres, nosql ?


#12

I really like this one best of the Haskell places I have viewedā€¦working through that site right now.


#13

I was under the assumption Cardano smart contracts are written in Plutus - I did hear Charles mention IOHK working towards a Haskell to K language ā€˜generatorā€™ - so theoretically haskell can be written (favorably mathematically proven with isabelle) and then generate c++ (for say embedded systems).