Our great sponsors
-
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.
-
ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
-
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.
Whenever I work on my side projects (this one for reference), I can use ghcid in three ways:
Ticket tracking support for this in cabal (so cabal repl will work for multiple components): https://github.com/haskell/cabal/issues/8238
% ghci GHCi, version 8.8.4: https://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/bss/.ghc/ghci.conf GHCi> import Control.Applicative (liftA3) (0.00 secs, 0 bytes) GHCi> import Data.Bool (bool) (0.00 secs, 0 bytes) GHCi> liftA3 bool (* 2) (`div` 2) even 4 2 it :: Integral t => t (0.01 secs, 60,272 bytes)
Even the IfCtx "tricks" and stuff like /u/Noughtmare's post don't resolve the constraints at runtime. The constraints are still resolved statically, you just carry around a (constant) token that indicates how compile-time resolution went.