|linear||Exercism - Scala Exercises|
|25 days ago||7 days ago|
|BSD 3-clause "New" or "Revised" License||-|
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Probabilistic modelling in Idris: engineering as research
reddit.com/r/Idris | 2021-06-30
I've come to love the linear approach, where instead of working with Naperian (Representable) functors, you work with Distributive functors.
Monthly Hask Anything (June 2021)
reddit.com/r/haskell | 2021-06-02
See also the linear library, it contains types like data V3 a = V3 a a a with all of the useful instances.
Exercism - Scala Exercises
Can someone please tell me a website, where I can practice c# exercises ?
reddit.com/r/csharp | 2021-10-10
exercism.io has various tasks for multiple different languages including C#, and you have the option of practice mode and learning mode. One allows you to attempt the tasks on your own while the other will have a mentor review your tasks, or at least I think that is how the old system translates to their new system, I haven't been on the site for a little while.
Quels sont vos astuces de flemmard professionnel ?
reddit.com/r/france | 2021-09-21
Tiens en joie ton apprentissage : https://exercism.io
cannot understand .reduce in kotlin
reddit.com/r/Kotlin | 2021-09-16
For me, I did a bunch of exercism.io puzzles, mostly in a very imperative style. Once you complete them, you can look at other peoples' submissions. There was one guy who basically used fold() (a close relative of reduce) as a swiss army knife to solve everything. I was kind of fascinated, and I eventually figured it out. And once you figure out fold(), you've basically got higher order functions (and generics!) down.
Any good rust programming classes out there.
reddit.com/r/rust | 2021-09-05
exercism.io rust track, while reading The Book
news.ycombinator.com | 2021-09-01
Exercism v3 is about to launch
news.ycombinator.com | 2021-08-31
Ah yes, LinkedIn elitist gatekeeping at it's finest!
reddit.com/r/ProgrammerHumor | 2021-08-29
Never tried hacker rank but I am an fan of https://exercism.io/ and have even contributed challenges to it.
reddit.com/r/cpp_questions | 2021-08-28
Exercism is a great tool for this. Their format is to present programming challenges, and then when you submit the code, not only does it run through some test scenarios like Hackerrank, but also a mentor is assigned to review your code and give feedback.
Books on rust for experienced programmers?
reddit.com/r/rust | 2021-08-28
reddit.com/r/ProgrammingBuddies | 2021-08-27
What are some alternatives?
polysemy - :gemini: higher-order, no-boilerplate monads
Scala Exercises - The easy way to learn Scala.
interviews - Everything you need to know to get the job.
CS50x-2021 - 🎓 HarvardX: CS50 Introduction to Computer Science (CS50x)
Demos and Examples in Scala (Chinese) - scala、spark使用过程中，各种测试用例以及相关资料整理
Functional Programming for Mortals - source and examples to Functional Programming for Mortals with Scalaz
the-coding-interview - Programming exercises, code katas and puzzles for your job interview training - or just for fun.
Learn-by-doing functional programming course on Scala - learn-by-doing course/tutorial for functional programming on scala
The Type Astronaut's Guide to Shapeless - Example code to accompany shapeless-guide.
nimber - Finite nimber arithmetic