X
関数型プログラミング言語Haskell Part31©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
0697デフォルトの名無しさん
垢版 |
2018/09/04(火) 10:48:48.98ID:ntR3woJY
逆にそれ見たらどういう型だと思った？
Int -> Int -> Int
って思ったんじゃない？

なんの本読んでるかしらんけど
例えば add x y z なら　Int -> Int -> Int -> Int だけど
実際には
Int -> (Int -> (Int -> Int))
こうなってるってことを言いたいんやろ
0698デフォルトの名無しさん
垢版 |
2018/09/04(火) 10:50:47.26ID:0nZVvdsT
>>696

add' :: Int Int -> Int

という型に見えます。
0699デフォルトの名無しさん
垢版 |
2018/09/04(火) 10:52:13.57ID:0nZVvdsT
1 2

のように整数をスペース区切りで二つ並べたものに対して、

1 + 2

を対応させる関数に見えます。
0700デフォルトの名無しさん
垢版 |
2018/09/04(火) 10:54:55.24ID:0nZVvdsT
関数を返す関数なんですから、

=

の右には数ではなく関数を書くべきです。
0701デフォルトの名無しさん
垢版 |
2018/09/04(火) 10:57:59.07ID:0nZVvdsT
f x = x + 2

などの例を見て、

f ● = ■

という表記は、

f(●) = ■

という意味かと思います。
0702デフォルトの名無しさん
垢版 |
2018/09/04(火) 11:29:45.35ID:ntR3woJY
add は関数を返す関数じゃなくて引数を２つとって値を返す関数やろ
そこでもう勘違いしとる
add 2 3 の結果は関数じゃなくて値やろ?
add 2 のように引数を一個だけ渡したら部分適用されて引数を一個とる関数が返るってだけや

haskellはそういう部分適用できる関数を書きやすいように
add x y = x + y を add = \x -> (\y -> x + y)に自動で変換してくれるってだけ
糖衣構文ってやつ
嫌なら全部ラムダ式で書けばいいよ
0704デフォルトの名無しさん
垢版 |
2018/09/04(火) 12:05:07.87ID:/45N32wx
**argv :: char
*argv :: char*
argv :: char**

add' x y :: Int
add' x :: a -> Int
add' :: b -> a -> Int

C言語を学習した人はHaskellも分かる
これが知能だ
0705デフォルトの名無しさん
垢版 |
2018/09/04(火) 12:52:41.14ID:JkSql3w1
Haxe では関数の型は、
function sum (a:Int, b:Int) : Int

Int -> Int -> Int
引数1 -> 引数2 -> 戻り値

最後は戻り値
0706デフォルトの名無しさん
垢版 |
2018/09/04(火) 12:54:41.46ID:tHCjwI0T
>>701
Haskellは関数適用が最優先だから
add' x y は (add' x) y って意味
だから add' x y = x + y は
「add' にxを適用した結果にyを適用した結果はx+yに等しい」と読める

ちなみに組み込み関数のuncurryを用いて add'' = uncurry add' とでも定義すると
add'' :: (Int, Int) -> Int
というおそらく>>698 でイメージしているであろうものに近い関数が得られる
Haskellのデフォルトの振る舞いはこちらではないという話
0708デフォルトの名無しさん
垢版 |
2018/09/04(火) 20:06:44.00ID:f+p4hPZb
Haskellちょっといじってると楽しいけどこれで飯食うのは自分には絶対無理という確信がある
0713デフォルトの名無しさん
垢版 |
2018/09/05(水) 02:54:04.71ID:MYQmiXId
写像をドメイン、コドメインのみ与えて定義するのが簡単にできればちょっと優位にたてる分野はある
0715デフォルトの名無しさん
垢版 |
2018/09/05(水) 17:04:52.63ID:7oDYcpPT
いまのHaskellには何が足らないのか。どんな分野で強みが活きるのか
0717デフォルトの名無しさん
垢版 |
2018/09/07(金) 12:23:22.72ID:bXCAi+24
DDDが活きてくる(と見込める)ほどの規模の案件をhaskellで組むプロジェクトって凄いな

本格的にhaskellを導入してるんだね
0721デフォルトの名無しさん
垢版 |
2018/09/08(土) 00:07:42.03ID:8HsWZyyw
コンセプトは無茶苦茶面白いのに、肝心の実装が学級的で好き放題に流動的で恐ろしく無責任だからでは
0722デフォルトの名無しさん
垢版 |
2018/09/08(土) 13:16:38.32ID:kGQ5zdyq
>>721
そうなのか。具体的にはどのあたりが？
0725デフォルトの名無しさん
垢版 |
2018/09/11(火) 20:55:06.43ID:GxY7LXz/
ひゃっほおおおう！ ビルド通ったぜ
stackageの可能な限り全部の総計2352パッケージを含むプロジェクトのビルドがやっと通った。
もはや ghci をいったん落として stack.yaml と cabal ファイルにパッケージを追記し... などという面倒をしなくても
ただ import するだけでそれが利用可能になる。
0726デフォルトの名無しさん
垢版 |
2018/09/15(土) 18:42:49.12ID:UVc1X0kV
spacemacsのinteroでデバッグできてる人います？

replを立ち上げた後、デバッグしようとする（spc m d d）と、
No Haskell session associated with this debug buffer.
てエラーが出て、先に進まないです。
上記はhaskell-debug.elの中に出てくるエラー文で、
上で立ち上げたrepl（stack ghci）がsessionとして認識されてないのが原因？な気がしますが、力及ばずって感じです。
0727デフォルトの名無しさん
垢版 |
2018/09/16(日) 08:20:46.91ID:qJ8HI8bW
>>712
金融で使ってる。
あと文書解析。
0728デフォルトの名無しさん
垢版 |
2018/09/16(日) 22:36:53.37ID:/Gv7qrCh
すみません言語の話題から少し外れますが、

Windows10環境で
WinGHCiコンソール（ver 1.0.6）を使っているのですが
表示フォントをコンソラス等にしても
滑らかな文字表示がされず
メモ帳エディタの様な細いジャギー文字表示になります。

何か環境を弄ったり外部設定ファイルを書き換えたりして
外国のユーザー画面みたいな滑らか文字表示にする方法を
もしご存知でしたら教えて下さい。
0729デフォルトの名無しさん
垢版 |
2018/09/17(月) 17:50:28.07ID:tAsBi2aZ
ポールフダックの音楽／Haskellの本が延期しまくりでつらみ
慰めに手を出してみたreact+reduxが割と面白くてjavascriptおじさんになりそう
0730デフォルトの名無しさん
垢版 |
2018/09/18(火) 15:50:49.67ID:zscrEVSG
ハスケルミュージックスクールってやつ
なら無料で読めるドラフトバージョンのやつよんだけど糞つまらんよ
ほとんどがライブラリーの使い方の説明しか書いてない
0731デフォルトの名無しさん
垢版 |
2018/09/18(火) 23:03:29.52ID:5HE01N22
その本です
定価で買うような本じゃなさそうですね…
0732デフォルトの名無しさん
垢版 |
2018/09/18(火) 23:04:16.22ID:5HE01N22
遅れましたがありがとう。
0733デフォルトの名無しさん
垢版 |
2018/09/19(水) 23:56:22.00ID:Pb0Tb1M0
木構造を表現するときの、「節」とか「葉」って、どう読みますか？
0734デフォルトの名無しさん
垢版 |
2018/09/20(木) 12:01:53.37ID:7WHuQIEO
ふし
よう
0742デフォルトの名無しさん
垢版 |
2018/09/20(木) 22:11:42.05ID:92zkwrbu
733です
ありがとうございます

「き」「…」「は」で、「節」の読みを決めかねていましたが、>>736さんの仰るとおり、「ふし」で行くことにします
0743デフォルトの名無しさん
垢版 |
2018/09/20(木) 22:24:45.13ID:92zkwrbu
すみません、733です

音訓(違うかな?)いずれかに寄せるべきと感じていたからです

他の方々もありがとうございました
0745デフォルトの名無しさん
垢版 |
2018/09/21(金) 11:17:49.00ID:pJEikkxu
メモ化とスペースリークが本質的に同じもので、
言わば発酵と腐敗の関係の様なものだと知ったときは感動した。
0747デフォルトの名無しさん
垢版 |
2018/09/22(土) 03:54:02.44ID:iTw0SS1T
>>744
path でええやん
0748デフォルトの名無しさん
垢版 |
2018/09/22(土) 05:09:30.37ID:1NyjNSxI
>>747
元の英語がpath, trail, walkとか分かれてるのだが

文学なら訳し分けにくい概念は思い切って意訳することもできるが
技術用語だとそうもいかないのが難しいところ
0749デフォルトの名無しさん
垢版 |
2018/09/23(日) 15:45:23.97ID:f8u3bg2b
Coerce知らなかった。newtypeを自動で剥がしてくれる便利なやつ

import Data.Semigroup
import Control.Arrow
import Data.Coerce
aggregate :: [Int] -> (Maybe Int,Int)
aggregate' :: [Int] -> (Maybe Int,Int)

aggregate = (fmap getMax *** getSum) . foldMap (Just . Max &&& Sum)
aggregate' = coerce . foldMap (Just . Max &&& Sum)

https://speakerdeck.com/konn/ben-dang-hasugoi-newtype
0750デフォルトの名無しさん
垢版 |
2018/09/30(日) 08:19:13.93ID:0APHfRwQ
リストの要素がすべて異なる場合はTrue、
一つでも同じものがあれば False を返す関数を作りたい。

私が思いつく限りでは、次の方法が効率的には最適解だと思うのだが、どうだろうか。

リストが Eq と Ord のインスタンスであるという制限をかけた上で、
まずリストをソートし、それから隣の要素同士で同値関係を調べる。

ちなみに、これは○○問題などと名前がついているのだろうか。
0751デフォルトの名無しさん
垢版 |
2018/09/30(日) 14:27:30.56ID:3FJv0aaM
名前をつけるとしたらグラフ○○かな
グラフ簡約のように木をグラフに変える問題
0753デフォルトの名無しさん
垢版 |
2018/09/30(日) 14:56:02.92ID:HUnS5YBa
ソートは不要だし、どの言語でもdictionary/mappingにして要素数見るだけの作業のような
0754デフォルトの名無しさん
垢版 |
2018/09/30(日) 15:13:03.29ID:0APHfRwQ
>>752
ソートすれば、隣同士の要素の同値関係を調べるだけでよくなるから。

n個の要素を持つ未ソートリストの場合、
リストの第0要素を第1要素と、第2要素と・・・第n要素と比較する。
次にリストの第1要素を第2要素と・・・第n要素と比較する。
とやって、結局 O(n^2) の計算量が必要になる。

ソートするなら O(n log n) で済む。

と思ったけど、オレ勘違いしてるかな。
すまん、修理に出したPCがまだ帰ってこず、
試して速度比較できる環境にないんだ。
0757デフォルトの名無しさん
垢版 |
2018/09/30(日) 16:45:52.09ID:e88wFP8G
一般的に同値関係とは推移律が成り立ってる関係のことを言うので
全ての要素に対して先頭の要素と同値関係が成り立つのなら任意の要素間で同値関係が成り立つ
ちなみにソートして全探索を早く打ち切らせるテクニックのことは貪欲法という
0758デフォルトの名無しさん
垢版 |
2018/09/30(日) 18:14:08.21ID:3FJv0aaM
dictionary云々はハッシュ関数で非可逆圧縮してからバケットソートするようなもの
バケットソートはO(n)
0759デフォルトの名無しさん
垢版 |
2018/09/30(日) 19:44:34.07ID:0APHfRwQ
>>757
なるほど、推移律ね、失念してた。

>>758
バケットソートは分かるが、問題はどうやってハッシュ値を求めるかだよね。
難しそうだが、考えてみる。

みんなありがと。
0760デフォルトの名無しさん
垢版 |
2018/10/02(火) 09:56:14.61ID:CXlZ46rN
Arch LinuxのHaskellのリポジトリが
1年間メンテされずに死んでいる状態なのを見ると
Haskellもいよいよ落ち目だなと感じる
0762デフォルトの名無しさん
垢版 |
2018/10/02(火) 11:02:45.56ID:CXlZ46rN
そういう問題ではなく
向こうでHaskellへの関心が薄れているという事を言いたかった
メンテしていた人もHaskell離れしたかなとか想像できてしまう
0763デフォルトの名無しさん
垢版 |
2018/10/02(火) 19:43:32.30ID:TcTkE961
本邦では昨年、Qiitaでのアドベントカレンダーは、HaskellがGoについで投稿数が多かった。
0765デフォルトの名無しさん
垢版 |
2018/10/05(金) 02:04:05.24ID:vYMMhlcW
>>764
数えたがアドベントカレンダーに限ってはそういうのは10個くらいだった。
120程の記事のうちで
0766デフォルトの名無しさん
垢版 |
2018/10/06(土) 18:21:22.11ID:nvkFLHfM
ネットでは大手のHaskell導入報告が続いて沸いてるとこだがお前らどんだけ情弱だよ
0767デフォルトの名無しさん
垢版 |
2018/10/06(土) 18:23:45.87ID:FAIH8E2E
Haskell使ってはいけないような低学歴知恵遅れが
Haskellに興味をもってるからな

低学歴知恵遅れがHaskell触ってはいけない

ﾔﾊﾞｲことがおきる
0768デフォルトの名無しさん
垢版 |
2018/10/06(土) 18:45:45.19ID:iQB6eFVs
サイモンペイトンジョーンズがFacebookいってたけどさ、
バック→Haskell
フロント→React
みたいな構成ってそんなメジャーなんやろか
0769デフォルトの名無しさん
垢版 |
2018/10/06(土) 20:53:46.19ID:py9kgJld
FacebookはちょっとしたツールをHaskellで作ってますよ、位だと思ってたが…

>>766
> 大手のHaskell導入報告が続いて沸いてる
気づかなかった。他にはどこが？
0772デフォルトの名無しさん
垢版 |
2018/10/09(火) 07:56:37.24ID:pc4ijCgO
MonadIO は抽象度が高くて万能すぎ、オーバースペックだよ。
そのせいで、関数の中で何やってるのかシグネチャからは分かりにくいし。
ということで、もっと細かく分けようぜ、という話。
https://chrispenner.ca/posts/monadio-considered-harmful

簡潔で分かりやすい。
こういうのパターンっていうのかな。
0774デフォルトの名無しさん
垢版 |
2018/10/09(火) 22:29:07.16ID:1168jJnj
なんてことないfizzbuzzもHaskellで書くと楽しくなっちゃうんだよな
初めてプログラムを書いたときのwkwkを思い出させてくれる、それがHaskell
0775デフォルトの名無しさん
垢版 |
2018/10/10(水) 00:27:00.44ID:mnDhwBuZ
Haskellでfizzbuzzをやろうとすると「数値か文字を出力する関数ってどうやるんだ？」
みたいなところでつまづきがち
0777デフォルトの名無しさん
垢版 |
2018/10/10(水) 12:38:31.88ID:Gg6vIVej
数値を文字列型にすれば良い
0780デフォルトの名無しさん
垢版 |
2018/10/11(木) 22:20:09.94ID:BadrZ8Hx
結局は書く人本人が気持ちよくなる為の言語だね
パフォーマンスに優れるとかもないし
0782デフォルトの名無しさん
垢版 |
2018/10/12(金) 07:44:29.57ID:KfUOHFbE
遅延ストリームを扱うならHaskellは速い方だろう
fizzbuzzの規模じゃそれを採用する利点はわからないけど
0783デフォルトの名無しさん
垢版 |
2018/10/12(金) 08:45:23.98ID:gMRT6HYK
むしろ最速の言語になってほしい。
「Haskellは参照透明性が保証されているために、最適化にアグレッシブになることができる。
そのため、高いコンポーザビリティによってコードは短くなるにもかかわらず、実行速度はあらゆる高級言語の中で最速である」
0784デフォルトの名無しさん
垢版 |
2018/10/12(金) 19:09:14.98ID:dVwqKDFL
「Haskellは参照透明性を保証するために、最適化を犠牲にした。
そのため、高い冗長性によってコードは短くなるにもかかわらず、実行速度はあらゆる高級言語の中で鈍速である」
0787デフォルトの名無しさん
垢版 |
2018/10/13(土) 06:54:47.20ID:KKBwY8Qn
コンパイラフレンドリーに記述したときの速度に概ね不満はないけどコードからパフォーマンスが予測しづらいのがね
そのコードにパフォーマンス上の問題がないか測定してみないとわからない
適切に最適化がかかるかとかスペースリークがないかとか
0788デフォルトの名無しさん
垢版 |
2018/10/13(土) 07:37:36.01ID:dpKKSw3w
>>787
ベテランになれば実用上問題ない程度には予測できるようになるんじゃね？

俺はまだまだ修行不足だけど
0789デフォルトの名無しさん
垢版 |
2018/10/13(土) 10:35:05.77ID:dM3fjinv
遅延評価だけでなくガベコレの遅さも問題視されるだろう（予測）
ガベコレやめてオブジェクトの寿命を予測できるレベルなら遅延評価も予測できそうだが
0790デフォルトの名無しさん
垢版 |
2018/10/13(土) 18:49:50.11ID:hDWVpOOe
Haskellはコンパイルさえ通ればバグは滅多にないが通説になっているけど
実際に使うと想定していた100倍くらいメモリを使っていたりと
原因特定が面倒なミスは激減するという程でもないよね。
0791デフォルトの名無しさん
垢版 |
2018/10/13(土) 20:07:33.53ID:H67rAYXW
メモリがないならディスクを使えばいいかもね
ファイルに保存できた方が原因特定も楽だし
0792デフォルトの名無しさん
垢版 |
2018/10/13(土) 20:11:57.62ID:KKBwY8Qn
評価順序とスペースリークは他の言語にはないバグだから逆に増えてるところもある
しかも発見しづらい
サンクのサイズが一定量に収まるかとかIOの評価順序が正格かとかって静的に解析できそうな気がするができんもんかね
0793デフォルトの名無しさん
垢版 |
2018/10/13(土) 20:39:20.93ID:H67rAYXW
データベース的な仕組みだとスペースリークを放置しているやつが多い
某OSのレジストリとか
0794デフォルトの名無しさん
垢版 |
2018/10/15(月) 21:26:01.71ID:e5ZigS6A
Nixってなに？
0795デフォルトの名無しさん
垢版 |
2018/10/15(月) 22:33:00.01ID:eL3fUBCp
くだらない質問で悪いけど質問させてほしい

Haskellでの優先順位について

・演算子の優先順位の記述はある
・関数適用の優先順位の記述はある

でも、関数の優先順位の記述が見当たらないんだけど（どっかに、左結合ってのはみた）
関数の優先順位はどうなるの？
要するに、かっこ付けの順番なんだけど

1.関数適用
2.演算子
3.関数　＜＝　最下位の優先順位でいいの？　不確かだけど、Ｆ＃ではそのような記述があった　希ガス
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況