typed-protocols
compendium-client
Our great sponsors
typed-protocols | compendium-client | |
---|---|---|
2 | 5 | |
8 | 326 | |
- | 0.9% | |
7.7 | 0.0 | |
2 months ago | over 1 year ago | |
Haskell | Haskell | |
- | Apache License 2.0 |
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/
compendium-client
- Haskell jobs at Standard Chartered, various locations and seniority
-
RPC lib?
I think mu-schema package should help with that, but I'm not sure. Have a look at their website: https://higherkindness.io/mu-haskell/
- School of Haskell: Basics
-
What are the go-to libraries for RestAPIs and GraphQL APIs?
For graphql I experimented with Mu Haskell: https://higherkindness.io/mu-haskell/ Morpheus: https://morpheusgraphql.com/about/
-
My ideal GraphQL framework for Haskell
full example: https://github.com/higherkindness/mu-haskell/blob/master/graphql/exe/Main.hs
What are some alternatives?
nng-haskell - Haskell bindings for NNG (https://github.com/nanomsg/nng)
morpheus-graphql - Haskell GraphQL Api, Client and Tools
cardano-node - The core component that is used to participate in a Cardano decentralised blockchain. [Moved to: https://github.com/IntersectMBO/cardano-node]
vcd - A small library for generating VCD files.
bdcs-api - BDCS API Server
resolv
faktory - Faktory Worker for Haskell
google-oauth2-easy - 📛 Easy Google Authentication integration - Authorization Code & Refresh Token
spacecookie - gopher library & server written in Haskell
hatexmpp3 - XMPP client with synthetic filesystem (9P) and (optional) graphical (GTK3) interfaces
servant-errors - Servant Errors wai-middleware
network-voicetext - VoiceText Web API Haskell wrapper library