|7 days ago||6 days ago|
|BSD 3-clause "New" or "Revised" License||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.
Where's more discussion of the designs of effect systems?
4 projects | reddit.com/r/ProgrammingLanguages | 17 Nov 2021
Languages such as Koka only support algebraic effects, not scoping operations such as catch and listen. The Effect Handlers in Scope paper introduces scoping operations, which lead to the Haskell libraries fused-effects and polysemy, but they turned out to have some weird semantics. eff is her effort to fix that.
Monthly Hask Anything (June 2021)
16 projects | reddit.com/r/haskell | 2 Jun 2021
Trouble Reinterpreting Higher Order Effects in PolySemy
1 project | reddit.com/r/haskell | 23 Apr 2021
Looking at the interpreter for Reader might give some clues if this doesn't work. https://github.com/polysemy-research/polysemy/blob/master/src/Polysemy/Reader.hs#L38-L45
Structuring Code with ZIO & ZLayers
3 projects | reddit.com/r/scala | 3 Mar 2021
*But I'm not terribly well versed in Scala's other DI offerings. I came from Haskell and didn't find anything in Scala that clicked with me until I found ZIO. It reminded me a lot of my favorite way of writing Haskell programs (https://github.com/polysemy-research/polysemy)—albeit with a completely different implementation.
What are the advantages to learning Haskell over Typescript, or vice versa? For instance, can you do equational reasoning in Typescript, like you can in Haskell?
1 project | reddit.com/r/functionalprogramming | 8 Nov 2021
Could not match constrained type inside record field
1 project | reddit.com/r/purescript | 24 Oct 2021
Probably related to https://github.com/purescript/purescript/issues/4140
7 Useful Tools Written in Haskell
5 projects | dev.to | 18 Oct 2021
For further study, you can proceed to the official website.
It takes a PhD to develop that
6 projects | reddit.com/r/programming | 4 Oct 2021
You may find Elm, PureScript, or Reason to be of interest.
I wanna Leaern JS but I kinda wanna talk to people who have done it before
Why Is Learning Functional Programming So Damned Hard?
3 projects | news.ycombinator.com | 15 Aug 2021
11 projects | news.ycombinator.com | 11 Aug 2021
I get autocomplete and goto definition with dynamic languages just fine. And I make mistakes that static typing could have helped, but then again they are not frequent enough to justify the bureaucracy (and they don't break production).
Of course, there is no general rule. This is true for the type of projects that I've been recently working on, which are small-scale distributed web systems.
If a new project demands a rigorous type system, I would probably go to something like PureScript before going to C# clones like TypeScript. It seems that the compiler would help me a lot more in a language like that.
Are Dynamic Languages Going to Replace Static Languages? (2003)
7 projects | news.ycombinator.com | 4 Aug 2021
1 project | reddit.com/r/programminghorror | 3 Aug 2021
I personally find that the redemption is coming not from TypeScript but from PureScript, which I encourage you to explore.
1 project | news.ycombinator.com | 27 Jul 2021
What are some alternatives?
fp-ts - Functional programming in TypeScript
fused-effects - A fast, flexible, fused effect system for Haskell
Exercism - Scala Exercises - Crowd-sourced code mentorship. Practice having thoughtful conversations about code.
haskell-names - Haskell suite library for name resolution
rust - Rust for the xtensa architecture. Built in targets for the ESP32 and ESP8266
Elm - Compiler for Elm, a functional language for reliable webapps.
stylish-haskell - Haskell code prettifier [Moved to: https://github.com/haskell/stylish-haskell]
django-unicorn - The magical reactive component framework for Django ✨
ast-monad - A library for constructing AST by using do-notation
reflex - Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.