2018-01-01から1年間の記事一覧
プログラミングHaskellのほうが断然わかりやすい。すごしずつHaskellの文法が見えてきた感じ。 用語整理 型 型とはお互いに関連する値の集合 Haskellではすべての式は型を持つ Bool型もChar型もInt型も全てお互いに関連する値の集合 リスト型もタプル型も全…
値コンストラクタと型コンストラクタの違いがよくわからない。どちらも新しい型を返すのは共通で、何を引数にとるのかが異なるのか? 型コンストラクタ:型を引数にとって新しい型を返す
ユーザに必要なだけの操作方法は提供するが、実装の詳細は隠蔽されているデータ型のことを抽象データ型と呼ぶ。
データ型の定義 新しいデータ型Shapeの作成は以下の通り 等号"="の後ろの部分を値コンストラクタと呼ぶ 値コンストラクタはフィールドを引数にとってデータ型を返す関数 Prelude> data Shape = Circle Float Float Float | Rectangle Float Float Float Floa…
そもそも型は、変数がメモリにアクセスする場合にint型ならXXXバイト、char型ならXXXバイトというようにアクセスするサイズを決めるために用いられると思っていたけど、それだけではないらしい。 型を用いることである種のバグが存在しないことにも繋がるら…
最近Haskellばかり書いているな。。 メモ 述語とは真理値を返す関数 map関数 関数とリストを受け取り、その関数をリストの全要素に適用して新しいリストを生成する。 Prelude> map (+3) [1, 5, 3, 1, 6] [4,8,6,4,9] Prelude> map (map (^2)) [[1, 2], [3, 4…
ソフトウェアを以下の3通りに分類して考えるのはとても的を得ていると思う。そして大多数のソフトウェアエンジニアが最後の「一般 アプリケーションに従事している」というのもまさにそのとおり。 「基盤系・学術系」 「組み込み系」 「一般アプリケーション…
カリー化の例としては、以下のような『2つ引数をとるmaxを以下のように定義しなおす』ことがわかりやすい。 # 引数を1つわたすと、その次の引数を1つ受け取る関数を返す function _max(x){ return function(y){ return x > y ? x : y; } }
型(データ型)と型クラス 両者は別の概念 型クラスのインスタンスが型(データ型) Javaで例えるなら「型のSuperクラスが型クラス」というイメージ 数の型クラスである'Numクラス'のインスタンスが'Int' 'Integer' 'Float' 'Double' Prelude> :t 20 20 :: N…
ファイルの読み書きは直感的にできる ファイルの書き込み Prelude> writeFile "test.txt" "Hello, Haskell!" ファイルの読み込み Prelude> let str = readFile "test.txt" Prelude> str "Hello, Haskell!" Prelude> :t str str :: IO String
式と文に明確な定義があるのかは不明だが、少なくとも「式は値を持つ」が「文は値を持たない」と思う。 式の型の確認 :t で型を確認できる :: の記号は「〜の型を持つ」と読む Prelude> :t 'a' 'a' :: Char 関数headは「任意の型のリストを引数に取り、その…
プログラミング言語の分類の助けになりそうな概念をつらつらとまとめてみた。 オブジェクト指向とか関数型言語とかは大丈夫そうなのでパス。 自分は型推論がない言語でないとやってられない! 型推論 周囲の文脈から型を推論すること 変数に対する型の記載が…
関数型言語のメリット 関数型言語だと「関数は当然値を返すだけ」なので、以下のような関数同士を組み合わせて別の関数の作成は容易である。 同じことを手続き型言語でやろうとすれば、できなくはないけどここまで綺麗にはかけない。 doubleMe x = x + x dou…
Haskell関連の用語整理 Stack Haskellのパッケージ管理やビルドを実行 パッケージ管理においては下のcabal-installの差し替えとして機能 ビルド実行においてはCabalをバックエンドで利用 動作としてはJavaのMavenに近い? Cabal ビルドシステム cabal-instal…
セッションは端末と関連している概念らしい。 やっぱり自前のLinux環境がないと辛い。 セッション セッションはセッションIDという値を共有するプロセスの集まりである 1つのプロセスグループ内のプロセスは同じ値のセッションIDを共有する つまりセッション…
リペアレンティング Linux/Unixでは親プロセスが死ぬと子プロセスは「孤児プロセス」として取り扱われる 孤児となってしまったプロセスは即座にinitプロセスの配下に紐付けられ生き続けることができる この動作をリペアレンティングと呼び、カーネルによって…
trapコマンド 実行中のプロセスに対して送出されたシグナルを補足し、予め指定していた処理を実行するコマンド 使い方としてはシェルスクリプト内部にtrap処理を記載し、実行中のシェルスクリプトに外部からシグナルを送信した際の動作を指定できる trap 'コ…
たまにしか使わないのでいつも迷います。。。 リダイレクト 標準入力・標準出力・標準エラー出力の向き先を変更する 1> で標準出力のリダイレクト、2>で標準エラー出力のリダイレクト 1>の1は省略可能 $ ls 存在しないファイル 2> test.txt $ cat test.txt l…
Reactを実行した。やはり手を動かさないとわかったという資格はない。 全てコマンドを打つだけで実行できるところに感激した。 「reacのアプリ」と「公開するwebページ」の差分がいまいち見えない。前者は後者の一部にすぎないのでは??? npmをインストー…
AWSのインスタンスの種類 オンデマンドインスタンス:従量課金・1時間単位で課金される リザーブドインスタンス:全て前払い・1年/3年単位・サーバ用途向け スポットインスタンス:入札形式・安いときはとにかく安い・安価になるけれど、利用するインスタン…
フロントエンドはそこまで深く踏み込む気はないが動作概要だけでも知っておくこと。 React.jsとは JavaScriptでの開発に用いられるUI用の汎用ライブラリ 比較対象として挙げられるBackbone.jsやAngular.jsとも併用できます。 SPA シングルページアプリケーシ…
フロントエンドにはそんなに踏み込む気はないが、簡単にでも手を動かす・動かさないで全然異なるため軽くでも触っておく。 まぁ確かに画面作るのにわざわざJava + Tomcatとかは面倒。。。 Node.jsの概要 JavaScriptで動作するサーバ環境(一般的にはWebサー…
Mavenプロジェクトを作成するとフォルダ構成やconfigファイルなどが自動で作成される。 Mavenとは 以下のように複数の機能を持つJavaのビルドツール。 プログラムのビルド:コンパイルからjar/warファイルの作成に関する全ての作業 -プログラムのテストと実…
コメントの書き方 ソースコードはロジックのみが記載されている。 「実装の内容」に関して記載するよりは(それは読めばわかる)、「なぜその処理を実装しているのか」という理由を書くこと 「実装の内容」を書く場合は個別のメソッドではなく、メソッド全体…
VPC概要 VPCはAWS上のユーザ毎のプライベートなネットワーク環境 VPCはリージョン単位で作成されるため、VPC作成時は最初にリージョンを選択する − VPCは同一リージョン内の複数AZをまたぐことが可能 VPCとインターネットの接続 VPCとインターネットを接続す…
リージョン→AZ(アベイラビリティゾーン) リージョン 2016年時点で全世界に13箇所のリージョンが存在 AZ 1つのリージョンには複数のAZが存在 同一リージョン内のAZをまたぐ場合はprivateIPアドレスを利用可能 AWSのサービス 各サービス毎に適用される範囲が…
ELB作成 ELB作成時にロードバランサインスタンスに対して固有のDNS名が割り当てられる(例:myLB-1234567890.us-east-1.elb.amazonaws.com) ロードバランサは一意のDNS名を1つもつ 独自のドメイン名でユーザにアクセスさせたい場合は、DNSにCNAMEを登録でき…
AWSのIPアドレスに関して。Route53は明日。 AWSのプライベートIPアドレス VPCのサブネット内に起動するEC2インスタンスは少なくとも1つのプライベートIPアドレスが割り当てられる EC2インスタンス内部からはプライベートIPアドレスしか確認できない AWSのグ…
DBの用語のシーケンス・インデックス・ビューに関して。こういうDB用語の理解が進むとだんだん自信がついてきて大変よろしい!! シーケンス シーケンスは連番となる一意な整数を生成するデータベースのオブジェクト 一般的にシーケンスは、ユーザIDや登録番…
プロセスの出力先 各プロセスの出力先はプロセス毎に個別に存在する 「/proc/PID/fd/数字」がファイルディスクリプタ 各プロセスの入出力は「/proc/PID/fd/数字」から確認ができる これを利用してバックグラウンドで実行しているプロセスの出力も確認可能 フ…