typed-protocols
streamly
Our great sponsors
typed-protocols | streamly | |
---|---|---|
2 | 8 | |
8 | 847 | |
- | 0.5% | |
7.7 | 9.7 | |
2 months ago | 2 months ago | |
Haskell | Haskell | |
- | 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.
typed-protocols
-
On Implementation of Distributed Protocols
Certain correctness properties of code can be ensured statically, i.e. at compile time. Those checks rely on the programming language's type system. Software engineers can take advantage of type safety features to implement components in a way that makes them safe by construction. For example, Cardano uses the typed-protocols package, a generic framework for implementing application-level protocols, which is based on a simple form of session typing.6 Within this framework, protocols are described as state machines encoded into Haskell types. The allowed transitions between states correspond to messages exchanged between the peers, so the protocol state determines which messages are allowed to be sent or must be accepted when received, at type level. This simplifies protocol implementation, allows early detection of protocol violations, and makes the protocols themselves deadlock-free by construction. More advanced type-level programming techniques may allow achieving impressive levels of type safety; however, such code may be significantly harder to implement, understand, and maintain.
-
RPC lib?
I like to use typed-protocols for this: https://github.com/input-output-hk/typed-protocols/
streamly
-
[ANN] Haskell Streamly 0.9.0 Release!
https://github.com/composewell/streamly/issues/1307 seems related, but it was a long time ago. We weren't heavy users anyway, so our streaming philosophy is now "conduit if it's simple and plugging into a conduit-using library, streaming if you're doing complicated things".
-
Parallel streaming in Haskell: Part 3 - A parallel work consumer
Interesting! Which of the streamly modules is implementing that part? Is it one of the workLoop implementations in Streamly.Internal.Data.Stream.Async?
-
Haskell Libraries I Love
I want to like streamly, but the API is so huge, yet I feel like I'm doing things on a too low level of abstraction. (And as long as it needs a ghc plugin I doubt it'll become the de facto standard.) Though maybe I just haven't used it enough. It does have great docs at https://streamly.composewell.com/ and they seem to be taking both performance, dependency weight and API design quite seriously.
- Edward Kmett reflects on the benefits of Haskell as a functional programming language - especially at scale.
-
oath: Composable Concurrent Computation Done Right
You missed streamly in your list of alternatives: https://github.com/composewell/streamly/blob/master/docs/streamly-vs-async.md
- It's nice to see how Streamly has now become its own separate beast
What are some alternatives?
nng-haskell - Haskell bindings for NNG (https://github.com/nanomsg/nng)
stm-conduit - STM-based channels for conduits.
cardano-node - The core component that is used to participate in a Cardano decentralised blockchain. [Moved to: https://github.com/IntersectMBO/cardano-node]
pipes-concurrency - Concurrency for the pipes ecosystem
restricted-workers - Interactive-diagrams
conceit - Concurrently + Either
haxl - A Haskell library that simplifies access to remote data, such as databases or web-based services.
lvish - The LVish Haskell library
async - Run IO operations asynchronously and wait for their results
ctrie - Non-blocking concurrent hashmap for Haskell
lifted-async - Run lifted IO operations asynchronously and wait for their results
unagi-chan - A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API