Polymorphic unpacking through backpack?

This page summarizes the projects mentioned and recommended in the original post on /r/haskell

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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  • nodedemo

    Backpack demo/issue

  • for particular types a, c, b, and d. The issue that I'm essentially running into is that I'm not sure how I can get my hands on the copies/instances of the 'Node' type used by the library that implements 'bimapNode'. A more detailed/precise description of the problem, a minimum "working" example, and my attempts so far are at https://github.com/noinia/nodedemo .Does ideas on how to proceed with this kind of thing?

  • really-small-backpack-example

    A really small example of the Backpack module system for Haskell

  • Also worth mention how module identity works in Backapck: two modules instantiated separately but with the same ingredients are "equal" and have compatible types.

  • 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.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Haskell is the greatest programming language of all time

    7 projects | /r/haskell | 2 Nov 2022
  • Implied bounds and perfect derive

    3 projects | /r/rust | 12 Apr 2022
  • Using dependent types to write proofs in Haskell

    1 project | /r/haskell | 3 Jun 2021
  • Video Tutorial: "Using proofs to make functions faster over length-indexed vectors" (Richard Eisenberg)

    1 project | /r/haskell | 13 May 2021
  • Proposal for parametric modules like Coq's?

    2 projects | /r/haskell | 12 Feb 2021