ひなたねこ
data Maybe a = Nothing | Just a という型をekmettさんのコードを参考にChurch encodingしてみると、 newtype Maybe { runMaybe :: forall r. a -> r -> r -> r } となります。（多分） これをScalaで表現してみました。 とても面倒なことになってますが、ちゃんとMaybeモナドとして動作します。 Haskellだと結構綺麗に書けたりします。 Church encodingすると大抵の場合に高速化されます。 このMaybeモナドの例では、emptyをbindで合成した時に、Justの場合の処理を破棄しています。 ラムダ計算で代数的データ型を表現する方法 この記事も面白いのでぜひ読んでみて下さい。
SAML Web Browser SSO on JBoss AS 7.0| JBoss.org Content Archive (Read Only)
Created by anil.saldhana on Aug 26, 2011 9:54 AM. Last modified by anil.saldhana on Sep 22, 2011 12:55 AM. Return to Cheatsheet for PicketLink and JBoss AS <<< This article will talk about achieving SAML v2 Web Browser SSO on JBoss AS7.0 and beyond. Ideally the recommendation is that you are running the latest version of JBoss AS7. How do I configure JBoss AS 7 for achieving SAML based SSO? 1. We
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
