Ryo Ishigaki risgk

基礎から学ばないFree Monad

自己紹介

なかやん・ゆーき / ぺんぎん / もみあげ
@pocketberserker / id:pocketberserker

モナドとかよくわからないからコンピュテーション式でガン無視してみた

CC BY-SA 4.0

自己紹介

なかやん・ゆーき / ぺんぎん / もみあげ
@pocketberserker / id:pocketberserker

Warning

These instructions are mainly for my own personal reference and should not be considered a supported feature of Sonic Pi. For experimentation only. Assumes OSX 10.10

Setup a virtual midi channel on OSX

This is sometimes referred to as a "loopback" device and it should allow the various software applications to communicate.

Open /Applications/Utilities/Audio\ MIDI\ Setup.app/ and go to "Window > Show MIDI studio".

	//
	// Dead-lock demonstration with condition_variable::notify_one()
	//
	#include <utility>
	#include <mutex>
	#include <condition_variable>

	template<typename T>
	class mt_slot {
	T slot_;

	type ホモビルダー() =
	member __.Delay(f: unit -> _) = f
	member __.Run(f) = f ()
	member __.Yield(()) = ""
	member __.Yield(x: string) = x
	[<CustomOperation("攻め")>]
	member inline __.攻め(_, case) = case
	[<CustomOperation("受け")>]
	member inline __.受け(source: string, case) = (source, case)
	[<CustomOperation("┌（┌＾o＾）┐")>]

	1
	2
	あぁ＾～
	4
	こころが
	あぁ＾～
	ぴょんぴょんするんじゃ＾～
	8
	あぁ＾～
	こころが

	// Copyright Akira Takahashi 2014
	// Use, modification and distribution is subject to the Boost Software License,
	// Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
	// http://www.boost.org/LICENSE_1_0.txt)
	#include <cstddef>
	namespace my_stl {

	template <class Iterator>
	struct iterator_traits {
	static typename Iterator::reference dereference(Iterator& it)



	Note 103 Junk & Test (junk.test)
	[ BASENOTE with 36Res ]
	Title:Test/kanbai: undel の花言葉は「もう一度やり直そう」
	Bytes: 42 Date : 11:02am 9/19/91 Author:pcs29450 (kanbai-an)

	undel の花言葉は「もう一度やり直そう」

	* {
	font-size: 12pt;
	font-family: monospace;
	font-weight: normal;
	font-style: normal;
	text-decoration: none;
	color: black;
	cursor: default;
	}

	Parameter A : Type.
	Parameter beq_A : A -> A -> bool.

	Section Uniq.

	Require Import Arith List.

	Hypothesis beq_A_true : forall x y : A,
	beq_A x y = true -> x = y.
	Hypothesis beq_A_false : forall x y : A,