tan-yuki

import System.Random

dice :: StdGen -> Int
dice gen = num
    where (num, _) = diceWithRandomGen gen

diceWithRandomGen :: StdGen -> (Int, StdGen)
diceWithRandomGen = randomR (1, 6)

threeTimesDiceRoll :: StdGen -> (Int, Int, Int)

tan-yuki

length' :: String -> Int
length' = foldl (\ x _ -> x + 1) 0

last' :: Show a => [a] -> (Maybe a)
last' = foldl (\ _ x -> Just x) Nothing

head' :: Show a => [a] -> (Maybe a)
head' [] = Nothing
head' (x:_) = Just x

tan-yuki

5 高階関数　課題

下記length', all'をfoldl, foldr, foldl1, foldr1のいずれかを用いて実装せよ。 length', all'の挙動はlength, allを参照すること。

length' :: [a] -> Int

all' :: (a -> Bool) -> [a] -> Bool 

tan-yuki

型や型引数を自分でつくろう

7.2 形づくる

• 宿題
  • 3点のPointから、それらを点を結んだ時の三角形の面積を求める関数を実装してください。

data Point = Point Float Float
data Triangle = Triangle Point Point Point

tan-yuki

6章モジュール

復習) 型と型クラス

Prelude> :t sum
sum :: Num a => [a] -> a
       ^^^
       型クラス

tan-yuki

5.5 畳み込み、見込みあり！

foldrで右畳み込み

map' :: (a -> b) -> [a] -> [b]
map' f xs = foldr (\x acc -> f x : acc) [] xs
-- acc
-- []
-- [6]

tan-yuki

前提

下記がインストール済み

• nvm

nvmのインストールの仕方くらいは自分で調べてね☆

参考） https://github.com/creationix/nvm

tan-yuki

データ型

++

infixr 5 ++ -- infixr: 結合度
(++) :: [a] -> [a] -> [a]
[]     ++ ys = ys
(x:xs) ++ ys = x : (xs ++ ys)

tan-yuki

振り返り

import

import Data.List

numUniques :: (Eq a) => [a] -> Int
numUniques = length . nub

tan-yuki

_.mixin({
    sum: function(list, callback) {
        return _.reduce(list, function(memo, item) {
            return memo + callback(item);
        }, 0);
    }
});

// == test == 
// _.sum([{price:10}, {price:20}, {price:30}], function(item) { return item.price; });