Overloading the lambda abstraction in Haskell

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

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

    A Haskell library for building incremental static site generators

  • Your best bet would be to copy this file, which is exactly what is implemented in the article, but on my Recipe m category.

  • Collaboration

    Play/learn/work with me

  • Since Haskell lacks precise specifications and proofs, it’s not a very suitable setting for resolving the question of what this technique really accomplishes. It seems simple enough, however, to implement in Agda, adding the correctness specification and proofs that the Haskell version lacks. Then we’d know. If you want to investigate, I’d be up for collaborating.

  • 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

  • TheDesk Desktop Environment

    4 projects | news.ycombinator.com | 5 May 2024
  • Bountysource Stole at Least $17,000 from Open Source Developers

    2 projects | news.ycombinator.com | 3 May 2024
  • Tired of handling a tech stack with REST, SQL, Webpack and 1000 more?

    1 project | news.ycombinator.com | 4 May 2024
  • Sponsoring the Rust-based Rocket Web framework

    1 project | dev.to | 3 May 2024
  • The First Website

    1 project | news.ycombinator.com | 27 Apr 2024