まとめ
メニューを開く-
オブジェクト指向はOOPの他にOOA,OODなど上流工程向けの方法論があるのだが、関数型言語についてもFPの他にFA,FDがあるのだろうか？誰か適切な論文/教科書とか知りませんか？ -
理論があるかというと、型付けの強いプログラミングでは "Type-level programing" という話があります。Haskell だと、これ : http://bit.ly/aJwFlc -
型付けの弱い関数プログラミングは面白いけど、設計とかするひといるのかなー（とかいう）。Emacs-Lisp は実装を思いついたらそれを書いて eval のくりかえしですね、ぼくは。
-
ありがとうございます。Haskell, OCamlみたいな強い型付け言語を想定しています。OOだと例えば名詞をクラスに動詞をメソッドにみたいな方法論がありますが、関数型にもそういう分析手法はあるのかなぁ、と。クラスは型に置き換え？ QT @ikegami__ 探してみます。
-
関数プログラミングは 1. 小さな部品にわけて合成(分割統治) 2. 高階関数による抽象化 3. ジェネリックプログラミング(マクロとか) が、設計の三大要素ですかね(あくまで個人的な感想)
-
HaskellやOCamlでは一級市民が関数ですので(データも引数を持たない関数)、関数の命名は、データなのか、データ変換なのか、はたまた関数を受け取ってひねるなどのアクション、というように何をするのかで決めるのだと思います。名前を。
-
エンタープライズ系の人々に関数型言語を受け入れさせる（その必要があるかは別として）場合には、顧客業務の分析手法みたいなものが必要だろうなぁ、と。
-
.@ikegami__ @tmiya_ 関数型のアーキテクチャといえば、GoogleのMapReduceを思いつきます。ああいう風に関数型の設計というのが他にもないかなぁと思っています -
はい、formal method的な感じです。そういう方向の適用範囲を広げていくことが望ましいと思っています。@psychokinetica formal method 的なお話ですか？ -
Design Patternみたいな話だと、FPのパターンマッチがあればvisitor patternいらないみたいな話は幾つかあるんですが。 @keigoi @ikegami__ ああいう風に関数型の設計というのが他にもないかなぁと思っています
-
expression problemの解みたいな話こそが、真にパターンと呼べると思うのだけど。
-
OCamlではもちろんpolymorphic variant使う。しかしHaskellでexpression problemを解くって？と思い軽くググったら"Haskell is not not ML"というのがヒットしたので読んでる http://bit.ly/38xMEk
-
やっぱりalgebra of programmingは何やるにしても読んでおかないと駄目ね。がんばろう
-
それ構造的サブタイピングやないのか！ fundepsもなし、型推論はどうなるのか
-
@keigoi expression problemならocamlが最強でしょう。解き方もいっぱい。http://j.mp/aib4hb -
型設計プログラミングができるのは静的型付け言語だけ。型無しや動的型付け言語ではむり。
-
functorをfunctorでガシガシ適用していると何をしているのか時々わからなくなる。
-
ちょっと前にTwitter上であった「関数型言語におけるデザパタ」の議論を追おうと思ったら、Togetterにまとめてあったでござる。やったね。: Togetter - まとめ「関数型言語でのデザイン手法」 http://bit.ly/bOsomD -
「タプルが3項組を越えそうになったらレコードに置き換えよう」「再帰を書いたらfoldで書き直せないか検討しよう」「やめどきが分からない計算は無限リストで表現して後でnthしよう」あたりを思いついたけど、これはどちらかというとスタイルの話か。 > 関数型言語のデザパタ
-
もちろん読みました！ (リンクがおかしいので再投稿) RT @garriguejej @keigoi expression problemならocamlが最強でしょう。解き方もいっぱい。http://bit.ly/2RHy
-
ボクも読みました! すばらしいテクニックだと思います。 RT @keigoi: もちろん読みました！ RT @garriguejej @keigoi expression problemならocamlが最強でしょう。解き方もいっぱい。http://bit.ly/2RHy
-
http://bit.ly/9LNn1g は就活で任天堂の試験を受けにいく電車の中で読んでた記憶がある。今考えると試験勉強しとけよ、って話ですよね
-
Content from Twitter
コメント