nobsun

import Control.Parallel.Strategies

x,y :: Int
x = repeat 0 !! 1000000000
y = repeat 1 !! 1000000000
foo :: Eval Int
foo = do { rpar x; rpar y; return 2 }

{-
% ghci -v0 rpar.hs

nobsun

ssum :: Num a => [a] -> [a] -> a
ssum = foldr f (const 0)
    where
        f x g []     = 0
        f x g (y:ys) = x * y + g ys

nobsun

(foldr (⊕) z .) . zipWith (⊗) 
⇔
foldr (⊛) (const z)
  where
    (x ⊛ k) []     = z
    (x ⊛ k) (y:ys) = (x ⊗ y) ⊕ k ys

nobsun

import Control.Monad (liftM2)

excelColns  ::  [String]
excelColns  =   concat $ tail $ iterate (liftM2 (:) ['A'..'Z']) [""]

nobsun

main = interact gonyo

nobsun

f . g $ x ≡ f $ g $ x       -- (1)

nobsun

module AbstractSyntax where

-- |
-- 構文
--
data Exp = Int Integer
         | Var String
         | Sub Exp Exp
         | If Exp Exp Exp Exp
         | Fun String Exp

nobsun

module EnvironmentClos where

import AbstractSyntax

-- |
-- 環境
type Env = [(String, Value)]

emptyEnv :: Env
emptyEnv = []

nobsun

module Environment where

import Value

-- |
-- 環境
--
type Env = [(String, Value)]

emptyEnv :: Env

nobsun

sumUsingFold  :: Num a => [a] -> a
sumUsingFold = foldr (+) 0

sumUsingFold' :: Num a => [a] -> a
sumUsingFold' = foldl' (+) 0