Skip Navigation
InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)PA
pangyuehung @lemmy.ml
Posts 6
Comments 1

Serious respect for Evan's careful consideration on making Elm sustainable

discourse.elm-lang.org Costs/Funding in Open-Source Languages

At some point I hope to do a talk or blog post about “the economics of programming languages” to talk more about all this in depth, but here’s an overview of some of the things I’ve learned since “Let’s be Mainstream” when I knew a lot less about how organizational structure influences who ends up u...

Costs/Funding in Open-Source Languages
0
Idris @lemmy.ml pangyuehung @lemmy.ml

Contributors/maintainers needed for the Idris track on Exercism — Free Software (open source) code learning platform

github.com GitHub - exercism/idris: Exercism exercises in Idris.

Exercism exercises in Idris. Contribute to exercism/idris development by creating an account on GitHub.

GitHub - exercism/idris: Exercism exercises in Idris.

Exercism is a Free Software code learning platform run by a nonprofit. In a lot of ways it's a better alternative to the likes of Hackerrank, Coderbyte, Codecademy, etc. since anyone can become a maintainer of a new language track , and of course there's no profit motive to lock things up behind paywalls.

0
The Haskell Lemmy Forum @lemmy.ml pangyuehung @lemmy.ml

I just started working on the Haskell problems on Codewars, it's one of the best places to practice without paying for lessons

www.codewars.com Codewars - Achieve mastery through coding practice and developer mentorship

A coding practice website for all programming levels – Join a community of over 3 million developers and improve your coding skills in over 55 programming languages!

Codewars - Achieve mastery through coding practice and developer mentorship
0
Functional Programming @lemmy.ml pangyuehung @lemmy.ml

Kevin Mahoney: Tests vs Types

kevinmahoney.co.uk Tests vs Types

When should you use tests and when should you use types? What information and guarantees do we get for our efforts?

0
Idris @lemmy.ml pangyuehung @lemmy.ml

Kevin Mahoney: Tests vs Types

kevinmahoney.co.uk Tests vs Types

When should you use tests and when should you use types? What information and guarantees do we get for our efforts?

0
Idris @lemmy.ml pangyuehung @lemmy.ml

Edwin Brady introducing Idris 2: Type-driven development of Idris

0