懸念を整理したので、自分なりの理解を記録しておきます。 おもちゃ箱、ToyBoxにおもちゃToyのサブクラス、MiniCarとCharacterCardインスタンスを格納するという実装で考える。 初期実装 型パラメータを使わない各初期実装は以下の通り。ToyBoxにはToyを抽象…
代数的データ型とは? 複数のデータコンストラクタ(Scalaではclassやobject)を取りまとめた型。オブジェクト指向の抽象クラスのような考えに近いと思った。 ただ、オブジェクト指向の抽象は、使い手が何のインスタンスであるか意識しなくて良いのに対して、…
無名関数、関数リテラルの定義 Scalaの無名関数、関数リテラルは以下のように記述することで定義できる。 val f = (x:Int, y:Int) => x == y これは引数2つの関数リテラルとなるので、Function2(2は引数2つの意味)のtrait実装の無名クラスの糖衣構文となる。…
自分のScalaの学習の経歴は N予備校のScala講座で学習 コップ本23章まで読んだ Haskellの入門書一冊を終了。型クラスやファンクター、モナドの概念は一応は理解しているつもり。 程度。ただし、学んだ端から忘れていってしまう(笑)ので、もう少し基本的なこ…
Playframeworkについての入門書は以外とあまり出てなくて、日本語で書かれた出版社から出版された書籍は多分この2冊になると思う。 しかしながら、徹底入門の方は2013年末出版のPlayのバージョンが低い & Javaベースで書かれた本なので、新しいバージョンに…
pac4jとは? pac4jはrubyでのOmniAuthのようなJavaで書かれた横断的なソーシャルログインライブラリ。 pac4j: security for Java https://github.com/pac4j/play-pac4j Scala + Playframeworkでも利用できるので、TwitterとGitHubのソーシャルログインを試し…
バリデーションの定義 Formオブジェクト生成の定義に記述する。 Form{ mapping( "password" -> nonEmptyText.verifying(passwordCheckConstraint), "mail" -> email, "tel" -> nonEmptyText(maxLength = 13, minLength = 10).verifying(error="不正な番号で…
PlayframeworkのControllerのメソッド、Action{}とはなんぞや?の整理。 def index() = Action{ implicit request => Ok("Hello World") } 自分なりの解釈なので、間違ってたらごめんなさい。 Actionの定義 Action.scalaのActionBuildertraitのapplyメソッド…
絶対忘れるので書いておく。 traitのメソッドのみ使いたい場合、無名クラスにtrait mixinすれば簡単に利用できる。 このように対象のtraitがあった場合、 trait Job { def p(str:String) = {println(str); str} } ダメなケース。 new Job() traitそのものは…
すぐコピペして使う用の自分用メモ AtCoder用の標準入力の受け取り -- 整数の入力 a <- readLn --文字列の入力 w <- words <$> getLine [w1, w2] <- words <$> getLine -- スペース区切り整数の入力 n <- map read . words <$> getLine :: IO [Int] [n,m,x] …
employment.en-japan.com このページの下のコード部分がすぐに把握できなかったんだけど、整理するとなるほどな。と納得できた。 > foldl plusEach [0] [[1, 11], [1, 11], [3]] [5,15,15,25] 整理 plusEachの定義はページとは違うけど要約するとこんな感じ…
モナド モナドはバインド (>>=)関数をサポートするアプリカティブファンクターの一種。 (>>=)関数の定義。 (>>=) :: (Monad m) => m a -> (a -> m b) -> m b Monadという文脈に包んだ値を、値を取る関数に対して渡す。と読める。 適用例。 ghci> Just 3 >>= …
newtype newtypeはある型を値コンストラクタで包んで新しい型を作成する。 newtypeはdataキーワードの作用ととてもよく似ているが、 1つの値コンストラクタに1つのフィールドのみ定義できる dataより高速に作用する。らしい。 ghci> newtype CharList = Char…
アプリカティブファンクター ファンクターの関数適用 アプリカティブファンクターの前にファンクターの関数適用について。 今まではfmap (*2) [1,2,3]のように引数に値を返す関数(*2)を定義していた。 これを let a = fmap (*) [1,2,3] ghci> :t a a :: Num …
変数の遅延評価 lazyキーワードを使用するとその変数にアクセスするまで評価が遅延する。 scala> val date = new java.util.Date date: java.util.Date = Wed May 06 18:59:57 JST 2020 scala> lazy val date = new java.util.Date date: java.util.Date = <lazy> </lazy>…
Randomパッケージのインストール 多分、--libをつけないとexecutableじゃないと怒られる。 $ brew install cabal-install $ cabal update $ cabal install --lib random random関数 random関数はジェネレーターgを受け取り、乱数aとジェネレーターgを返す。 …
ファイルを読む readfile.hs import Control.Monad import Data.Char main = forever $ do l <- getLine putStrLn $ map toUpper l $ ghc --make readfile.hs $ ./readfile < data.txt getContents関数 入力ストリームから文字列を得る関数。入力ストリーム…
IOアクション IOアクションは実行されると副作用を含む動作を行い結果を返す。結果に返すべきものがない場合、()空のタプル、Unitを返す。 ghci> :t putStrLn putStrLn :: String -> IO () ghci> :t putStrLn "Hello World" putStrLn "Hello World" :: IO ()…
クラス型 classキーワードを使用して定義する。EqやOrdはクラス型となり、データ型はクラス型を指定することでクラス型のインスタンスとして振舞うことができる。 クラス型はオブジェクト指向言語でいうところのインターフェースのように、インスタンスが持…
データ型を定義する dataキーワードで定義する。 data MyBool = False | True MyBoolというデータ型はTrueまたはFalseの値コンストラクタを受け取る。型名及び、値コンストラクタは大文字から始まる必要がある。 値コンストラクタには引数を与えることができ…
パターンマッチ 引数の値による条件分岐が行える。オシャレ。上から条件に合った式が見つかれば、以降の式は評価されない。 lucky :: Int -> String lucky 7 = "lucky number seven!" lucky x = "out of lucky" ghci> lucky 2 "out of lucky" ghci> lucky 7 …
型の確認 ghci> :t 'a' 'a' :: Char ghci> :t 1 1 :: Num p => p ghci> :t "string" "string" :: [Char] ghci> :t True True :: Bool ghci> :t [1,2] [1,2] :: Num a => [a] ghci> :t (1,2) (1,2) :: (Num a, Num b) => (a, b) 関数の型宣言 文字列を受け取…
タプル タプルはサイズ固定だが、違った型を収めることができる。 ghci> (1, 3) (1,3) ghci> (1, 'a', "Hello") (1,'a',"Hello") サイズが違ったタプルは違った型として解釈する。 ghci> [(1,3),(4,5,6)] <interactive>:103:8: error: • Couldn't match expected type ‘(a</interactive>…
Haskell リスト内包表記の整理。 <-でリストの各要素を束縛する。|以前の記述はリスト内表記の出力を表す ghci> [x*2 | x <- [1..10]] [2,4,6,8,10,12,14,16,18,20] フィルタリングして束縛することも可能。 ghci> [x*2 | x <- [1..10], x*2 >= 8] [8,10,12,…
最近、Haskellの入門書を読んでいて、読んでる最中はなるほど!っと感動するんだけど、読んだ端から忘れていってしまうので、最初から読んだことをメモしておく。 一応、復習にもなるかな(^_^;) 演算の順序指定 ghci> 1 + 2 * 3 7 ghci> (1 + 2) * 3 9 関数…
例えば、各コントローラー、メソッド単位で認可の判断をする場合など、メソッド側にパターンマッチを書いてももちろんいいんだけど、以下のようにActionメソッドを拡張したメソッドに渡して透過的に確認することもできる。 def index() = SignedAction{ impl…
AnormはJDBCインスタンスを利用して、シンプルなDBレコード操作を提供する。 JDBCで書くSQLとの違いは、 ScalaオブジェクトにマッピングするParserを定義することで、ユーザが定義したcase class型のListを作成することが簡略化できる。 PreparedStatementの…
CSRFとプリフライトリクエスト PlayFrameworkは通常の入力フォームからのリクエストはCSRFFileterが常備されていてhelperでform生成している限り問題なく対策できるんだけど、JSからのPOSTメソッドなんかにCSRFTokenを付与して検証するのは結構手間。 いくら…
PlayFrameworkでWebAPIとして動作するJsonを出力する。 基本形 OkメソッドにJsonValueオブジェクトを渡せば、'Content-Type: application/json'が吐かれる。 Ok( data:JsonValue ) 以下、JsonValueの作成方法を紹介します。 文字列から生成 var jsonValue = …
この書籍を購入する以前もDockerは触っていたんだけど、都度調べながらコマンドを実行したり、ymlを書いたりしてた。 基本を学びたいなー。が半分、Kubernetes触ってみたいなー(笑)。が半分で本書を購入。 Dockerの基本的なコマンドから始まって、DockerHub…