関数型プログラミング言語Haskell Part30 [無断転載禁止]©2ch.net

**デフォルトの名無しさん** · 2017/01/15(日) 23:43:54.28

関数型プログラミング言語 Haskell について語るスレです。

haskell.org (公式サイト)
http://www.haskell.org/

前スレ
関数型プログラミング言語Haskell Part28
http://echo.2ch.net/test/read.cgi/tech/1428597032/

**デフォルトの名無しさん** · 2017/05/29(月) 07:04:59.77

あ、逆か。
ysから始まってリストの先頭まで結合する。

出力する際には結局先頭から(:)伝いに辿って行くのでそう言う二度手間は避けた方がいい。

**デフォルトの名無しさん** · 2017/05/29(月) 07:20:56.98

ここで言う問題は、++ysそのものに害は無いけど、init xs ++ [a]で一旦先頭まで結合する処理が挟まってるってことね。

**デフォルトの名無しさん** · 2017/05/29(月) 07:35:03.41

実は++も右結合なんだよな
だから init xs ++ [a] ++ ys を (init xs ++ [a]) ++ ys と解釈するのは絶対ダメ

**デフォルトの名無しさん** · 2017/05/29(月) 07:35:56.11

setAt i x xs = let (ys,_:zs) = splitAt (i-1) xs in ys ++ x : xs
別にこういう定義にすればいい
でこれが遅いのは単にysの部分が2パスになるから

**デフォルトの名無しさん** · 2017/05/29(月) 07:39:00.53

>>606
ミス
x : xsじゃなくてx : zs

**デフォルトの名無しさん** · 2017/05/29(月) 07:52:38.57

別にそれでも良い。
(++)は取り扱い次第で遅くなるってだけ。

**デフォルトの名無しさん** · 2017/05/29(月) 15:03:33.95

というわけで、Sequenceです

**デフォルトの名無しさん** · 2017/05/29(月) 20:13:36.52

showで文字列を作るのは平気なのにリストを作ると遅い遅いと言われる現象
数学的というより人間工学っぽい

**デフォルトの名無しさん** · 2017/05/29(月) 20:46:32.77

出現頻度の問題では？

**デフォルトの名無しさん** · 2017/05/29(月) 21:27:07.82

リストを使う頻度はIOを使う頻度と関係ありそう
IOを使う頻度は個人差が非常に大きい

**デフォルトの名無しさん** · 2017/05/29(月) 21:54:24.18

初心者はモナド変換で躓く

**デフォルトの名無しさん** · 2017/05/30(火) 04:05:18.67

例外処理のベストプラクティスがよく分からないなー
catchとかhandleでメイン処理、例外処理共に複数行になる時に、命令型のtry~catchみたいに無名関数での書き方ってどうなるんだろう
関数に切り出して呼ぶべし、なんかな？
どっちかだけ複数行ならそっちをdoにしたら良いっていうのは分るんだけど

**デフォルトの名無しさん** · 2017/05/30(火) 05:14:25.23

パーレンで囲んだラムダは複数行いけるのな、見た目微妙だけど

**デフォルトの名無しさん** · 2017/05/31(水) 03:43:11.48

パーレン ()
ブラケット []
ブレース {}

**デフォルトの名無しさん** · 2017/06/03(土) 16:54:41.37

f g n = gをn回合成した関数
みたいな関数のが欲しい

**デフォルトの名無しさん** · 2017/06/03(土) 17:14:18.00

f = (!! n) . (iterate g)

**デフォルトの名無しさん** · 2017/06/03(土) 18:46:29.60

>>618
それって真面目なコードで使っていいのか？
融合変換で実質ループなのは知ってるけど
そもそもこのレベルを勝手に抽象化していいものかどうか

**デフォルトの名無しさん** · 2017/06/03(土) 20:14:20.72

なんの問題もないと思うけど

そもそも同じ関数の反復適用が iterate なんだから
たいして抽象的でもない

**デフォルトの名無しさん** · 2017/06/03(土) 20:24:38.74

iterative f n = foldl1 (.) $ take n $ repeat f

これより >>618 の方がわかりやすいと思う

**デフォルトの名無しさん** · 2017/06/03(土) 20:28:35.64

iterative f n = foldl' (.) id . map (const f) $ [1..n]

とかでもいいか。そして iterate の方があきらかにわかりやすい。

**デフォルトの名無しさん** · 2017/06/04(日) 00:13:00.20

Cabalプロジェクトをstackでビルドできないだろうか？
cabalをグローバルにインストールしたくないんだ

**デフォルトの名無しさん** · 2017/06/07(水) 04:45:18.83

haskellで○×ゲーム作りました(頑張った私を褒めてください)
https://ideone.com/HHEWZv

**デフォルトの名無しさん** · 2017/06/07(水) 08:42:17.54

勝利判定なんとかならんのかw

**デフォルトの名無しさん** · 2017/06/07(水) 10:28:15.63

ゲームとかアルゴリズムとかどうでもよくて、ここが可愛いってのがポイントだろ？

('o':'o':'o': _ : _ : _ : _ : _ : _ :_) -> True
( _ : _ :'x': _ :'x': _ :'x': _ : _ :_) -> True

**デフォルトの名無しさん** · 2017/06/07(水) 17:37:30.82

下は泣いてるミッフィーちゃんがクローン技術で失敗したような感じ

**デフォルトの名無しさん** · 2017/06/07(水) 22:12:38.86

昔オセロ作ったけど、勝敗判定作るの忘れて延々パスし続けたわ

main =
void $ loop (player >=> ai) initBoard
where loop :: (Board -> IO Board) -> Board -> IO Board
loop f ib = loop f =<< f ib

**デフォルトの名無しさん** · 2017/06/08(木) 02:06:09.79

>>624
同じゲームでも人によって設計や実装が全然違ってて面白いな

○×ゲーム - a-sanの日記 - haskell
https://haskell.g.hatena.ne.jp/a-san/20070115/p1

yasuabe blog: Haskell で三目並べ (２)
http://yasutech.blogspot.jp/2012/03/haskell.html

examples/TicTacToe.hs
http://projects.haskell.org/operational/examples/TicTacToe.hs.html

TicTacToe - HaskellWiki
https://wiki.haskell.org/TicTacToe

Tic-tac-toe in Haskell ・ GitHub
https://gist.github.com/billdozr/3071732

**デフォルトの名無しさん** · 2017/06/11(日) 01:46:27.90

開発環境としてleksahを入れてみたんですが、getLineのような標準入力が上手く動いてない気がします
実行しても入力出来るようにならず止まってしまうのですが、どうしたら入力出来るようになりますか？

**デフォルトの名無しさん** · 2017/06/11(日) 05:15:07.62

今気づいた！ leksah ってHaskell逆読みじゃん！

**デフォルトの名無しさん** · 2017/06/11(日) 12:39:02.23

月並な命名をされた月並なアプリ

**デフォルトの名無しさん** · 2017/06/11(日) 16:52:05.15

>>68
> ["aa", "bb", f ["cc", "dd"] ] =
> ["aa", "bb", "cc", "dd"]
> となるような関数fはどのように書けるでしょうか

めちゃ遅レスでなんだけど、f [x, y] = x : [y]　ではだめなの？

**デフォルトの名無しさん** · 2017/06/11(日) 17:45:34.43

>>633
自分でちゃんとテストしてみた？

**デフォルトの名無しさん** · 2017/06/11(日) 22:56:26.81

>>634
リストの定義から明らかだと思うのでテストはしていない

**デフォルトの名無しさん** · 2017/06/11(日) 23:16:23.58

>>635
リストの定義から明らかだが、>>69

**デフォルトの名無しさん** · 2017/06/11(日) 23:46:34.97

驚き最小＝テスト最小の法則

**デフォルトの名無しさん** · 2017/06/11(日) 23:54:46.06

>>636
何と何の型がどう合わない？

**デフォルトの名無しさん** · 2017/06/12(月) 00:18:12.16

テンプレート？

**デフォルトの名無しさん** · 2017/06/12(月) 01:00:35.16

fを適用した結果の型が外側のリストの型と合わないってことでら

**デフォルトの名無しさん** · 2017/06/12(月) 01:38:16.98

たぶんshowの結果を評価する途中でunsafePerformIOすればいいんだな

**デフォルトの名無しさん** · 2017/06/12(月) 01:46:50.84

[ “aa”, “bb”, [“cc”,”dd”] ]

の型がどうやって合うと思ったのだろうか。

**デフォルトの名無しさん** · 2017/06/12(月) 02:20:04.97

邪悪なことはするな

**デフォルトの名無しさん** · 2017/06/12(月) 02:47:23.94

>>638
文字列型の中に文字列のリスト受け取って文字列を返す関数型が混じってる。

**デフォルトの名無しさん** · 2017/06/12(月) 09:44:54.21

>>644

それは違う。関数型が混じってるんじゃない。

>>642

["a", "b", ["c", "d"]]
= "a" : ("b" : ["c", "d"])
= "a" : ("b" : ("c" : "d"))
= ["a", "b", "c", "d"]

じゃないの？

**デフォルトの名無しさん** · 2017/06/12(月) 09:53:23.55

>>642
自己解決しますたｗ　nilをきちんと入れてなかったみたい。

**デフォルトの名無しさん** · 2017/06/12(月) 17:07:14.08

>>645
関数自体も値なのだが。。。
仮に返り値だとしても、文字列のリストにさらに文字列のリストが入ってるので型が合わない。

["a","b",["c","d"]]
="a":"b":["c","d"]:[] --["c","d"]が一つの値なので、文字列じゃない！！とエラーになる。

**デフォルトの名無しさん** · 2017/06/12(月) 17:22:26.96

なんでここでnilの話になるんですか？

**デフォルトの名無しさん** · 2017/06/12(月) 18:54:07.23

どうしてもできないときは、それはする価値がないのだ

= 何かをしたくて、その手段としてそれをしようとしているが、実は何かはそれでなく別の方法でより自然に実現できることが多い。無理矢理その手段を開発する価値が本当にあるのか、もう一度考えてみよう

**デフォルトの名無しさん** · 2017/06/12(月) 20:01:13.71

GHCi で ["aa", "bb", ["cc", "dd"]] を評価してみれば一発だろうに

• Couldn't match expected type ‘Char’ with actual type ‘[Char]’
• In the expression: "cc"
In the expression: ["cc", "dd"]
In the expression: ["aa", "bb", ["cc", "dd"]]

**デフォルトの名無しさん** · 2017/06/12(月) 21:30:08.56

>>647
> ["a","b",["c","d"]]
> = "a":"b":["c","d"]:[] --["c","d"]が一つの値なので、文字列じゃない！！とエラーになる。

文字列または文字列のリストからなるリストというのはあり得るでしょう？
その場合ならエラーではないはず

>>649
> どうしてもできないときは、それはする価値がないのだ

いまの場合、どうしてもできない証明はどうするんだろう？

>>650
> GHCi で ["aa", "bb", ["cc", "dd"]] を評価してみれば一発だろうに

それだけではその評価が本当に正しいかどうかが分からない

**デフォルトの名無しさん** · 2017/06/12(月) 22:36:06.43

>>651
> 文字列または文字列のリストからなるリストというのはあり得るでしょう？

文字列というのが String 型を指していて、文字列のリストというのが [String] 型を指しているのであれば、
文字列または文字列のリストからなるリストという型は「あり得ません」。

なぜなら、Haskell には「型A または型B」という型は存在しないからです。
(data T = D String | E [String] の型は T であって、D や E ではない)

> いまの場合、どうしてもできない証明はどうするんだろう？

なぜ「証明」を求めるのでしょうか。
Haskell だとこれはできないよと言われ、簡単な理由を説明された時、
あなたはいつもその証明を求めるのですか。
今回の問題に限って求めているのであれば、その理由を説明してください。
理由によっては、あなたが納得できる証明以外の説明ができるかもしれません。
というのも、できないことの証明を本当にしようとすると、かなり難しいからです。
きっと構文規則や意味論にまで話が及びます。
そんな証明できる人は稀ですし、できる能力があっても、したくないでしょう。

> それだけではその評価が本当に正しいかどうかが分からない

あなたの場合、「正しい」とは何を意味するのでしょうか。

>>650 が言っているのはきっと、GHCi で試してみれば「構文エラーであることが分かる」、
ということだと思いますよ。
それが正しいのか分からないというのは、GHC は信用できないということですか。

**デフォルトの名無しさん** · 2017/06/12(月) 22:39:18.30

>>651

https://paiza.io/projects/TpKm5_4fBEc7_YoKQIeKJQ

こういうのがお望み？
いずれにせよ List のデータコンストラクタ(:)を持ち出した >>633 は救済できんが。

**デフォルトの名無しさん** · 2017/06/12(月) 22:48:23.36

もしかして本当に欲しかったもの：
[["aa"], ["bb"], ["cc", "dd"]]

**デフォルトの名無しさん** · 2017/06/12(月) 22:49:39.74

https://paiza.io/projects/4geVOsfwAnMedzLfkbEDpw

こっちのほうがパラメータ多相でいいか。

**デフォルトの名無しさん** · 2017/06/12(月) 22:58:41.14

ちなみに、自分自身を要素の型とするかのような「ネストしたリスト」のようなデータ構造（というかinfnite typeのまがいもの）自体はときどき使いたくなるので簡単なライブラリを書いたことはある。そういやOCamlはオプショナルだが infnite type 扱えるんだったっけ？？

**デフォルトの名無しさん** · 2017/06/12(月) 23:23:51.05

>>652
> なぜなら、Haskell には「型A または型B」という型は存在しないからです。

「今のHaskell」には存在しないということね？
こっちは今のではなく本来のに興味があるので。

> Haskell だとこれはできないよと言われ、簡単な理由を説明された時、
> あなたはいつもその証明を求めるのですか。

簡単な理由でよいのだが、「今そうなってるから」は興味がない

> あなたの場合、「正しい」とは何を意味するのでしょうか。
> >>650 が言っているのはきっと、GHCi で試してみれば「構文エラーであることが分かる」、
> ということだと思いますよ。

さっきも言ったが、「今そうなってる」というのは「正しい」とは異なる

**デフォルトの名無しさん** · 2017/06/12(月) 23:32:25.99

方法が存在しないことの証明って悪魔の証明でないの？
できると主張する側ができることを証明しないとダメだよ

痴漢の言いがかりをつけられて、『痴漢していないことを証明しない限り有罪な』って裁判官に言われて納得できる？

**デフォルトの名無しさん** · 2017/06/12(月) 23:39:48.75

>>657はできるという根拠をコードで示せばいい。

Haskell 2010 に従ったコードで、しかしGHCが不当にも
型検査で排除するというような、そういうコードを示せば
話はたちまちに解決する

**デフォルトの名無しさん** · 2017/06/12(月) 23:42:32.96

[“aa”, [“bb”,”cc”]]

について　Haskell2010　の構文規則をを充足するような
Haskellの型をつけてくれればいい

**デフォルトの名無しさん** · 2017/06/12(月) 23:43:46.21

>>657
みんな、特に断りがなければ今のHaskellについて質問したり語ったりしています。

なので、そうでなければ、初めにちゃんと断っておかないと、話が合わなくなります。

また、本来のHaskellとは何かも説明しておかないと、これまた話が合いません。

私は今のところ、今のHaskellでアプリを作ることに興味が向いているので、
そうではない議論からは抜けさせてもらいます。

>>658
方法の存在を仮定した場合に矛盾がおきることを示すことで、方法の非存在を示すやり方もあります。
数学(厳密な論理)の舞台に上げられるテーマであれば友好的な手です。
(面倒かどうかは別にして)

**デフォルトの名無しさん** · 2017/06/12(月) 23:48:33.05

>>661
うぁ、恥ずかしい、友好的な手って何だよ。

有効な手、ね。

>>659
彼、今のHaskellには興味ないそうですよ。

**デフォルトの名無しさん** · 2017/06/12(月) 23:48:35.55

定義の証明をしろってことか
1の次の数は2であることを証明しろ的な
つまり1=2は間違いとは言えないのだ

**デフォルトの名無しさん** · 2017/06/12(月) 23:59:06.10

>>663
>1の次の数は2であることを証明しろ的な
>つまり1=2は間違いとは言えないのだ

Succ 1 = 2 とか普通にPAで証明できるけど……

**デフォルトの名無しさん** · 2017/06/13(火) 00:09:20.22

本来のHaskellってなんですか

**デフォルトの名無しさん** · 2017/06/13(火) 00:57:22.00

ＬＩＳＰベースのリスト

**デフォルトの名無しさん** · 2017/06/13(火) 11:30:18.72

>>651
それぞれのリストはあるけど、両方の型を持ったリストはない。
リストがいっぺんに受け取れる型は一つだけ。

ghciで拒否られたらそれまでじゃね？
何か作りたいわけじゃないって事？
下で将来のHaskellとか語ってるっぽいけど、今作れないでいつ作るの。

>>645見るに最終的に欲しいのは

["a","b","c","d"]

だろ？

f ["a","b"] ["c","d"]
= ["a","b"] ++ ["c","d"]
= ["a"] ++ "b":["c","d"]
= [] ++ "a":"b":["c","d"]
= ["a","b","c","d"]

じゃあダメなのか？
手段にこだわるより、目的果たす事考えようぜ。

**デフォルトの名無しさん** · 2017/06/13(火) 12:23:55.30

>>658
> 方法が存在しないことの証明って悪魔の証明でないの？

そんなことないよ。不可能性の証明なんて数学では普通にあるでしょ

>>661
> 特に断りがなければ今のHaskellについて質問したり語ったりしています。

スレタイは「今の」とはなっていない。「今の」「Haskell」に限るとつまらない
「関数型プログラミング言語」の方がおもしろい。ここは「関数型プログラミング言語」がテーマと認識している。（俺はね）
「今の」「Haskell」は単にその一つ

> また、本来のHaskellとは何かも説明しておかないと、これまた話が合いません。

本来の関数型プログラミング言語程度の意味。それはみんな意識してるでしょ？

>>667
> それぞれのリストはあるけど、両方の型を持ったリストはない。

それは今のHaskellについた制限のようなものでしょ？

> f ["a","b"] ["c","d"]
> = ["a","b"] ++ ["c","d"]
> = ["a"] ++ "b":["c","d"]
> = [] ++ "a":"b":["c","d"]
> = ["a","b","c","d"]
>
> じゃあダメなのか？

それではもとの問題と違うし、スマンが興味わかんわ

**デフォルトの名無しさん** · 2017/06/13(火) 13:10:39.07

>>668
将来も今も["a","b","c","d"]は[String]って型で表現できるけど、
["a","b",f ["c","d"]]はどういう型で表現するのさ？
こう表現出来るってのが無いと、ただ単に型に対する意識が低いだけのお馬鹿さんだよ？

**デフォルトの名無しさん** · 2017/06/13(火) 13:17:22.94

大体、複数に型を纏めるんならタプル使えよ。
(["a","b"], f ["c","d"])
fが部分適用してない、値を返す関数なら結果の型が入るし、部分適用で関数としてタプルに入ってるなら何か受け取って何か返す関数の型がタプルにに入る。

**デフォルトの名無しさん** · 2017/06/13(火) 14:08:02.45

nilわすれてるってのはさ、
[a, b, c, d] と a : b : c : d : [] が等価ってことでさ、
この末尾の:[]を忘れたらあかんってことじゃないの？

**デフォルトの名無しさん** · 2017/06/13(火) 14:26:42.82

>>669
そこのfはどういう関数型という想定？

**デフォルトの名無しさん** · 2017/06/13(火) 15:33:15.95

自分の間違いを認められず引くに引けなくなってるだけなんじゃないの

**デフォルトの名無しさん** · 2017/06/13(火) 18:11:35.28

>>672
>>668に聞いてくれ。
そもそもどんな型でも文字列が返ってくる以外は入れられない。

f = concat

["a","b",f ["c","d"]]
=["a","b","cd"] --これは>>668のやりたいことでは無い。

こう言うの以外は現行で受付られないが、それ打破するリストの型表現が存在出来るなら、将来実装されるかもな。

**デフォルトの名無しさん** · 2017/06/13(火) 18:19:50.97

fは引数でもない外側のリストを無理やり拡張するのか……おぞましいな
そんな実装されたらHaskell見限るわ

**デフォルトの名無しさん** · 2017/06/13(火) 18:35:46.29

だよな。
だからこそmapとかの関数作りやすいのに、そんな変な機能将来に渡って欲しいとは思わん。
入力->出力が素直だからこその関数プログラミングだってのに。
欲しい最終データが手に入れば良いのに、>>668は手段と目的が逆転してんだよ。

**デフォルトの名無しさん** · 2017/06/13(火) 19:30:15.82

どうしてもそれができないときは、本当にそれが必要不可欠なのか、もう一度よく考えてみよう

**デフォルトの名無しさん** · 2017/06/13(火) 21:22:18.24

>>669
> ["a","b",f ["c","d"]]はどういう型で表現するのさ？
関数fの型によるけどその出力がStringなら["a","b",f ["c","d"]]　の型はもちろん[String]だね。

>>674
> そもそもどんな型でも文字列が返ってくる以外は入れられない。
結局、今のHaskellでは、["a", "b", ["c", "d"]]　のような表現はできないと言ってるだけね？
関数型言語としてなぜそんな表現力を制限するのか分からん。どういう場合に使いたくなるかは知らんが。

>>676
> 入力->出力が素直だからこその関数プログラミングだってのに。
入力->出力が素直ってどういうこと？　自然変換のことじゃないよね？ｗｗｗ
関数プログラミングは入力->出力になってればそれで十分だと思うが

>>68
> ["aa", "bb", f ["cc", "dd"] ] =
> ["aa", "bb", "cc", "dd"]
> となるような関数fはどのように書けるでしょうか

結局もとのこの問題について、“一般の関数型言語”でのfの不可能性をだれも論証できないのかな？
（要点さえ分かれば簡略でよいが）

**デフォルトの名無しさん** · 2017/06/13(火) 21:34:21.04

型は単に「欲しい最終データが手に入ればよい」っていうよりは
ある種の性質がコンパイル時に保証されてるってのがありがたい
エンバグも検出しやすい

他の言語だと[Any] なListがあったりするけど(例えばScala)
よくあんなの使うなーって思う

>>678
> ["aa", "bb", f ["cc", "dd"] ] =
> ["aa", "bb", "cc", "dd"]
これはリテラルでこう書いてる以上、 fがどんな値を返そうと
左辺は要素が3のリストで右辺は要素が4のリストだから
パターンマッチに成功するわけない

**デフォルトの名無しさん** · 2017/06/13(火) 21:39:23.64

>>678
ここにいる人たちは俺もあんたも含めて誰も証明できないことは、
いままでの一連のレスですでに分かっているはず。

あんたの投げかけた議論に誰もあんたの望むようには応えられないことも分かっただろ。

あんたの話はhaskellという小さな枠組みを遥かに越えてるんだよ。
いい加減スレチだってことに気づこうよ。

頼むから、一般の関数型言語における可能性や証明の議論は大学でもっと頭のいいヤツらとしてくれ。

**デフォルトの名無しさん** · 2017/06/13(火) 21:43:22.47

中途半端な数学屋なんて全然怖くないのに
数学系と聞いて逃げるHaskellプログラマ大杉

**デフォルトの名無しさん** · 2017/06/13(火) 23:14:18.88

とりあえずこんなもんでどう？
https://ideone.com/wMOghJ

**デフォルトの名無しさん** · 2017/06/13(火) 23:32:43.89

どうせならFoldableにすりゃよかったな
ま、いっか

**デフォルトの名無しさん** · 2017/06/13(火) 23:59:28.85

Haskell の枠組みにとらわれないなら、自分専用関数型言語の
文字列リテラルを 682 が示した Nest みたいに自由に定義すればいいもんな

これで解決だ

**デフォルトの名無しさん** · 2017/06/14(水) 00:01:03.56

ideoneやpaiza.ioのようにhaskellコードのコンパイルと実行を同時にしてくれるようなローカルアプリはありますか？
補完とかはなくてもいいですし、exeも生成しなくていいのですが

**デフォルトの名無しさん** · 2017/06/14(水) 00:24:00.03

["aa","bb",f["cc","dd"]]=["aa","bb","cc","dd"]なるfが存在しないことは、
チャーチ・ロッサー性で説明できる。

チャーチ・ロッサー性は、簡単に言うと、計算の順番を変えても
最終的な計算結果が変わることが無いという性質。

もし上記のようなfがあるとすると、以下の2つの式の計算結果が同じでなければならない。
なぜなら、これら2つの式は、一番内側のfを先に計算するかどうかの違いしかないから。

null(tail(tail(tail ["aa","bb",f["cc","dd"]])))
null(tail(tail(tail ["aa","bb","cc","dd"])))

しかし、計算すればわかるが、上はtrueで下はfalseになるので矛盾する。
よってfは存在し得ない。

本当は、型なしラムダ計算に落としこんでからやる必要があるけど、
(型なしラムダ計算にチャーチ・ロッサー性があることは証明済み)
骨子としてはこんな感じ。

**デフォルトの名無しさん** · 2017/06/14(水) 00:35:10.46

要するにLispのマクロの ,@ みたいな展開をしたいってことか？

**デフォルトの名無しさん** · 2017/06/14(水) 02:36:17.24

>> 683

まあ、こういうデータ構造なんか既視感あるよなと思ったら、リストじゃなくてツリーだよね
つうか Data.Tree がまんまそれ

**デフォルトの名無しさん** · 2017/06/14(水) 05:34:36.84

>>681
↑
この人強そう

**デフォルトの名無しさん** · 2017/06/14(水) 09:21:04.82

>>678
＞関数fの型によるけどその出力がStringなら["a","b",f ["c","d"]]　の型はもちろん[String]だね。

そこまで分かってて、f ["c","d"]が単一のStringにならざるを得ない。
つまり

["a","b","c","d"]

ではなく、

["a","b","cd"]

の様な単一の値としてしか返りようがないって分かるだろ。
あれか、複数の値を返せってか。
従来の値が欲しい方はどうすんだよ。

**デフォルトの名無しさん** · 2017/06/14(水) 09:53:35.84

>>679
> 他の言語だと[Any] なListがあったりするけど(例えばScala)
> よくあんなの使うなーって思う
その例は極端すぎる。Anyは論外。型の否定と同じ。（Scalaも推奨はしてないと思うが）

> fがどんな値を返そうと左辺は要素が3のリストで
ふつうに考えてそうだよね。
そこを以下のように暗算して、できるかと思っちゃった。
f[x, y] = x : [y] とすると、
[a, b, f[c, d]] = a : b : (c : [d]) = a : b : (c : d : []) = a : b : c : d : [] = [a, b, c, d]

>>680
というわけで、ここは俺が暗算で頭の体操してミスってた。
優しく拒否してもらったがスマンｗ

>>686
> ["aa","bb",f["cc","dd"]]=["aa","bb","cc","dd"]なるfが存在しないことは、
> チャーチ・ロッサー性で説明できる。
折角だが今の件はチャーチ・ロッサー性（合流性）は関係ないと思う。
合流性以前の到達性が問題なので。

**デフォルトの名無しさん** · 2017/06/18(日) 12:36:58.87

配列xsとysと引数を2つ取る関数gがあって、
f g xs ys = map (\x -> map (g x) ys ) xs
となるような関数fってあったりしますか？
例えば
f (+) [1,2,3] [4,5,6] = [ [5,6,7], [6,7,8], [7,8,9]]
となるような関数です

**デフォルトの名無しさん** · 2017/06/18(日) 12:50:16.34

>>692
hoogle で調べてみても、それっぽいものが見当たりませんね。
少なくとも標準ライブラリにはありません。
なので、その定義に自分で適当に名前を付けて使ってください。

**デフォルトの名無しさん** · 2017/06/18(日) 12:56:47.67

>>693
ありがとうございます
ないならないで問題ありません
たまに使うのですが、既にあるならわざわざ定義するのも無駄だなと思っただけなので

**デフォルトの名無しさん** · 2017/06/18(日) 15:28:29.26

>>692

f g xs ys = concatMap (¥x -> map (g x) ys ) xs

でいいなら（つまりリストを1段階潰していいなら）あるよ。

g <$> xs <*> ys

がその答え。

**デフォルトの名無しさん** · 2017/06/18(日) 17:41:11.73

>>692
zipWithに配列の配列渡せば行けるか？と書いてみた。

zipWith (map.(+)) [1,2,3] $ repeat [4,5,6]

うん。
素直に関数作った方がいいね。
リスト内包表記なら分かりやすいと思う。

f g xs ys = [map (g x) ys | x <- xs]

**デフォルトの名無しさん** · 2017/06/18(日) 17:41:54.37

x配列の配列
oリストのリスト

**デフォルトの名無しさん** · 2017/06/18(日) 22:40:07.66

これで行けるよ。
f x = fmap . (. (:[])) . liftA2 x
f (+) [1,2,3] [4,5,6]
[[5,6,7],[6,7,8],[7,8,9]]

**デフォルトの名無しさん** · 2017/06/19(月) 05:32:16.99

そういう関数ってすでにある？って質問なのにオレオレ実装載せてく人たち…

**デフォルトの名無しさん** · 2017/06/19(月) 06:40:21.02

しかも、質問者の実装が一番素直で分かりやすい

**デフォルトの名無しさん** · 2017/06/19(月) 07:45:05.62

隙あらば実装

いや、プログラム板ではそれでいいんじゃないか。

**デフォルトの名無しさん** · 2017/06/19(月) 10:22:09.65

組み込みの関数でラムダ式を隠蔽してしまうことには意味があるんじゃないか

ところで質問者の例だと結果が可換なのでそうじゃない例の方が良かったのでは
f (+) [1, 2, 3] [1, 3, 5] -> [[2,4,6],[3,5,7],[4,6,8]]
f (+) [1, 3, 5] [1, 2, 3] -> [[2,3,4],[4,5,6],[6,7,8]]
とか

**デフォルトの名無しさん** · 2017/06/19(月) 10:46:07.27

>>702
それならば、あなたはどのような意味を見いだしたのかまでちゃんと言わないと。
何にどのような意味を見いだすかは人それぞれですし。

私は、ソースは人間が読みやすい事に最大の意味を見いだします。
なので、計算結果を容易に想像できるという点で、
>>692 や >> 696 の下の定義は好きですね。