-
bidirectional-instances
This package contains class for bidirectional instances and TH methods for generating instances for it.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Some weeks ago, I asked here, if there is a way to let GHC infer backwards constraints from instance declaration, i. e. for instance instance (A a) => B a where have not only forall a. A a => B a, but also forall a. B a => A a. It's correct, provided that we have no overlapping instance for B. In answers there were a link to an article on this topic. However, implementation from the article requires essential changes in GHC. I found some way to make this with currently available extensions (mostly type families) with not so much boilerplate and now uploaded it on github with my solution for the first problem from the "Motivation" section of the paper.
Link to the proposal
Link to the discussion of the proposal
Related posts
-
STaRK: Benchmarking LLM Retrieval on Textual and Relational Knowledge Bases
-
Easy CSV Handling with Python: A Beginner's Guide (Bite-size Article)
-
self-host a Streamlit app' on a Ubuntu server
-
Show HN: AI Runner – my personal opensource, local, multi-modal, AI assistant
-
Initial commit to Synapse, the original Matrix.org homeserver implementation