MiyamonY

font for emacs

現在のフォント

ひらがな

character: れ (displayed as れ) (codepoint 12428, #o30214, #x308c) charset: unicode (Unicode (ISO10646))

MiyamonY

racket macro

syntax transformer

syntax transformerとはsyntaxを受け取ってsyntaxを返す関数のこと．

define-syntax によりtransfomer束縛を作っている．syntaxの環境にfooを入れ

MiyamonY

#lang racket

(define-syntax foo
  (lambda (stx)
    (syntax "I am foo")))

(define-syntax (also-foo stx)
  (syntax "I am also foo"))

(define-syntax (quated-foo stx)

MiyamonY

#lang racket

(require racket/port)

(define (output-string)
  (with-output-to-string
    (thunk (displayln "ok"))))

(module+ test
  (require rackunit)

MiyamonY

gcc `pkg-config --cflags gtk+-3.0` -o test test.c `pkg-config --libs gtk+-3.0`

MiyamonY

#!/usr/bin/env python
# -*- coding:utf-8 -*-

from flask import Flask, make_response, request
from flask.ext.script import Manager

app = Flask(__name__)
app.debug = True
manager = Manager(app)

MiyamonY

#!/usr/bin/env python
# -*- coding:utf-8 -*-

from flask import Flask, make_response
from flask.ext.script import Manager
app = Flask(__name__)
manager = Manager(app)

@app.route('/string/')
def return_string():

MiyamonY

type Assoc a b = [(a, b)]

data Prop = Const Bool
          | Var Char
          | Not Prop
          | And Prop Prop
          | Imply Prop Prop

p1 :: Prop
p1 = And (Var 'A') (Not (Var 'A'))

MiyamonY

import System.IO
import Text.Parsec
import Text.Parsec.String

type Pos = (Int, Int)

goto :: Pos -> IO ()
goto (x, y) = putStr $ "\ESC[" ++ show y ++ ";" ++ show x ++ "H"

beep :: IO ()

MiyamonY

import System.IO

type Pos = (Int, Int)

width :: Int
width = 5

height :: Int
height = 5