j5ik2o

ペアプロの心得

休憩をとる

1.定期的に休憩をとっていますか？ ペアプログラミングは、精神的な体力を消耗します。定期的に休憩をとってリフレッシュすることがとても大切です。

謙虚になる

2.「色々な実装方針がある」という認識がありますか？

fumieval

data ExprP = Var String | Apply ExprP ExprP | Lambda String ExprP -- lambda calculus expression

data Expr = I | K | S | Expr :$ Expr | Free String -- combinatory expression

compile :: ExprP -> Expr
compile (Apply f x) = compile f :$ compile x
compile (Lambda p e) = bindee p $ compile e
compile (Var i) = Free i

bindee :: String -> Expr -> Expr

ujihisa

(define (while1 cond body)
  (let ((c (call/cc (lambda (c) c))))
    (if (cond)
      (begin
        (body)
        (c c)))))

(define i 0)
(while1 (lambda () (< i 10))
        (lambda ()

ujihisa

import qualified Control.Monad.State as S
import Control.Applicative ((<$>), (<*>))
import Data.Maybe (fromMaybe)
import qualified Data.Map as M
import Control.Monad (unless)

data BF = Token Char | Loop [BF] deriving Show

type Tape = M.Map Int Char
type Env = (Int, Tape)

mahata

<?php

$input = json_decode(file_get_contents("php://input"), true);
$source = $input["events"][0]["message"]["text"];

define("PHP_SIGN", "<?");
define("LLEVAL_ENDPOINT", "http://api.dan.co.jp/lleval.cgi");

if (0 === strpos($source, PHP_SIGN)) {
    echo prep($source);

ujihisa

import qualified VM as V
import qualified Text.Parsec as P
import Control.Applicative ((<|>), (<$>))
import qualified Control.Monad.State as S
import qualified Data.Map as M
import Data.Maybe (fromJust)

data Intermediate = Comment String
  | Inst V.Instruction
  | Paramdef String

sunaot

コーディング指針

基本方針

こんなコードはよいコード

• 読みやすいことはよいことだ
  • 見た目が単純だと読みやすい
  • 皆がよく知っている構成は読みやすい (標準に従う。すでに知っているもの (Unix のコマンドとか) に従う。すでにあるものに従う)
• 書かないことはよいことだ

lukegb

f = open("vvvvvvmusic.vvv", 'rb')
q = f.read()

FILE_NAMES = ['0levelcomplete.ogg','1pushingonwards.ogg','2positiveforce.ogg','3potentialforanything.ogg','4passionforexploring.ogg','5intermission.ogg','6presentingvvvvvv.ogg','7gamecomplete.ogg','8predestinedfate.ogg','9positiveforcereversed.ogg','10popularpotpourri.ogg','11pipedream.ogg','12pressurecooker.ogg','13pacedenergy.ogg','14piercingthesky.ogg']

startAt = endAt = -1
musStartAt = musEndAt = -1
currentMus = 0
while True:
    oldStartAt = startAt