pony-tutorial VS www.haskell.org

I don't think that there is a book written about Pony, but the tutorial and the list of patterns (WIP) are all you need to learn the language.

[Pony](https://tutorial.ponylang.io/): actors, reference capabilities, object capabilities.

Pony is a relatively young but interesting language with capabilities-security.

Well, depends on how you define ownership. Pony 's type system has reference capabilities which let you define who's allowed to do what to a reference and part of it sort of deals with ownership (along the lines of "this actor is allowed to do Y to the reference, other actors are allowed to do Z"). You can eg. have methods that return an isolated value that guarantees that there are no other references to that value, meaning it's automatically thread safe. You can also define things as vals which says that they are globally immutable, refs which give the current actor read/write capabilities but can't be shared with other actors

The alternatives are:

- Division must be impure (because it can throw an exception)

- Division must be partial - i.e. return Option[Int].

Both seem worse compared to defining division by zero as zero. Coq, Lean, and Pony do the same. https://github.com/ponylang/pony-tutorial/blob/master/conten...

Haskell - a general-purpose functional language with many unique properties (purely functional, lazy, expressive types, STM, etc). You mentioned you dabbled in Haskell, why not try it again? (I've written about 7 things I learned from Haskell, and my book is linked at them bottom if you're interested :) )

Where you go is entirely up to you. According to haskell.org, Haskell jobs are a-plenty. sigh

✨ Supported by http://haskell.org

Btw here is the repo I am talking about: https://github.com/haskell-infra/www.haskell.org .

I just jumped into the wiki "Write Yourself a Scheme in 48 hours" which looks pretty good. (although some of the text explanation is hard to understand without context).. I used cabal to set up the starter project. Sublime editor seems to work OK and I just use the git Bash shell on windows to compile the program directly on the command line. So maybe this is all good enough for now (?). It seems installing it from haskell.org with ghcup was more straight forward than I thought.

We made or are making some (small for now) contributions to projects like Cabal and haskell.org, and we hope to ramp it up as time goes.

Maths 2 exists qnd it's called Haskell

Yeah, definitely. We're working on adding a guide[1] like that to haskell.org as we speak :)

If you have a chance, you could look over the PR and tell me whether this is roughly what you're thinking of.

[1]: https://github.com/haskell-infra/www.haskell.org/pull/214

p.s. I am also working on a PR for haskell.org that would hopefully make the webpage a bit more friendly for newcomers, also focused on clearly outlining the journey to get started with Haskell easily. It is not as opinionated as this blog post, but it still tried to make things a bit more straightforward: https://github.com/Martinsos/www.haskell.org/compare/master...Martinsos:www.haskell.org:getting-started .

Done