Rustを30分で紹介する(訳)

rust

以下は30 minute introduction to Rustという文書(現在ではオフィシャルドキュメントの一部)の翻訳メモです。C/C++の代替に(将来的に?)なり得る言語として興味を持っています。Heartbleed問題について、ソースが汚いとか、レビュー体制がどうのとか、そもそ…

2014-04-17

Groovyを勉強したい人に贈る、astprintコマンド

groovy asttransformation

今ごろ言うな、って話かもしれませんが、自分で2年ほど前にこっそり作っていて最高に便利だと思っているコマンド「astprint」を紹介します。astprintの内容は以下のようにシェルスクリプトです。 #!/bin/sh groovy -e 'groovy.inspect.swingui.AstNodeToScri…

2014-04-16

Groovy 2.3のtraitをもうちょっと調べてみるついでにScalaのtraitを理解する

groovy scala trait

(訂正2014/4/17)以下の記事ではGroovy 2.3のtaritはスタッカブルには使えない、と書いておりますが、以下によれば次のベータ(Groovy 2.3-beta-3かな)ではスタッカブルトレイトが利用可能になるようです。次βでGroovy 2.3のtraitはスタッカブルになるようで…

2014-04-13

Groovy 2.3.0-betaが出たのでtraitを触ってみたメモ

groovy java8 scala trait

Groovy 2.3.0-beta-1とbeta-2が出たので新機能traitをかるく触ってみました。注意! 以下は現時点で2.3.0-beta-1と2の振舞いとドキュメントを調べた限りの情報です。正式リリースに向けて変更される可能性があります。関連記事 Introduce Groovy 2.3 trait G…

2014-02-26

Java VM上の言語の覇者を決める(但しJava以外)スクリプトボウルの履歴

groovy scala clojure nashorn jvm Java Javaone

米国開催のJavaOneカンファレンスで恒例の人気セッションとなっている「スクリプト・ボウル」というのがあります。Java VM上で動作する言語同士のガチ勝負で、コード例とか、技術力とかいろいろな側面からパネルセッションでバトルして、その年勝者を決める…

2014-02-21

Grails 2.x脆弱性情報(WEB-INF配下が読みとられる)

grails

脆弱性情報のアナウンスがでています。http://grails.1312388.n4.nabble.com/IMPORTANT-CVE-2014-0053-Information-Disclosure-in-Grails-applications-td4654254.htmlhttp://cxsecurity.com/issue/WLB-2014020172Grails 2.xのリソースプラグインのデフォル…

2014-02-01

Hindley-Milner型推論アルゴリズムをGroovyで書いてみた

haskell groovy typetheory Lambdacalculus

こないだ「Haskellのforallについて理解したことを書いておく(ランクN多相限定)」の記事を書いたときにHindley-Milner型推論アルゴリズム*1を調査するにあたって、こちらにある「Scala by Example」の16章にあるScalaでの実装例をGroovyに書きなおしたので晒…

2014-01-29

HaskellにおけるIOモナドとSTモナドの関係

haskell

HaskellにおけるIOモナド(IO a型)とSTモナド(ST s a型)について整理してみました。 IOの定義から知るST IOモナドの考え方についての原論文に相当する「Lazy Functional State Threads」においては、IOの定義は newtype IO a = ST RealWorld aのようにST型を…