typed-protocols
Session types framework with support of protocol pipelining. (by input-output-hk)
network
Low-level networking interface (by haskell)
Our great sponsors
| typed-protocols | network | |
|---|---|---|
| 2 | 3 | |
| 8 | 320 | |
| - | 1.6% | |
| 7.7 | 6.2 | |
| 2 months ago | 15 days ago | |
| Haskell | Haskell | |
| - | BSD 3-clause "New" or "Revised" License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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
Posts with mentions or reviews of typed-protocols.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-04-05.
-
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/
network
Posts with mentions or reviews of network.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-03-24.
-
Haskell - Important Libraries
network
-
Monthly Hask Anything (February 2022)
After some more searching I did find that the network package has caused issues compiling on windows before (e.g. this issue). The only change that 3.1.2.7 introduced was actually to try to make it work on windows. Maybe they did not succeed completely? I think it is a good idea to open an issue on their issue tracker: https://github.com/haskell/network/issues.
-
Exposing network package
Same: https://hackage.haskell.org/package/network
What are some alternatives?
When comparing typed-protocols and network you can also consider the following projects:
nng-haskell - Haskell bindings for NNG (https://github.com/nanomsg/nng)
wol - A program and library to a send WoL Magic Packet, to remotely start a computer.
cardano-node - The core component that is used to participate in a Cardano decentralised blockchain. [Moved to: https://github.com/IntersectMBO/cardano-node]
hbeanstalk - haskell client for beanstalk message queue
network-bitcoin
discord-haskell - Haskell library for writing Discord bots
twilio - Twilio library for Haskell
HTTP - Haskell HTTP package
consul-haskell - A haskell client library for consul (consul.io)
hgithub - Haskell bindings to the GitHub API
netrc
pontarius-xmpp - An XMPP client library for Haskell.