| import Distribution.Simple | |
| main = defaultMain |
| let | |
| nixpkgs = builtins.fetchTarball { | |
| url = "https://github.com/NixOS/nixpkgs/archive/c473cc8714710179df205b153f4e9fa007107ff9.tar.gz"; | |
| sha256 = "0q7rnlp1djxc9ikj89c0ifzihl4wfvri3q1bvi75d2wrz844b4lq"; | |
| }; | |
| config = { | |
| allowUnfree = true; | |
| }; |
| call plug#begin() | |
| Plug 'neovim/nvim-lspconfig' | |
| call plug#end() | |
| lua << EOF | |
| require('lspconfig').hls.setup({ | |
| settings = { | |
| haskell = { | |
| formattingProvider = 'stylish-haskell', | |
| }, |
| # nix-env --install --file ./default.nix | |
| let | |
| nixpkgs = builtins.fetchTarball { | |
| url = "https://github.com/NixOS/nixpkgs/archive/c473cc8714710179df205b153f4e9fa007107ff9.tar.gz"; | |
| sha256 = "0q7rnlp1djxc9ikj89c0ifzihl4wfvri3q1bvi75d2wrz844b4lq"; | |
| }; | |
| config = { | |
| allowUnfree = true; | |
| }; |
The purpose of this document is to specify a baseline set of functional programming features that users can request and that programming languages can advertise support for. This feature set strives to be "JSON-like" and "purely functional".
The goals of this specification are (in descending order of importance):
I'm writing this fresh after waking up from a nightmare that captures my insecurities related to transitioning later in life. I'll begin by sharing the dream followed by my interpretation.
Normally dreams can be tricky to interpret but in this case my dream left a pretty clear signpost to guide the interpretation: the nightmare begins right after explaining to someone that I'm trans.
In my nightmare I'm in middle school and I have to head back home, but I'm unable to take my normal bus home because I got back late from a field trip. On top of that I'm having to carry home more baggage than usual: In addition to my backpack I'm also carrying my cello and also someone else's duffel bag that they left behind at school.
| # This was only tested against revision ac2d18a7353cd3ac1ba4b5993f2776fe0c5eedc9 | |
| # of https://gitlab.haskell.org/ghc/ghc | |
| let | |
| nixpkgs = builtins.fetchTarball { | |
| url = "https://github.com/NixOS/nixpkgs/archive/7e003d7fb9eff8ecb84405360c75c716cdd1f79f.tar.gz"; | |
| sha256 = "08y8pmz7xa58mrk52nafgnnrryxsmya9qaab3nccg18jifs5gyal"; | |
| }; | |
| config.allowBroken = true; |
| {-# LANGUAGE ApplicativeDo #-} | |
| {-# LANGUAGE BlockArguments #-} | |
| {-# LANGUAGE DeriveFunctor #-} | |
| {-# LANGUAGE DerivingStrategies #-} | |
| {-# LANGUAGE GeneralizedNewtypeDeriving #-} | |
| {-# LANGUAGE UndecidableInstances #-} | |
| module HasCal where | |
| import Control.Applicative (Alternative(..), liftA2) |
| -- This is a minimal reproducing example of a major escape hatch that | |
| -- violate's Dhall type safety guarantees. | |
| let -- The uninhabited type (isomorphic to `< >`, but this is more ergonomic to | |
| -- use for this reproduction) | |
| Void : Type = ∀(any : Type) → any | |
| let -- We model type-level negation in the standard way as a function from a | |
| -- given type to the uninhabited type. `Not a` is only inhabited if `a` | |
| -- is uninhabited (i.e. isomorphic to `Void`) |
| \input -> | |
| let toBracket brackets (_ : { }) income = fold | |
| { cons: \bracket result -> | |
| if income > bracket."Lower bound" | |
| then | |
| bracket."Minimum tax" | |
| + bracket."Tax rate" * (income - bracket."Lower bound") | |
| else result | |
| , nil: 0 : Real |