What are /r/CardanoDevelopers' favorite Products & Services?

From 3.5 billion Reddit comments

So from my understanding:

Scott encoding is better than church encoding which are both just the data type a functional programming language uses.

Plutus is based off Haskell, which are both functional programming languages. Now there are many reasons why cardano chose to use a functional programming language over imperative languages (many object oriented programming languages), even though there might be some disadvantages compared to imperative languages.

Some benefits to functional programming languages: - Immutable variables - Fewer bugs - Functions are easier to test etc.

Edit: These benefits are very important if you want to build the future of finance on the Blockchain. If you joined the crypto space late and didn't know about the dozens of smart contract fails and hacks on Ethereum and many Ethereum copies (Binance smart chain) then you probably should look into these hacks.

>I'm not sure, but maybe try https://www.codewars.com/ to make yourself familiar with it. I find this kind of introduction quite nice, you can start with almost zero knowledge and walk your way through simple tasks.

I'd recommend 'Learn You a Haskell' to get started with Haskell, then maybe 'Get Programming in Haskell'.

Absolutely! This is how basically every NFT works. The token metadata has a link to where it is hosted. People typically use a "permanent" hosting solution so nobody needs to worry about the seller hosting the item later. Here are two hosting solutions:

arweave: https://www.arweave.org/

ipfs: https://ipfs.io/

I received this email today, I presume you received the same thing if you're signed up, but hopefully you'll be able to ask some questions here:

You're invited to the dev community check in tomorrow at 15:30 UTC. If you'd like to raise an issue or share learning this is the place to do it. Feel free to reply to this email if you'd like me to add a question or issue to the agenda.
You can use this Zoom link https://zoom.us/j/8648820498 or add the event to your calendar using the buttons below to get a reminder.

Otherwise you might want to contact u/benohanlon about the issue.

1.This is what I am talking about, when I talk about extraction: https://coq.inria.fr/refman/addendum/extraction.HTML

1. Yes, I know, you can mess up your spec or don't have all the theory formalized you need to proof that your spec is correct. So you end up to proof the implementation of an error. That's two things that happen constantly and no verification tool ever will prevent it.

I know a variety of languages. At work I mainly use Kotlin/Java and Typescript. In my spare time I play around with Python and Dart. I had a hard time learning Haskell, due to every single language I've learned being imperative. But once you get used to it, it becomes way easier. It took me a few weeks to get comfortable with it and I'am still learning a lot until today. I also recommend using www.codewars.com/r/mhDEsg to challenge yourself with little challenges now and then.

Honestly I would not use wordpress for anything. It's hugely bloated and has had a ton of security issues in the past. If you want something super simple and quick you can use grav CMS. Your write markdown files and it converts them into webpages. It's also super fast.

Hey! What error are you seeing?

Personally I prefer building the node with nix. You can download it with the command here [0] and then run nix-build -A scripts.mainnet.node -o launch-node in the cardano-node repo to build an executable which runs with ./launch-node

[0] https://nixos.org/download.html