chshersh

(* Type *)

type expr =
  | Var of string
  | App of expr * expr
  | Lam of string * expr

(* Pretty printer *)

let rec pretty = function

chshersh

#!/bin/bash

set -Eeuxo pipefail

# This script installs a developer tool on your machine
# by downloading an executable (ideally, statically linked)
# from GitHub releases

## Example: ripgrep
dir=$(mktemp --tmpdir --directory ripgrep-XXXX)

chshersh

-- Code for the following blog post:
-- https://kodimensional.dev/cps

{-# LANGUAGE LambdaCase #-}

module CPS where

data AppError
    = UserSessionIsInvalid
    | DbError InternalDbError

chshersh

Performance:
    * https://youtu.be/Uy08hw1ZyCM

Chords are taken from the original song:
    * https://tabs.ultimate-guitar.com/tab/bo-burnham/welcome-to-the-internet-chords-3732602

Strumming:
    * First half:  Up - Muted       (^ - x - ^ - x - ^ - x)
    * Second half: Up - Down - Down (^ - V - V - ^ - V - V - ^ - V - V)

chshersh

{-# LANGUAGE DataKinds            #-}
{-# LANGUAGE FlexibleContexts     #-}
{-# LANGUAGE FlexibleInstances    #-}
{-# LANGUAGE InstanceSigs         #-}
{-# LANGUAGE KindSignatures       #-}
{-# LANGUAGE PolyKinds            #-}
{-# LANGUAGE Rank2Types           #-}
{-# LANGUAGE TypeFamilies         #-}
{-# LANGUAGE TypeOperators        #-}
{-# LANGUAGE UndecidableInstances #-}

chshersh

#!/usr/bin/env cabal
{- cabal:
build-depends:
  , base ^>= 4.12.0.0
  , comonad ^>= 5.0
  , pretty-simple ^>= 2.2
  , text
-}

{-# LANGUAGE OverloadedStrings #-}

chshersh

Legend:

• ➖ poor (impossible or very hard to achieve)
• ➕ good (possible but requires some dancing)
• ✔️ excellent (very easy to achieve/have)

PC stands for parser combinators and PG — parser generators.

Property	Generators	Combinators	Description
Power	✔️ LALR	➕ LL(∞)	PC can't handle left-recursive grammars (though, there's some article¹...).

chshersh

-- To run: 
--    cabal repl -b pretty-simple
--
-- Colorizing and pretty-printing ghci output
-- requires: pretty-simple
:set -interactive-print=Text.Pretty.Simple.pPrint

-- green bold lambdas and multiline mode
:set prompt      "\ESC[1;32mλ: \ESC[m"
:set prompt-cont "\ESC[1;32mλ| \ESC[m"

chshersh

{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE RankNTypes      #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE ViewPatterns    #-}

-- | This module contains some approach for emulating array syntax from
-- imperative languages. The approach emulates only syntax, not efficiency.
-- Though if you like working with persistent arrays it may be good for you.
-- Also it's a fun exercise on lenses.