[B! 関数型言語] yujioramaのブックマーク

第一回関数型言語勉強会大阪に行ってきた - ぐるぐる～

44人の枠に一時期80人以上が申し込むという人気ぶりの勉強会、第一回関数型言語勉強会大阪に行ってきました。とても面白い内容の発表ばかりで、行ってよかったです。勉強会自体について大阪は関数型言語に関する勉強会を開く土壌はある*1と思うのですが、今まであまり聞かなかったので、今後も続いてくれるとうれしいです。もともとの主催者が多忙により勉強会に来れなかったのもありますが、運営面ではちょっとこなれてないな、という印象を受けたました。今後続いていってほしい、という思いも込めて、気になった点を列挙します。発表タイトルが半数程度「未定」になっていた*2 ATND の地図が別の地点を指しており、騙された勉強会自体の概要の説明あったっけ？初心者に対するフォローがないに等しい*3 にも関わらず、前提知識が参加するまで不明*4 電源や無線 LAN といった設備に関する説明が最初なかった*5

yujiorama 2012/05/20

関数型言語

リンク

関数型言語のすすめ

This document appears to be a collection of tweets and comments discussing various programming languages and tools including Scala, F#, SQL, Git, C#, Ruby, OCaml, Haskell, CommonJS, Amazon EC2, Coq, ZendEngine, AsakusaSatellite, and XYZ. Many Twitter handles are mentioned in the replies discussing topics like garbage collection, meta-object Lisps, and functional programming languages.Read less

yujiorama 2011/04/01

関数型言語

リンク

関数型言語でのデザイン手法

Takashi Miyamoto @tmiya_ オブジェクト指向はOOPの他にOOA,OODなど上流工程向けの方法論があるのだが、関数型言語についてもFPの他にFA,FDがあるのだろうか？誰か適切な論文/教科書とか知りませんか？ 2010-05-30 09:26:38 Ikegami Daisuke @ikegami__ 探してみます。でも強い型付けか、弱い型付けかで、まるっきり異なるでしょう RT @tmiya_: オブジェクト指向はOOPの他にOOA,OODなど上流工程向けの方法論があるのだが、関数型言語についてもFPの他にFA,FDがあるのだろうか？誰か適切な論文/教科書とか知りませんか？ 2010-05-30 09:30:40 Ikegami Daisuke @ikegami__ @tmiya_ 個人的な感想ですが、強い型付けのプログラミング言語で開発を行う場合、実装の前に、全体

yujiorama 2010/08/09

リンク

関数プログラミングの楽しみ - あどけない話

レビューに参加した「関数プログラミングの楽しみ」が届きました。これは、関数プログラミングの入門書をいくつか読んだ人が、もっと高みを目指すための本です。関数プログラミングの楽しみ作者: Ｊｅｒｅｍｙ　Ｇｉｂｂｏｎｓ　ａｎｄ　Ｏｅｇｅ　ｄｅ　Ｍｏｏｒ,山下伸夫出版社/メーカー: オーム社発売日: 2010/06/23メディア: 単行本（ソフトカバー）購入: 3人クリック: 98回この商品を含むブログ (17件) を見る目次この本は、関数プログラミングの父 Richard Bird が還暦を迎えることを記念して、著名人が各章を寄稿し、編集した構成となっています。コードはすべて Haskell で書かれています。目次は以下の通りです。二分ヒープ木の楽しみ仕様に基づくテスト -- QuickCheck を使っておりがみプログラミング Haskellで音楽を記述し解釈する融合変換を自

yujiorama 2010/07/18

リンク

第12回「型推論」の実装法

型推論：「コンピュータ以前」からML，Java 7まで OCamlをはじめ，MLやHaskellなど，多くの型付き関数型言語には型推論という機能がある。この連載でも，暗に陽に，OCamlの型推論機能を利用してきた。例えば，以下のような関数say_hello_toを定義してみよう。文字列引数nameを受け取り，nameの前に定数文字列"hello "を付け加えて返す，という関数だ。 # let say_hello_to name = "hello " ^ name ;; val say_hello_to : string -> string = <fun> このように，引数や返り値の型を指定しなくても，say_hello_toはstring ->string型（文字列を受け取り，文字列を返す関数）であると自動推論される。ただし，（例えばプログラムを読みやすくするために）もし型を書きたけれ