タグ

2017年12月17日のブックマーク (4件)

  • 型システムを学ぼう!

    これは Haskell Advent Calendar 2017 (その1) 15日目の記事です。 この記事では、以下のような構成で Hindley/Milner の型推論について述べたいと思います。 最初の節では、とても小さな言語を題材にして型システムを形式的に定義してみます。 ここでは、型とはなにか、また、その役割や能力について確認します。 この節のもうひとつの目的は、型システムを形式的に記述するやりかたに慣れることです。 そして次に、Hindley/Milner の型推論について述べ、最後に Haskell による実装を示します。

  • apply と reduce を賢く使い分ける. - tnoda-clojure

    apply と reduce と交換可能な場合にどちらを使うかは,直感で決めればいいと思います. #mitori_clj での議論Clojure 入門者向け勉強会 #mitori_clj で分担して Project Euler の問題を題材にしているのですが, 最初の Problem 1 から参加者コメントが多数寄せられ, 期待していたより面白い勉強会になっています. そんなコメントの中に, 可変長引数を取ることのできる関数に reduce と apply のどちらを使うかは悩みますね。 とか, apply + か reduce + かは, 宗教戦争になりかねないので, とか, …敢えて宗教戦争に参加すると :-), この場合は apply + の方が抽象的で良いと思います. とかといった議論がありました. Project Euler Problem 1さて,どうしてこのような議論になった

    apply と reduce を賢く使い分ける. - tnoda-clojure
    ilyaletre
    ilyaletre 2017/12/17
    reduce/apply この場合はいずれも関数のインタフェースは同じだけど生成される手続きはapplyの方が効率的なのでapplyを使おう、というちょっとSICPとかで出てきそうな問題だな。
  • エンジニアが転職する時のチェックリスト - とりあえずやってみればいいじゃん

    この記事は退職者その2 Advent Calendar 2017の17日目の記事です。 今年に入ってこれからの生き方を考えた結果、某社を退職しました、転職して3ヶ月。現在の話と勉強会復活のお知らせ。という2つの転職系記事を書いており、こっち方向のネタは尽きたので転職活動を焦点にした記事にしようと思います。 エンジニア転職する時、いろいろな軸で会社の良し悪しを決めていくと思います。ただ、「自分では○○が重要だと思ってそればっかり見てたけど今にして思えば△△もちゃんと見ておけば良かった」となってしまう時もあります。なのでとりあえず会社を見る上でチェックポイントになりそうな項目をひたすら並べていこうと思います。この中で「これは重要だな」と思う項目があったら、転職活動する時に確かめてみてください。 ※ちなみにもちろんですが私は転職する時に以下に挙げる全ての項目をチェックしたわけではありません。単

    エンジニアが転職する時のチェックリスト - とりあえずやってみればいいじゃん
    ilyaletre
    ilyaletre 2017/12/17
  • Webアプリケーションフレームワーク導入時に考慮すべき22の観点 - Qiita

    記事では、 チームによる持続的に変更可能なWebアプリケーションの開発を目標に、フレームワーク導入時に考慮すべき22の観点を紹介する。 フレームワークによって特徴は異なるが、番導入にあたって、考慮すべきポイントはあまり変わらないので、極力フレームワーク1に依存しすぎないよう配慮する。また、話をシンプルにするため、REST APIを提供するアプリケーションを題材とする。 前提 ソフトウェアのエントロピー ソフトウェアがエントロピー増大の法則を避けられないことを、体感している開発者は多いだろう2。普通にアプリケーション開発を続けると、開発スピードは鈍化し、品質は低下してバグが増え、開発者からは技術的負債への怨嗟の声が聞かれるようになる。エントロピー増大というフォースは極めて強力で、意思を持って立ち向かわなければ、容易にダークサイドに堕ちてしまう。 関心事の分離 大規模Webアプリケーション

    Webアプリケーションフレームワーク導入時に考慮すべき22の観点 - Qiita
    ilyaletre
    ilyaletre 2017/12/17
    Viewモデルわかる。Entity相当の永続化可能なデータをJSON serializableにしてるのみると、ドメインの内臓そのまま外に見せてるような危機感を覚える。