はてなブックマーク

YesodはCSRF対策のサーバ側処理としてdefaultCsrfMiddleware というYesod Middlewareを提供している、ということはYesod Advent Calendar 2016|9日目に書きました。 ただ、CSRF対策はサーバ側だけでは当然ながら不充分で、クライアント側にも対処が必要です。ところが困ったことにこのクライアント側で対処がなされていない処理が見あたります。 中でも困るのがログアウト処理で、単純にdefaultCsrfMiddlewareを使うとログアウト処理（=/auth/logoutへのアクセス）でCSRFチェックでNGとなってしまい、ログアウトに失敗してしまいます。 これに対処する１つの方法として、特定パスへのアクセス時にCSRF対策を行わないようにするMiddlewareを作り、defaultCsrfMiddlewareの代わりに使うようにし

最初に断っておきますが、当エントリは実用的ではありません。 Haskell初心者が挫折しがち（と思われる）関数合成について、思いを共有出来ればいいなと思っています。 関数合成を書くのって、何だか難しい Haskell初心者の鬼門、関数合成。 なんかかっこいいから使ってみたい。letを使ったら負け、$を使った負け・・・という思いで頑張ってみるものの、なかなかうまく書けない・・・ なぜ私はこんなに関数合成を苦手に感じるのか。整理して解決への糸口を探してみることにしました。 関数合成は思考と記述の順番が逆 私が感じるに、関数合成が分かりにくいのは 後ろから 関数が適用されるのに違和感があるからです。 例として複数行から成る文字列の各行の先頭に行番号を付けるプログラムを書いてみます。

Javaに限らず、ソースコードの整形（フォーマット）に手を取られるのはムダなことです。 最近のIDEは自動整形を当然のように備えていますが、自動整形を自動で実行するのが、eclipseの Save Actions(保管アクション) 。 Save Actionsをうまく使えば、ソースコードの整形だけでなくいろんな処理をソース保存時に行えるようになります。 初めはソースが勝手にごそっと書き換わるので戸惑いますが、慣れると機械的な作業に一切手を取られなくなるので劇的にコーディングが早くなります。 設定箇所 eclipseの 環境設定 から設定します。 設定内容 最低でも次の２つは有効にしておきましょう。 Format source code Organize imports これでソース保存時にソースコード整形とimport文の整理が行われます。 これに加えて、私は次のような設定を追加しています

Herokuの15分ルール YesodアプリをHerokuにデプロイするというトピックを書きましたが、難関があります。 Herokuは、ビルドが15分経っても終わらないとデプロイを失敗させてしまうのです。 そして、Yesodで作ったアプリケーションは、ビルドに15分以上かかるのは珍しいことではありません・・・ ビルドサーバ「Anvil」 15分ルールに対抗するには、Anvilというビルドサーバが使えます。 heroku-buildpack-ghcのページに書いていました。 ビルドサーバはHerokuでのビルドとは関係ないので、15分ルールに縛られないようです。 ビルドサーバでのビルド〜デプロイの流れ 概ね次のような流れになります。 ビルドサーバにプロジェクトをアップロード ビルドサーバ上でビルド 2で生成されたslug(Heroku用語で、アプリ実行に必要なファイル群のこと)をビルドサーバ

BaaSとは BaaSとは__Backend as a Service__の略であり、モバイルアプリケーションを作成する上で必要な__サーバ側の機能__を提供してくれるフレームワーク及び実行環境。次のような機能を提供する。 ユーザー登録、IDの再発行、ユーザー情報の管理 メール通知、プッシュ通知 GPSを活用した、位置情報サービスとの連携 TwitterやFacebookなどソーシャルネットワークサービスとの連携 データやコンテンツの保存／管理機能 （@ITのBaaS説明記事より抜粋） 以下にBaaSと他のクラウドの比較を掲載する。BaaSの位置付けがよく分かると思う。 (appiariesサイトのBaaS説明ページから抜粋) BaaSの提供形式 現在は圧倒的にクラウド形式での提供が多い。もともと「モバイルアプリケーションをスピーディに開発＆リリースしたい」というニーズに応えるための製品な

module Main where import Data.List.Split import Data.Time.Calendar import Data.Time.Calendar.WeekDate import Data.Time.Clock import Data.Time.Format import Data.Time.LocalTime import Data.Text (pack, unpack, center) import System.Locale 主処理 = main main = 現在日付を取得 >>= 指定日付を表示用に加工 >>= プリントアウト 現在日付を取得 = getZonedTime プリントアウト = putStrLn 指定日付を表示用に加工 :: ZonedTime -> IO String 指定日付を表示用に加工 任意の日付 = do 日付 <-