myuon

def inflist(a,n):
  while True:
    a.append((a[1]-a[0])*n)
    yield n
    n+=1
 
def take(n,a):
  b=[]
  for i in range(n):
     b.append(a.next())

myuon

// Alice:@t_udaさん
// Bob:@nonamea774さん
 
Aliceさんがログインしました。
Bobさんがログインしました。
Alice:数学タグ覚えてますでしょうか
Bob:タグとして、両立できなくてどうするんですか
Alice:両立しますよ休暇ぜろ
Bob:えてますでしょうか
Alice:えてますでしょうか

myuon

inc := \nfx.f(nfx)

inc
= \xyz.y(xyz)
= \xyz.(Ky z)(xy z)
= \xyz.S(Ky)(xy)z
= \xy.S(Ky)(xy)
= \xy.((KSy)(Ky))(xy)
= \xy.(S(KS)Ky)(xy)
= \xy.S(S(KS)K)xy

myuon

\abf.fab
= \abf.(I f)(K (ab)f)
= \ab.SI(K(ab))
= \ab.(K(SI)(ab))(K(ab))
= \ab.S(K(SI))K(ab)
= \ab.(K(S(K(SI))K) b)(a b)
= \ab.S(K(S(K(SI))K))ab
= S(K(S(K(SI))K))

myuon

module Main where

-- http://www.f13g.com/%A5%D7%A5%ED%A5%B0%A5%E9%A5%DF%A5%F3%A5%B0/Haskell/GLUT/#content_1_4

import Graphics.Gloss
import Graphics.Gloss.Interface.Pure.Game

data State
  = State { angle :: Float
          , isPositive :: Bool

myuon

Typed English

英語の品詞各種(from wikipedia - 品詞 - 英語の品詞)

- 名詞 (noun)
  - 代名詞 (pronoun)
- 動詞 (verb)

• 助動詞 (modal verbs)

myuon

import Data.Char
import Data.List
import Data.Array
import System.Environment (getArgs)

type Board = Array (Int,Int) Int
type BFilter = Array (Int,Int) [Int]
width = 9

toLine :: String -> [Int]

myuon

import Control.Monad.Free

-- data Maybe  a      = Nothing  | Just a
data    Simple a next = End next | Data a next | Skip a next
                      deriving (Show)

instance Functor (Simple a) where
  fmap f (End next) = End (f next)
  fmap f (Data a next) = Data a (f next)
  fmap f (Skip a next) = Skip a (f next)

myuon

{-# LANGUAGE DeriveFunctor, TypeOperators #-}

import Prelude hiding (True, False, init, id)
import Control.Category
import Control.Arrow
import Control.Monad.Free

newtype Atom a b = Atom { runAtom :: a -> b }
 
data Formula a b = True

myuon

{-# LANGUAGE GADTs #-}
import Control.Monad
import Control.Monad.Operational.Simple

data Simple a where
  End :: Simple a  
  Put :: String -> Simple ()
  Get :: Int -> Simple String

put :: String -> Program Simple ()