ayu-mushi ayu-mushi

この文書は書きかけです

Takt基礎文法最速マスター

はじめに

Taktはテキストで音楽を記述するプログラミング言語で、Taktで書かれたコードをTaktインタプリタで実行するとMIDIを生成します。 Emacsプラグインが付属していたり、midiからソースコードを逆生成できたりします。

PMMLという言語の後継に当たり、似た構文です。

音楽記述言語について

コンピュータを使わない音楽では普通、作曲する段階と演奏する段階とは分かれており(即興演奏の場合は違いますけど)、楽譜に書かれている部分と演奏家に任される(解釈)部分があります。一方、コンピュータでの作曲では演奏家(timidityとか)に任される部分はかなり少なく、例えばdominoだったらトリルとかアルペジオとかも一々打ち込まなくてはなりません。トリルやアルペジオは勝手にやってくれる作曲ソフトもあるんでしょうけど、それでもその部分を変更したくなったときなどは結局一々消したりする事になります。他にも、強弱を数値で細かく指定しなきゃいけなくて不便な事があります(これも後から変えようとすると面倒)。普通の楽譜ならこういうのは専用の記号があってすぐに書けるものですし、他にも、伴奏で通奏低音の記号を書くだけとかコードネームを書くだけとかもできるでしょう。

これは文書の話で言うような「構造と体裁の分離」がされているか否かという事だと思います。つまり、楽譜が構造で演奏が体裁という事です。

『型システム入門――プログラミング言語と型の理論(TaPL)』読書ノート

TaPLを買ったので、誤解があった場合に指摘を受けたりできるように、読書ノートを公開します。暇な人は間違いを見つけたら教えて下さい。

(このノートの目的上、自信が無いことも言っているので、このノートに書いてあることはあまり信じないように)

###序文

必要な背景知識

	#!/bin/bash

	# ref: CUI超お手軽英語辞書 - capriccioso String Creating(Object something){ return My.Expression(something); } (http://d.hatena.ne.jp/its_out_of_tune/20120610/1339311044)
	# + メモ化 & 言及英単語を再帰的呼び出し & 発音 & クリップボード監視翻訳

	# 複数の語を分かち書きしたものからなる節を調べるときは語と語の間を(空白ではなく)プラス記号で区切る
	# 例: Haskell Curry を調べるときは `je haskell+curry`

	ISNEW=false

	module Combinators where
	b : {A B C : Set} -> (B -> C) -> (A -> B) -> A -> C
	b x y z = x (y z)

	c : {A B C : Set} -> (A -> B -> C) -> B -> A -> C
	c x y z = x z y

	k : {A B : Set} -> A -> B -> A
	k x y = x

	{-# LANGUAGE DeriveFunctor, FlexibleContexts, UndecidableInstances #-}
	import Control.Monad.Free
	import Control.Monad (void)
	import Control.Monad.Identity
	import Data.Void

	import Test.QuickCheck

	-- Free Monadの使用例

	{-# LANGUAGE GADTs, GeneralizedNewtypeDeriving #-}

	import Haste
	import Haste.Foreign
	import Control.Monad.Operational
	import Control.Monad.IO.Class
	import Control.Applicative

	data SleepableIOF a where
	Sleep :: Int -> SleepableIOF ()

	#!/usr/bin/python

	from tika import parser
	import argparse
	import os
	import sys

	def print_title(parsed, filename):
	try:
	print(parsed['metadata']['title'])

	#!/usr/bin/env python3
	# -- coding: utf-8 --

	# printenvを使ってw3mでページ毎にコメントを記録できるようにする
	# 今まで作ったURLと注釈ファイル名(タイトル、ダブったら数字を付ける)の組の列をjsonで保持連想配列
	# URLを渡すと注釈ファイルが開く
	# keymap A EXEC_SHELL "w3m_commentary.py"

	import lxml.html
	import json

	{-# LANGUAGE JavaScriptFFI #-}
	{-# LANGUAGE OverloadedStrings #-}
	{-# LANGUAGE TemplateHaskell #-}
	{-# LANGUAGE QuasiQuotes #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE RecursiveDo #-}
	{-# LANGUAGE ScopedTypeVariables #-}

	module Lib
	( myMain