関数型プログラミング言語Haskell Part21
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
2013/01/21(月) 02:16:16.07ttp://www.haskell.org/
日本語サイト
ttp://www.sampou.org/cgi-bin/haskell.cgi
ttp://www.shido.info/hs/
過去ログ
関数型プログラミング言語Haskell
Part1 ttp://pc.2ch.net/tech/kako/996/996131288.html
Part2 ttp://pc2.2ch.net/test/read.cgi/tech/1013846140/
Part3 ttp://pc8.2ch.net/test/read.cgi/tech/1076418993/
Part4 ttp://pc8.2ch.net/test/read.cgi/tech/1140717775/
Part5 ttp://pc8.2ch.net/test/read.cgi/tech/1149263630/
Part6 ttp://pc11.2ch.net/test/read.cgi/tech/1162902266/
Part7 ttp://pc11.2ch.net/test/read.cgi/tech/1174211797/
Part8 ttp://pc11.2ch.net/test/read.cgi/tech/1193743693/
Part9 ttp://pc11.2ch.net/test/read.cgi/tech/1211010089/
Part10 ttp://pc12.2ch.net/test/read.cgi/tech/1231861873/
Part11 ttp://pc12.2ch.net/test/read.cgi/tech/1252382593/
Part12 ttp://hibari.2ch.net/test/read.cgi/tech/1272536128/
Part13 ttp://hibari.2ch.net/test/read.cgi/tech/1286706874/
Part14 ttp://hibari.2ch.net/test/read.cgi/tech/1299385928/
Part15 ttp://hibari.2ch.net/test/read.cgi/tech/1310199414/
Part16 ttp://toro.2ch.net/test/read.cgi/tech/1317958045/
Part17 ttp://toro.2ch.net/test/read.cgi/tech/1325510368/
Part18 ttp://toro.2ch.net/test/read.cgi/tech/1331902463/
Part19 ttp://toro.2ch.net/test/read.cgi/tech/1340760070/
Part20 ttp://toro.2ch.net/test/read.cgi/tech/1350428908/
0685デフォルトの名無しさん
2013/03/06(水) 21:03:09.41このスレはなんかデリケートなオタクが多いようだな
0686デフォルトの名無しさん
2013/03/06(水) 21:06:22.100687デフォルトの名無しさん
2013/03/06(水) 21:07:03.580688デフォルトの名無しさん
2013/03/06(水) 21:08:42.80(´・ω・`)
0689デフォルトの名無しさん
2013/03/07(木) 04:10:12.84精神的な不義理ってなんだよ
0690デフォルトの名無しさん
2013/03/07(木) 07:25:13.650691デフォルトの名無しさん
2013/03/07(木) 09:15:52.790692デフォルトの名無しさん
2013/03/07(木) 09:40:40.92..の..の..の..の..の..の..の..の..
0693デフォルトの名無しさん
2013/03/07(木) 13:14:36.66前スレよりはマシだよ……
0694デフォルトの名無しさん
2013/03/07(木) 13:15:56.88そういう最適化の準備あるなら専用プロセッサあった方がいいんじゃないの？
0695デフォルトの名無しさん
2013/03/07(木) 13:20:28.26あまりそういう改善の余地は少ない。
0696デフォルトの名無しさん
2013/03/07(木) 13:26:46.670697デフォルトの名無しさん
2013/03/07(木) 17:45:45.03なんか言えよおまえら
0698デフォルトの名無しさん
2013/03/07(木) 17:50:31.810699デフォルトの名無しさん
2013/03/07(木) 18:46:50.690700デフォルトの名無しさん
2013/03/07(木) 21:33:41.080701デフォルトの名無しさん
2013/03/08(金) 00:24:53.460702デフォルトの名無しさん
2013/03/08(金) 01:49:14.170703デフォルトの名無しさん
2013/03/08(金) 02:11:11.39/⌒ヽ
| ゜Θ゜） そうなんだー
| つ
| 噤@|
＼＿／
0704デフォルトの名無しさん
2013/03/08(金) 09:51:59.79http://leventerkok.github.com/hArduino/
0705デフォルトの名無しさん
2013/03/08(金) 11:48:49.710706デフォルトの名無しさん
2013/03/08(金) 18:53:56.060707デフォルトの名無しさん
2013/03/08(金) 20:36:19.000708デフォルトの名無しさん
2013/03/09(土) 05:49:08.73! 彡 ヽ::: ..i'´. ヾ'''､､､,,,
ｼ 彡 ,j::: ..,／ヾ, ヽ
!ｼ ,,彡 :ｼ ,;'''' ヾ ,___ ヽ
j ,-‐-､ i ッ三ﾐ:;j i､' j-‐ ｀, , ‐'' = ) ヽ:
し { !⌒- ヽ! j ‐-‐'j ヽ､...' ' .,_//, !;::
ヾ丶｀-' ! ! {__,__,!' -‐' ヾ ﾉ:::
,ヾ ' ､ ,' ....,) :: ヽ ﾉ::::::
_...-‐‐'''´ ::: ´::( _... ´ ヽ /:::::::
:: ! .... -‐´ ヽ /::::: __,....,,-‐-､
::::. ヽ !......:-‐ー､ ,,,,,,;;;ヽ ＿_ ...-‐､ :: ｀ヽ-､___,--/'´ ,､ , ｀ヽ､
!:::,´´´´´:::::｀"""´:::::::::::::::;;;;;;;;ヽ､ ;:: ヽ-‐' ! ./ iヽ
0709708
2013/03/09(土) 05:49:42.460710デフォルトの名無しさん
2013/03/09(土) 07:50:42.74"Mod 12" 自体が型になってるようなの( C++風に書くと"Mod<12>" )
でも12の部分は型名じゃなくちゃいけないんだから無理か
0711デフォルトの名無しさん
2013/03/09(土) 08:08:22.08data Zero
data Succ a
的なのでゴニョゴニョ
0712デフォルトの名無しさん
2013/03/09(土) 09:03:13.45GHC7.6ならDataKinds拡張で12を型として使える
でも型レベルの加減乗除はまだ実装されてないのでまともに使えるかは知らん
{-# LANGUAGE DataKinds, KindSignatures, ScopedTypeVariables #-}
import GHC.TypeLits
newtype Residue (n :: Nat) = Residue Int {- invariant: 0<=x<n -}
deriving (Eq, Ord)
-- smart constructor
residue :: forall n. (SingI n) => Int -> Residue n
residue a = Residue $ mod a $ fromIntegral n
where
n = fromSing (sing :: Sing n)
instance Show (Residue n) where
showsPrec p (Residue x) = showsPrec p x
instance SingI n => Num (Residue n) where
Residue x + Residue y = residue $ x + y
Residue x - Residue y = residue $ x - y
Residue x * Residue y = residue $ x * y
signum (Residue 0) = 0
signum _ = 1
abs x = x
fromInteger = residue . fromInteger
main = do
print (3 + 4 :: Residue 2)
print (3 + 4 :: Residue 3)
print (3 + 4 :: Residue 4)
0713デフォルトの名無しさん
2013/03/09(土) 09:17:24.88http://ideone.com/O243Zk
0714デフォルトの名無しさん
2013/03/09(土) 11:21:45.67ファイルをインポートしようとしたのですがエラーがこのようにでました。
Could not find module `Dates'
Use -v to see a list of the files searched for.
Failed, modules loaded: none.
Dates.hsでは
module(
--- data や 関数
) where
のように外部からアクセス出きるようにして、
インポート側はimport Datesを最初の行にいれています。何がいけないのでしょうか？
0715デフォルトの名無しさん
2013/03/09(土) 12:03:57.56Dates.hsを置いてるディレクトリと、GHCを実行してるディレクトリは同じになってる？
もし違うなら、-iとかを渡さないといけない
0716デフォルトの名無しさん
2013/03/09(土) 14:22:34.44ありがとうございます。
0717デフォルトの名無しさん
2013/03/10(日) 03:59:11.200718デフォルトの名無しさん
2013/03/10(日) 09:04:58.99Haskellの作者がどれを選んだかは知らないので後で調べる
他人が何をしたか調べる時間よりも、自分ならどうするかを考える時間の方が長い
0719デフォルトの名無しさん
2013/03/10(日) 10:42:33.730720デフォルトの名無しさん
2013/03/10(日) 11:09:26.16Olegが何を言いたいのか読む前から知ってるんだから
0721デフォルトの名無しさん
2013/03/10(日) 17:15:35.63HUGでは通るそうなのですが何が悪いのでしょうか
drop2 :: Int -> [a] -> [a]
drop2 0 xs = xs
drop2 (n + 1) [] = []
drop2 (n + 1) (_:xs) = drop2 n xs
0722デフォルトの名無しさん
2013/03/10(日) 17:34:47.51(n+k)パターンはデフォルトでは使えなくなったような気がする。
あきらメロン
0723デフォルトの名無しさん
2013/03/10(日) 17:36:49.410724デフォルトの名無しさん
2013/03/10(日) 17:40:50.58drop2 :: Int -> [a]->[a]
drop2 0 xs = xs
drop2 n [] = []
drop2 n (_:xs) = drop2 (n-1) xs
0725721
2013/03/10(日) 18:29:24.02オプションが必要になるならあきらめマスクメロン
0726デフォルトの名無しさん
2013/03/11(月) 15:13:22.76みんなどうしてるの？
0727デフォルトの名無しさん
2013/03/11(月) 17:03:19.410728デフォルトの名無しさん
2013/03/11(月) 17:37:17.22Haskellの関数定義にはそのような抜け穴が存在しないのではないか
0729デフォルトの名無しさん
2013/03/11(月) 18:01:03.800730デフォルトの名無しさん
2013/03/11(月) 18:11:01.15一回ぐらいしか使わないローカル関数のテストは難しくない
0731デフォルトの名無しさん
2013/03/11(月) 18:15:33.54GHCにも穴はあるんだよ多分
0732デフォルトの名無しさん
2013/03/11(月) 19:41:39.12関数内で関数定義する場合に、
どういうテストが不可能だと言っているの？
0733デフォルトの名無しさん
2013/03/11(月) 19:49:03.11ローカル変数は、名前とソースの位置が同じだが値が異なる変数を何個も定義できるよ
トップレベルの変数を一個拾うのとは全然違う
0734デフォルトの名無しさん
2013/03/11(月) 23:19:17.34理由は、関数内関数には外部から見える仕様が存在しないからです
0735デフォルトの名無しさん
2013/03/12(火) 07:57:44.380736デフォルトの名無しさん
2013/03/12(火) 08:43:58.57コードブロックの一つ一つまでテストする必要はないし、テストの必要があるほど大きなブロックなら独立させればいい
0737デフォルトの名無しさん
2013/03/12(火) 08:58:22.30その後、OOPにブロックは不要という考え方が定着し
OOPと関数型は完全に分裂した
0738デフォルトの名無しさん
2013/03/12(火) 09:36:49.37最近のOO言語はやっぱりクロージャが必要って流れになってるよ。JavaもC++も。
0739デフォルトの名無しさん
2013/03/12(火) 10:43:28.34テスト
public
lambda
0740デフォルトの名無しさん
2013/03/12(火) 10:55:43.66haskell-src-extsとか使ってローカル定義を参照できるようなツールがあればいける
0741デフォルトの名無しさん
2013/03/12(火) 11:55:07.13全力で成功を回避しろ
0742デフォルトの名無しさん
2013/03/12(火) 12:41:31.93その場合、SmalltalkはOOPと関数型のどっちの所属なんだ？w
今でもSmalltalkはブロックがないと何もできないわけだが。
0743デフォルトの名無しさん
2013/03/12(火) 13:02:36.67プリミティブ型がOOPと相性が悪いのと同じ理屈
0744デフォルトの名無しさん
2013/03/12(火) 13:14:10.01そんなことないよ。Javaとは相性悪いけど、OO言語だからじゃなくて、Javaが糞だから。
0745デフォルトの名無しさん
2013/03/12(火) 19:39:31.34SmalltalkのクロージャーはSmalltalkと相性悪いの？
Smalltalkってクロージャーがないと条件分岐すらできないんだけど？
0746デフォルトの名無しさん
2013/03/12(火) 19:53:49.060747デフォルトの名無しさん
2013/03/12(火) 21:36:09.68本物のモヒカンは静的型とGUIを否定する
0748デフォルトの名無しさん
2013/03/12(火) 21:40:50.330749デフォルトの名無しさん
2013/03/12(火) 22:20:34.02モヒカンの陰謀か何かで、分かるはずのものが分からなくなる
0750デフォルトの名無しさん
2013/03/13(水) 01:52:45.11クロージャーもクラスにできるんだけど、プリミティブなくせに抽象度が違うので、これをクラスとして扱いつづけるといろいろおかしくなる
0751デフォルトの名無しさん
2013/03/13(水) 18:24:51.16BlockClosureクラスだと何がいろいろおかしくなるの？
SmalltalkってBlockClosureクラスがないと条件分岐すらできないんだけど？
0752デフォルトの名無しさん
2013/03/13(水) 19:19:43.130753デフォルトの名無しさん
2013/03/13(水) 19:24:19.19どう相性が悪いの？
カプセル化する必要のない関数はクラスに所属させる必然性はないけど
それがOOPの妨げになる理由は？
それにnamespaceとかあるよね？
そのレスただ言いたかっただけに見えるよ
0754デフォルトの名無しさん
2013/03/13(水) 20:37:45.01単にJavaみたいに1クロージャを1クラスに対応させるのが腐れなだけ
クロージャをリテラルにしてどのクロージャも同じクラスになれば問題なし
0755デフォルトの名無しさん
2013/03/13(水) 21:08:47.67Javaしか（もしくはJavaすら）知らないんだろうね
0756デフォルトの名無しさん
2013/03/13(水) 21:35:41.020757デフォルトの名無しさん
2013/03/14(木) 00:24:02.48・ OOPにおけるクロージャは飛び先が隠ぺいされる goto
・ クラスの遠隔に設置される場合は、名前がないのでクロージャのセマンティクスが明確に消失する (\x -> \x +1)は加算？ 曜日のシフト？
・ (\x -> \x +1) と (\y -> \y +1) をそれぞれクロージャクラスのオブジェクトにしたときの同値判定
・ (\x -> \x + 1) 1 のとき、 アプライが必要になってクラス表現するときとプリミティブのときでセマンティクスが崩れる ネストしたときのリフト
・ クロージャのオブジェクト生成がクラスのオブジェクト生成と同期しない
・ クロージャの生存期間がクロージャだけを見ても分からない
0758デフォルトの名無しさん
2013/03/14(木) 00:42:03.340759デフォルトの名無しさん
2013/03/14(木) 01:16:40.42日本語の読み書きの問題ではない気がする
0760デフォルトの名無しさん
2013/03/14(木) 01:22:36.05何が言いたいのかよくわからんから最大限エスパーして答えるけど、ほとんどOOPじゃなくてクロージャ自体の話に見える
例えばそれぞれlispのクロージャだと何故問題にならないの？
＞・ OOPにおけるクロージャは飛び先が隠ぺいされる goto
そう言いたければ好きにすればいいけど、で？OOPとの関係も不明
＞・ クラスの遠隔に設置される場合は、名前がないのでクロージャのセマンティクスが明確に消失する (\x -> \x +1)は加算？ 曜日のシフト？
OOPと無関係
＞・ (\x -> \x +1) と (\y -> \y +1) をそれぞれクロージャクラスのオブジェクトにしたときの同値判定
なぜ同値判定が必要なの？OOPとの関係も不明
＞・ (\x -> \x + 1) 1 のとき、 アプライが必要になってクラス表現するときとプリミティブのときでセマンティクスが崩れる ネストしたときのリフト
何が言いたいのかわからん（何をクラス表現するのか、セマンティクスがどう崩れるのか、何をネストしてリフトするのか）
＞・ クロージャのオブジェクト生成がクラスのオブジェクト生成と同期しない
「クロージャのオブジェクト（生成）」の意味がわからん。生成が同期しないことによる弊害も書かれてない
＞・ クロージャの生存期間がクロージャだけを見ても分からない
OOPと無関係
0761デフォルトの名無しさん
2013/03/14(木) 01:28:31.53・ OOPにおけるクロージャは飛び先が隠ぺいされる goto
→OOPでもオブザーバーパターン使うと飛び先が隠ぺいされる。
・ クラスの遠隔に設置される場合は、名前がないのでクロージャのセマンティクスが明確に消失する (\x -> \x +1)は加算？ 曜日のシフト？
→(\x -> x.addNum(1))や(\x -> x.addDay(1))としたらいい。
・ (\x -> \x +1) と (\y -> \y +1) をそれぞれクロージャクラスのオブジェクトにしたときの同値判定
→参照の同値性を実装している言語はあるけど、それだけだとOOPとして困る状況ってある？あと「振る舞い同値性」や「α同値性」でググれ。
・ (\x -> \x + 1) 1 のとき、 アプライが必要になってクラス表現するときとプリミティブのときでセマンティクスが崩れる ネストしたときのリフト
→これは意味不明。
・ クロージャのオブジェクト生成がクラスのオブジェクト生成と同期しない
→「同期しない」が意味不明。newという構文を使わないから駄目だという話か？OOPでファクトリ使うときも使用側にnew無いけど。
・ クロージャの生存期間がクロージャだけを見ても分からない
→OOPもクラス定義だけ見ていては分からない。インスタンスへの参照がどこで消えるか注意深く追う必要がある。
0762デフォルトの名無しさん
2013/03/14(木) 01:33:57.270763デフォルトの名無しさん
2013/03/14(木) 02:28:30.07・ クロージャが特にOOPで飛び先が隠ぺいされる goto になる理由は、個性のないクロージャがオブジェクトに抽象化されてオブジェクト自身が持ちまわされるから
・ クラスの遠隔に設置される場合に名前がないのでクロージャのセマンティクスが明確に消失するという問題は、裏を返せば、クラスの遠隔に設置される場合と同じリテラスなのにセマンティクスが変わってしまうということ
・ クロージャのオブジェクトとしての同値判定は、クロージャをクラスにしなければOOPとは無関係
・ プリミティブの場合は (\x -> \x + 1)1 でOKだが、クラスにするとただ並べるだけではダメで クロージャのオブジェクトに1を適用するというステップが間に入り、セマンティクスが異なる
・ 他のクラスのオブジェクトと生成が同期しないことによる弊害はリソースを保持するコストの推定が難しくなること
・ クロージャの生存期間がクロージャだけを見ても分からない理由は、OOPではクラスのオブジェクトの生存期間の明示が難しいから
0764デフォルトの名無しさん
2013/03/14(木) 02:45:02.81OOPでもオブザーバーパターン使うと飛び先が隠ぺいされる。
→ここでの「隠ぺい」はコードを追って保守するのが難しいという意味
(\x -> x.addNum(1))や(\x -> x.addDay(1))としたらいい。
→このように、クロージャを利用するクラスの近くか遠くかにより必要となる記述が異なるので、ユニバーサルなクロージャとOOPは相性が悪い
参照の同値性を実装している言語はあるけど、それだけだとOOPとして困る状況ってある？
→メソッドの出力またはフィールドの値がクロージャのクラスを単体テストする場合
これは意味不明。
→「(\x -> \x + 1) 1」 と 「(インスタンス化(\x -> \x + 1)).apply(1)」 は字面が違うでしょ、という意味
「同期しない」が意味不明。
→リソースを消費するクロージャは、代入のときか、代入が予定されるクラスのオブジェクトが生成されたときか、実行されるときか、いつオブジェクト化されるかが問題になる
OOPもクラス定義だけ見ていては分からない。
→当然そのクラスで回されるクロージャはもっと分からない
0765デフォルトの名無しさん
2013/03/14(木) 05:01:53.57>>763-764はOOPまるでわかってないに1票
恥ずかしいことじゃないよ、ここははすけるスレだから
0766デフォルトの名無しさん
2013/03/14(木) 06:04:52.65わざわざクロージャの悪い使い方を上げて、クロージャ自体を批判しなくとも良いのでは？
0767デフォルトの名無しさん
2013/03/14(木) 07:13:50.85クロージャが問題ならInterpreterパターンを使えば良いよね
0768デフォルトの名無しさん
2013/03/14(木) 07:35:56.05プログラミングがまるで分かってない
0769デフォルトの名無しさん
2013/03/14(木) 07:40:37.07プログラミングが分かっていない、状態になるのだとしたら、
OOPもクロージャもなくす方向に向かうほかないのでは。
0770デフォルトの名無しさん
2013/03/14(木) 07:49:48.96確かに、コード一行も書いたこと無い人が本だけ読んで語るとこういうことになるのかもね
>>769
いや分かってないのは一人だけでしょ
稀にこういうどうしようもない馬鹿が表れるのは仕方無い
0771デフォルトの名無しさん
2013/03/14(木) 10:13:01.66まあ論理的思考能力に欠けてるやつがプログラミングできるとは思わんが
0772デフォルトの名無しさん
2013/03/14(木) 10:55:38.74ものなのかな。
もし関数型を理解することがこんな議論が分かるようになることを含むのだと
すると、関数型言語を勉強しようとする人はほとんどいなくなってしまうだろう。
0773デフォルトの名無しさん
2013/03/14(木) 11:02:43.210774デフォルトの名無しさん
2013/03/14(木) 11:33:21.40○Haskell
頼むから他のまともな関数型言語まで一緒にしないでくれ
0775デフォルトの名無しさん
2013/03/14(木) 11:51:25.15日本語や英語の議論に飽きた人は、ますますプログラミング言語への興味が増すだろう
0776デフォルトの名無しさん
2013/03/14(木) 12:20:22.380777デフォルトの名無しさん
2013/03/14(木) 14:28:12.830778デフォルトの名無しさん
2013/03/14(木) 15:33:16.63人が作った物というより生物に似ているから、期待通りに動かないのは当たり前
人間以外の生き物を知ってたらどんなレベルの人でも理解できると思う
0779デフォルトの名無しさん
2013/03/14(木) 15:54:03.210780デフォルトの名無しさん
2013/03/14(木) 17:02:19.250781デフォルトの名無しさん
2013/03/14(木) 21:06:46.35とくにクロージャがgotoというのは至言
0782デフォルトの名無しさん
2013/03/14(木) 21:20:49.400783デフォルトの名無しさん
2013/03/14(木) 21:25:42.52っていうことを言ったはずなのに伝わった気がしない
0784デフォルトの名無しさん
2013/03/14(木) 22:31:21.29そうだとしてもOOPと関係ないだろって突っ込まれてるんだが……
お前もズレてるな
■ このスレッドは過去ログ倉庫に格納されています