より良い環境を求めて このページをアンテナに追加 RSSフィード

2015-11-19

[][][] php-modeとyasnippetを更新した

最近の無名関数が綺麗にインデントされるようにemacsphp-modeを更新した。


https://github.com/ejmr/php-mode.git

これをcloneして使っていたのでpullしただけ。


Emacs23だとうまくいかなかったのでEmacs24に更新。

apt-get install -t wheezy-backports emacs24

cd /etc/pkcs11/modules/
mv gnome-keyring-module gnome-keyring.module

下のコマンドは、一緒にアップグレードされるパッケージにミスがあるようなので。


yasnippethttps://github.com/capitaomorte/yasnippet ここからcloneしてmasterで使ってる。

yasnippetphp-modeは https://github.com/nishimura/minimal-yasnippet-php-mode 自分で書いたやつ。バックスラッシュのエスケープが多重に要らなくなったようなので修正した。

nameと書いてタブ押すぐらいしか使ってないけど。

2015-09-08

[] wheezyのnvidia設定

以前は fglrx-legacy-driver を使って設定が面倒だったように記憶している。

新しいグラボならコマンドを実行するだけみたい。

https://wiki.debian.org/NvidiaGraphicsDrivers

lspci -nn |grep VGA

# 先に apt-get install nvidia-detect

nvidia-detect

# 表示されたものをインストール
apt-get install nvidia-glx

# 自動設定 apt-get install nvidia-xconfig
nvidia-xconfig

あとは gdm3 を restart して メニューのシステムからNVIDIAの設定をするだけだった。

2015-08-22

[] Composerの検索をローカルにする

いつも忘れるのでメモ。


あらかじめ外部ライブラリはローカルにgit cloneしておく。



composer.json

    "repositories": [
      {"type": "vcs", "url": "/home/user/repo/my-framework"},
      {"type": "vcs", "url": "/home/user/repo/my-lib"},
      {"type": "vcs", "url": "/home/user/repo/Aura.Session"},
      {"type": "vcs", "url": "/home/user/repo/zend-diactoros"},
      {"type": "vcs", "url": "/home/user/repo/http-message"},
      {"packagist": false}
    ],

packagist: false で指定。


そうすると、ちょっとしたライブラリを自分で作ってるときに、それを更新してもいちいちネットワークを検索せずにすむ。

また、普通に使うときにも、あらかじめローカルにcloneしておけば全パッケージを探さなくて良いので更新が早い。依存関係が増えた場合などは自力で一つずつcloneしていかないとダメだが、そっちの方が早い気がする。

2015-08-12

[] wheezy のvmwareWindows 10 を入れる

今使っているVMware Playerはバージョン5だったので、まず7に上げる。

Linuxだろうとダウンロードしてきたインストーラを実行して、特に問題なく終了。

勝手に上書きインストールされてメニューのアイコンも変わった。動きがWindowsっぽい。


念のためVMwareのゲストデータがあるディレクトリをコピーしてバックアップや確認などしていたらゲスト一覧がバグった。

どうもこの一覧は ~/.vmware などではなく、 ~/.local/share/recently-used.xbel で管理しているらしい。該当部分を削除して対応。


そんでWindows8.1を起動すると表示がバグった。ファミコンのアレみたいに。

ディスプレイ設定の Accelerate 3D graphics をオフにする。設定が書き換わったのか元々だったのかは覚えてない。

そしてVMware Toolsの再インストール




VMwareゲストの場合は自動更新でWindows 10にしようとすると「VMware SVGA 3D お使いのディスプレイは、ディスプレイの製造元によってWindows10との互換性が認められていません。」のようなエラーになるので、自分でisoを取ってくる必要がある。

CDをマウントして実行したら何やらspwizeng.dllのエラーが出る。ちょっとハマったけどよく見たらVMware側でもエラーが出てた。isoファイルサイズが小さいのでダウンロード失敗した模様。もう一度ダウンロードする。3.9GB。長い。


Windows8.1からWindows10のCDを起動してアップデート。これまた長い。

その後VMwareのゲスト設定でOSWindows 10にしたら「Windows 10 x64 is not a supported guest operating system for Workstation 9.0 virtual machines. 〜」と警告が出た。

http://d.hatena.ne.jp/n314/20121218/1355818144 この辺をやればいいのだろうけど、問題が起きるまで取りあえずそのままで。

それからVMware Toolsをインストールし直す。

特にアプリは入れてないのでこれで完了。

待ち時間が長いだけで変なミスをしなければ特に問題なかった。





Windows 8.1VMwareLinuxデスクトップのサブとして使うにはまったく向いてなかったけど、Windows 10 なら大丈夫そうだ。

Windows XP に入っている OfficeとかAdobeとかをやっと移せるか…?

プログラムの削除はせずにとりあえずライセンスだけ移動するのが良いかもわからんね。






ちょっとメモ。

http://blog.drikin.com/2015/01/windows-2.html

ブコメが参考になる。

2015-08-04

[] 今更PHPモナド的なものを書く

http://blog.dakatsuka.jp/2013/09/03/php-maybe-monad.html

この辺とか

http://d.hatena.ne.jp/kazu-yamamoto/20110413/1302683869

この辺とか見てたらちょっとやってみたくなったので。


○○言語でMonad実装って結構あるけど、MonadPlus使えないとあまり意味ないよね?的なところもある。


上記URLのTree探索するやつの

msearch :: MonadPlus m => (Int -> Bool) -> Tree -> m Int

これ、型推論テンプレートジェネリクス戻り値の型がないPHPでは無理目なので、コンテキスト(MonadPlus m)を引数として渡すことにする。

traitがあればreturnやmzeroを共通化できるので多少マシじゃないかな?と思いつつ。


<?php
    private function searchTree(Context $m, callable $f, Tree $tree)
    {
        if ($tree instanceof EmptyTree)
            return $m->mzero();
        if ($f($tree->value))
            return $this->searchTree($m, $f, $tree->left)
                        ->mplus($m->ret($tree->value))
                        ->mplus($this->searchTree($m, $f, $tree->right));
        else
            return $this->searchTree($m, $f, $tree->left)
                        ->mplus($this->searchTree($m, $f, $tree->right));
    }

    private function getTree()
    {
        $empty = new EmptyTree();
        return new Tree(3,
                        new Tree(2, $empty, $empty),
                        new Tree(1, $empty, $empty));
    }

    public function testTreeDataList()
    {
        $c = new DataListContext();
        $f = function($a){ return $a % 2 == 1; };
        $t = $this->getTree();
        $ret = $this->searchTree($c, $f, $t);
        $this->assertEquals(Cons::fromArray([3,1]), $ret);
    }
    public function testTreeMaybe()
    {
        $c = new MaybeContext();
        $f = function($a){ return $a % 2 == 1; };
        $t = $this->getTree();
        $ret = $this->searchTree($c, $f, $t);
        $this->assertEquals(new Just(3), $ret);
    }
https://github.com/nishimura/laiz-monad/blob/master/test/src/Laiz/Test/Monad/ContextTest.php

タイプ量が多い…。

traitってこういう使い方で良かったんだっけ?ファイルの置き場所とかセオリーが分からん。

composer.json置いてるけど未登録。

2015-07-28

[][] ぼんやり振り返り

顧客は本当に欲しいものは知らない、と言うけれど同じような症状だ。

かゆいところに手が届かない。



自作フレームワークがつぎはぎになってきたのでカッとなって作ったやつ。

PHPの小規模用テンプレートエンジンを作った - より良い環境を求めて


なんかアノテーションマイブームだったっぽい。

PHPのフレームワークを作った - より良い環境を求めて

ただ利用しているZendのアノテーション解析が、あるバージョンでとても遅くなったので、アノテーションを使うことに不安を覚える。

言語レベルでやることをPHPで頑張ってやるべきじゃないな、などと思い直す。

@varアノテーションによるリクエスト変数のcastは結構便利だったんだけど。



ふと、Haskellっぽく書きたいよなー、前にそういうこと書いたよなーと思い出す。

バリデーターあれこれ - より良い環境を求めて

やっぱり書いてた。

ロジックの中の方でDBを呼び出すのは良くないよね、という話。


バリデーター繋がりで、Scalaでも何か書いてたなーと思い出す。

LiftでWebアプリ(4): フォーム用共通処理を作る 1 - より良い環境を求めて

この投稿の最後の方のコード、今見てもこんな風に書きたいなーと思える。

演算子が定義できないとどうしようもない…かな?


例えば、こんなの。

<?php
class SomePage{
  public function somePost(Request $req, Db $db){
    $form = $req->fragment('form1');
    $form->key('mail')->name('メールアドレス')
      ->trim()->required('{name}を入力してください')
      ->email('{name}の形式{input}が正しくありません');
    $form->key('body')->required('本文を入力してください')
      ->maxLength(1000, '{param0}文字以上は送信できません');
    $form->key('zip1')->key('zip2')->name('郵便番号')
      ->toHalf()->required('{name}を入力してください')
      ->length([3, 4])->numeric('{name}の形式が正しくありません');

    try {
      $values = $form->get();
      $account = $db->from('Account')->eq(['mail' => $values->mail])->getOne();
      ....
    }catch (IoException $e){
      $errors = $e->getErrors();
      ....
    }
  }
}

万能RequestクラスをTraitの寄せ集めで作って、Eitherの変わりに例外にして…。うーん…。

やっぱり演算子や結合がないとタイプ量が多い。


で、PSR-7もあるのでどうしようとか。



アプリは、Input => App => Output っていうのは確定で、これは

Request => App => Response に置き換えるとちょっとまずい。Outputがそのまま次のInputになった方がシンプルになりそう。

正確には Context & Request => App => Request | Response かなあ。

アプリがRequestを返したらリダイレクトなどをして、Responseを返したら終了。

いや、でもテンプレートエンジンを使うだろうしやっぱりResponseを返すのは特殊な場合だけになるのか。





まとまらないけど眠いので一旦投稿。

2015-07-13

[] 頭の体操

CodeIQ ホリエモンからの挑戦状

https://codeiq.jp/magazine/2015/07/26213/



何故か体調を崩して頭ふらふらのときに解説編の記事を見てHaskellでコードを書いていたので記念メモ。

module Main where

import Control.Applicative
import Data.Set (fromList, member)

main::IO ()
main = prog <$> getInputs >>= print
-- main = print $ prog (10000, [1..5000])

prog :: (Int, [Int]) -> Int
prog (ln, xs) = length $
     [(a, b, ln - a - b) | a <- [x | x <- xs],
                           b <- [x | x <- xs,
                                     a < x,
                                     x < ln - a - x,
                                     member (ln - a - x) $ fromList xs]
     ]

getInputs :: IO (Int, [Int])
getInputs = (,) <$> readLn <*> (readLn >>= readContents)

readContents :: Int -> IO [Int]
readContents n = take n <$> map read <$> lines <$> getContents

ghcの環境が壊れててそれを戻すだけで1時間以上かかった記憶がある。あとリスト操作部分よりもIO操作とApplicativeの使い方調べるのに時間がかかって、問題にある「想定時間10分」は余裕で超えた。1時間以上はかかった気がする。

そして https://gist.github.com/yancya/3c5fa7c0f09ad85f5230 こちらのRubyより遅い。リストのindexを使ったりListじゃないものを使えば速くなりそうだけども放置で。


http://www.sampou.org/cgi-bin/haskell.cgi?%A5%B0%A5%ED%A1%BC%A5%D0%A5%EB%CA%D1%BF%F4%A4%AC%CD%DF%A4%B7%A4%A4%CD%FD%CD%B3%A1%A9

こちらを読み返しつつの練習。