akanehara

module Toy.Rot13 (encrypt) where

import Data.Char

lowerA = ord 'a'
lowerZ = ord 'z'

upperA = ord 'A'
upperZ = ord 'Z'

akanehara

module Parupunte ((+), (*)) where

import qualified Prelude

(+) = (Prelude.*)
(*) = (Prelude.+)

akanehara

<?php
Ginq::range(1,10)
    ->selectManyWith(
      function($x) { if ($x % 2 == 0) return [null]; else return []; },
      function($x) { return $x; });
      

akanehara

<?php
// 巻き戻しできないデータソース
function dbFetch() {
  ...
  yield $row;
  ...
}

// ごにょごにょしたのをメモ化
// もちろんこの段階ではまだ何も起らない

akanehara

<?php

class DefaultEqualityComparer implements EqualityComparer
{
    public function equals($v0, $v1, $k0, $k1)
    {
        // オブジェクト
        // (==) に委譲
        // 同一でなく同値。全フィールドが一致？
        if (is_object($v0) && is_object($v1)) {

akanehara

<?php

/**
 * toDictonary
 * 廃止
 * @deprecated
 * @param \Closure $valueSelector
 * @param \Closure $keySelector
 * @param \Closure $combiner
 * @return array

akanehara

{-# LANGUAGE XNoMonomorphismRestriction #-}

import Control.Monad

newtype Foo m a b = Foo (m a -> (a -> m b))

instance (Monad m) => Monoid (Foo m a b) where
mempty = return
mappend x y = x <=< y

akanehara

<?php
public function equals($v0, $v1)
{
    if (is_array($v0) && is_array($v1)) {
        return $v0 === $v1;
        // 配列
        // キーと値すべてが一致
    }
    if (is_object($v0) && is_object($v1)) {
        return $v0 == $v1;

akanehara

interface Decoder<A> {
  decode(source: string): A;
}

class NumDecoder implements Decoder<Number> {
	decode(source: string): Number {
		return Number(source.trim());
	}
}

akanehara

<?php

/**
 * @property float $x_of_pos
 * @property float $y_of_pos
 */
class GlobalPosition
{
  public $x_of_pos;
  public $y_of_pos;