myuon myuon

myuon / makeClassy.hs

Last active December 21, 2015 18:39

makeClassyを使って複数のオブジェクトで共通する函数をまとめる

	{-# LANGUAGE TemplateHaskell, FlexibleContexts, FlexibleInstances, UndecidableInstances, OverlappingInstances #-}
	import Control.Lens
	import Control.Monad.State

	-- 基本となるオブジェクト
	data Obj = Obj {
	_pos :: Int
	} deriving (Show)

	-- Obj型のオブジェクトをもつ抽象的なクラスHasObjを作る

myuon / End.hs

Created August 2, 2013 13:51

とりあえず書いてみたところまで(結局endまで出来てない)

	{-# LANGUAGE GADTs, RankNTypes, MultiParamTypeClasses, FlexibleInstances #-}

	module End where

	import qualified Prelude
	import Control.Category
	import Data.Monoid
	import Data.Functor.Identity

	type Hask = (->)

myuon / operational.hs

Created June 9, 2013 03:17

http://myuon-myon.hatenablog.com/entry/2013/06/09/135407

	{-# 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 ()

myuon / ProofSystem.hs

Created April 29, 2013 09:15

Proof System on Haskell (incomplete)

	{-# 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 / free_monad.hs

Created January 17, 2013 16:40

http://myuon-myon.hatenablog.com/entry/2013/01/18/012935

	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 / sudoku_solver.hs

Created December 14, 2012 03:15

数独ソルバー ref: http://qiita.com/items/9b55b95ba76e888032de

	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 / gist:4227626

Created December 6, 2012 19:39

Typed English

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

myuon / gist:3726663

Created September 15, 2012 06:46 — forked from ikedaisuke/gist:916931

Rotate a square in Gloss (with key event (DOWN-key))

	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 / gist:3386693

Created August 18, 2012 13:03

SKIコンビネータ2

myuon / gist:3369859

Created August 16, 2012 12:42

SKIコンビネータ