タグ

ブックマーク / book.mycom.co.jp (3)

  • MYCOM BOOKS - 入門OCaml 〜プログラミング基礎と実践理解〜

    ■内容紹介 (* プログラミングがもっと楽しくなるOCamlの世界へようこそ! *) OCamlはフランスのINRIAで開発された、Haskellなどと同じく強力な型定義を持つ関数型のプログラミング言語です。型理論(型推論と型安全)、柔軟で強力な型システム、モジュールシステムをベースとしたオブジェクト指向機能など、強力な表現を可能としています。 OCamlのような型付き関数型言語は主に教育や研究に利用されてきましたが、ソフトウェアの複雑さが増してきた昨今、上記のメリットは多くのプログラマにとってうれしいはずです。世界各地で関数型プログラミング言語の利用が広がり始めています。 書ではまずOCamlの基礎的な事項を習得し、少ない機能でも複雑なプログラムを安全に書けることを体験できます。プログラムの構成手法や抽象化を支援する仕組みに興味がある場合は、モジュールシステムやオブジェクト指向機

  • MYCOM BOOKS - Write Great Code Vol.2〜低いレベルで考え、高いレベルで書く〜

    ■内容紹介  「グレートコード」を書くための方法を解説する『Write Great Code』シリーズの第2巻です。グレートコードには多くの側面がありますが、書ではグレートコードの重要な1要素であるパフォーマンスに的を絞り、高レベルのコーディング手法によって、コンパイラが生成するマシンコードにどのような影響が生じるかを考察しています。 書では効率的なコードの書き方を説明しますが、書の主題は最適化ではありません。最適化はソフトウェア開発サイクルの終盤近くに行うべき「調整」であり、適切なパフォーマンスを確保する時期は、開発の設計と実装の段階なのです。書で紹介している概念の多くは最適化フェーズでも適用できますが、テクニックの大半は最初のコーディング時に行う必要があります。 最新の最適化コンパイラによって効率的なマシンコードに変換される適切な高級言語ステートメントを選択する方法を説明し

  • MYCOM BOOKS - 入門Haskell〜はじめて学ぶ関数型言語〜

    ■内容紹介 「実際にHaskellを利用し、プログラムを組む。」 他のプログラミング言語にも多大な影響をあたえる関数型言語。 書では純粋関数型と言われるプログラミング言語Haskell(ハスケル)について、「宣言的」とはどういうことか、またパターンマッチング、再帰的定義、モナド、静的な型付け、型クラスとインスタンス宣言などの重要な概念について、プログラムを組んでいきながら、実践的な解説を試みます。 Haskellは、それをモノにした悟り体験のために勉強をしましょう。この体験は、その後のよりよいプログラマー人生での手助けとなるはずです。 Happy Hacking with Haskell! 表紙の鳥:ケリ(チドリ目チドリ科) ●の中身を見てみる

    takkan_m
    takkan_m 2006/03/06
    青木さんの前にでるhaskell本。
  • 1