Monthly Hask Anything (April 2022)

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

Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
  • ghc-proposals

    Proposed compiler and language changes for GHC and GHC/Haskell

  • These differences via eta expansion/reduction are probably due to simplified subsumption introduced in GHC 9.0 (also see the linked GHC proposal.

  • ghc-proposals

    Proposed compiler and language changes for GHC and GHC/Haskell (by serras)

  • Non-authorative summary: Allowing the eta-reduced variants to typecheck can lead to subtle changes in semantics (involving bottom and seq). But more importantly, disallowing them to typecheck enables "Quick Look Impredicativity" (also see the linked paper), which is now the mechanism behind ImpredicativeTypes since GHC 9.2 (before 9.2, this extension was basically unsupported).

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

    WorkOS logo
  • Cabal

    Official upstream development repository for Cabal and cabal-install

  • The simple way is cabal install --lib random, but unfortunately it barely works.

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