タグ

関数型言語に関するcubeonのブックマーク (3)

  • #107 TDDに対して思っていること « TDD « a wandering wolf

    このエントリは TDD Advent Calendar 2011 の15日目です。 先月11月は26日と27日に、TDDBC 福岡 2に参加してきました。 私にとって、初めてのTDDBC参加になります。 今まで仕事でもTDDを導入する余地がなくて(今年は開発じゃないことをやっていることが多かった) 、個人作業だけぼっちTDDしてました。 なので、こういう場でTDDをちゃんとやれて、しかももう一つ念願だったペアプロまでできて、 当に得るものが多い2日間でした。 で、このTDDBC 福岡 2に参加して、あるいはそれ以前から思っていたことがいくつかありました。 それを雑記の形でつらつらと綴っていこうと思います。関数型言語とTDDの相性は?TDDBCの1日目にこんなツイートをしました。 これは、1日目にあったディスカッションの中で、 id:t-wada さんが発言されたことを自分なりに整理したも

    cubeon
    cubeon 2011/12/16
    関数型言語やりたいです…
  • Haskell - HaskellWiki

    Haskell is an advanced purely-functional programming language. An open-source product of more than twenty years of cutting-edge research, it allows rapid development of robust, concise, correct software. With strong support for integration with other languages, built-in concurrency and parallelism, debuggers, profilers, rich libraries and an active community, Haskell makes it easier to produce fle

  • OCaml.jp

    このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。 OCaml(オキャムル/オーキャムル)は、INRIA(フランス国立情報学自動制御研究所)で開発されている関数型言語の一種で、最新の言語理論の成果が取り入れられたプログラミング言語です。 型安全な静的型システムを基盤に、バグの少ない高信頼なプログラムが開発できます。 オブジェクト、型推論、代数的データ型、モジュールシステム、多相バリアント、第一級モジュール、GADTといった様々な機能を利用して、より簡潔で整理されたコードが記述できます。 x86, x86-64, ARM, PowerPCなど多数のアーキテクチャのネイティブコードを出力できるコンパイラを持っています。Android や iOS 向けのクロスコンパイルも可能です(Linux 上でのクロスコンパイルは opam-cross-a

  • 1