Groovyの簡易依存関係管理ツール、Grapeを使ってみる - CLOVER🍀
Groovy 2.0が出ましたね〜。機能的なところはあんまり見てませんが、なんか型チェックとかができるようになったんだとか？それって、Groovyで待ち望まれてたものなんでしょうか？よくわからんです…。 ま、とりあえずバージョンアップはしておきましたと。 ところで、Groovyでビルドや依存関係の管理ツールといえばGradleが有名だと思いますが、自分はそれほどどっぷりGroovyを使っているわけではないので、これを触るのは少し後にして、今はもっと簡易的というか標準で搭載されているGrapeを使ってみようと思います。 Grapeとは？ Apache Ivyを使った、Groovyの標準的なモジュール管理ツールです。Mavenリポジトリをサポートしているので、他のリポジトリからJARファイルなどをダウンロードしてスクリプト中で依存関係を解決しつつ実行することができます。 詳細は、こちらです。
Kleisli Triple - オボエガキ用
モナド(Monad) 次の性質を満たす三つ組(T,η,μ)のこと。 前提 関手 T : C→C 自然変換 η : Id → T, μ : T2 → T 以下の性質を持つ ここで、関手の合成をと書く。関手の射をと書く。 Kleisli Triple 圏C上のKleisli Tripleとは、次の性質を満たす三つ組(T,η,*)のこと。 前提 写像 T : Obj(C)→Obj(C) 射 ηA : A→TA 演算 f* : TA→TB, where f:A→TB, f∈Arr(C) (* この演算をKleisliリフティングと言う。) 以下の性質を満たす η*A = idTA f*◦ηA = f g*◦f* = (g*◦f)* メモ Kleisli Triple Haskellで使用される。モナドと等価。 使う理由 データとして圏論的データではなく、単に写像を与えれば良い。Tの射、ηの自然性を
ヒビルテ(2003-11-27)
λ. HaskellのMonad Haskellのモナドの話になって、原さんは「私にわからんのは(Haskellが)おかしい」と言っていた。原さんにわからないなら、私にわかるわけがないな。 原さんがわからないってのは、ちょっと信じられないです。Monadの数学的定義を知っているならば、Haskellのは単に「各種の計算体系のモデルを、適当な strong monad の Kleisli category として作れる」ということに過ぎないと思うので。 例えば、Computational lambda-calculus and monadsにも載っている例をいくつか取り上げると…… (例1) 非決定性計算 T: C→C T(X)=℘(X) (℘はべき集合関手) ηA: A→℘(A) ηA(x) = {x} μA: P2(A)→℘(A) μA(S) = ⋃S で定義される Monad (
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Triples, Algebras and Cohomology
