mjgpy3

let filter = https://prelude.dhall-lang.org/List/filter.dhall

let length = https://prelude.dhall-lang.org/List/length.dhall

let any = https://prelude.dhall-lang.org/List/any.dhall

let map = https://prelude.dhall-lang.org/List/map.dhall

let sum = https://prelude.dhall-lang.org/Natural/sum.dhall

mjgpy3

module Year2023.Day1 (
    parts,
) where

import Adlude
import Data.Char (isDigit)
import Data.List (tails)
import qualified Data.Text as T

numbers =

mjgpy3

module CalcVScheme where

import Prelude hiding (lookup)

data Term
 = Var Var
 | Lambda Var Term
 | Apply Term Term
 | Closure Env Var Term
 deriving (Eq, Show)

mjgpy3

(defun conway-current-buffer (alive-char)
  (interactive "cAlive-charater: ")

  (defun key (x y)
    (concat (number-to-string x) "-" (number-to-string y)))

  (defun pair-to-key (p)
    (concat (number-to-string (car p)) "-" (number-to-string (cadr p))))

  (defun neighbors (x y)

mjgpy3

module Lib
    ( Ski(..)
    , eval
    , someFunc
    ) where

import Test.QuickCheck

data Ski
 = I

mjgpy3

Learn Haskell by Building

Congratulations and welcome to the new VC-funded startup Kewl-Word-Divination.ai! We may not have a working product yet but that's where you come in! (Don't worry we've got a few months of runway).

Since we're following a new methodology -- the Scant Agile Framework -- we'll be building our product out iteratively (the way the Mona Lisa was painted).

v0.01 - kwd CLI

mjgpy3

module Lib
    ( someFunc
    , DeciderOutcome(..)
    , badFmap1
    , badFmap2
    , badFmap3
    ) where

data DeciderOutcome a
  = Outcome a

mjgpy3

Exercise: Evaluating with <$> and <*>

Given the example from the book:

User
<$> getParam "name" params
<*> getParam "email" params

Walk through the steps of evaluation of this code, given the following cases

mjgpy3

{-# LANGUAGE TupleSections #-}
{-# LANGUAGE LambdaCase #-}

module Lib
  ( solve
  ) where

import           Control.Arrow                  ( (&&&) )
import           Data.Char                      ( isNumber )
import           Data.Foldable                  ( for_ )

mjgpy3

module Problem96
    ( answer
    ) where

import           Data.Foldable (for_)
import           Data.List (transpose)
import qualified Data.Map.Strict as M
import           Data.SBV
import           Problem96Input (grids)