haskell.org (公式サイト)
https://www.haskell.org/
前スレ
関数型プログラミング言語Haskell Part30
http://mevius.2ch.net/test/read.cgi/tech/1484491434/
探検
関数型プログラミング言語Haskell Part31©2ch.net
レス数が900を超えています。1000を超えると表示できなくなるよ。
haskell.org (公式サイト)
https://www.haskell.org/
前スレ
関数型プログラミング言語Haskell Part30
http://mevius.2ch.net/test/read.cgi/tech/1484491434/
11.x の頃はあったのに。
stack install hp2pretty
でいける
ありがと。
ヘルプ見て、stack install == stack build --copy-bins って
カレントディレクトリのプロジェクトをビルドしてできた
実行ファイルをコピーするコマンドだと思いこんでた。
GHC 8,4,1 からは廃止され、代わりに RTSStats 型および GCDetails 型になったみたいです。
そこで質問です。
以前の currentBytesUsed 関数は今で言うとどの関数に対応、あるいは近いのでしょうか。
gcdetails_live_bytes 関数でしょうか。
このコロン以降の部分って、英語圏の人は何て発音してるの？
"a to b to c" で良いの？ 不自然かな？
call a, b, and c
台詞は発音するが絵は発音しない
a b c以外は発音しない
って読んでるわ
ほんそれ
よう分からんから、自分を信じて "a to b to c" って言っておくわ。
>>828
べつに日本語で読まなくてもいいと思うが。
英語でいいんじゃね？
って意味じゃ・・・
つか、無理にtoで読むとして
f::(a->b)->(a->c)
はどう読むつもりだよ
えっと、びーと、えっと、しー
a arrow bだったと思うけど、別の呼び方しても誰もなんとも思わないよ
モデル上ではcurry化なんて考える必要ないから、数式のまま
f of a and b to c (か、f of a to, b to c)でもいい
(a->b)->(a->c)
は、a arrow b, arrow (or to), a arrow c
,は少しの間
MonadからApplicativeのときみたいに
一方を定義すれば自動的に他方が導出されるようにするのと、
FunctorからApplicativeのときみたいに
一方を定義してからでないと他方を定義できないようにするのと、
どっちのやり方がいいのかな
慣れきっている者の質問なのですが
[1,2,3,4,6,7,8]を順次加算して
[0,1,3,6,10,16,23,31]にする関数を
Githubの作例を参考に実装してみたのですが
直感的に解りづらく、
foldを使ってもっと簡潔・簡単にできないものでしょうか。
ints1 :: [Int]
ints1 = [1,2,3,4,6,7,8]
fn :: Int -> [Int] -> [Int] -> [Int]
fn n [] acum = n : acum
fn n (i : ints) acum = fn (n + i) ints (n : acum)
-- reverse $ fn 0 ints1 []
素人なのでわからないけど
foldで書いてみました
fn :: [int] → [int]
fn = foldl (\acc x → acc ++ [last acc+x]) [0]
-- fn [1..8]
どうもありがとうございます。
驚くほど簡潔に書けるものですね！
今まで気にしなかった (++) の有用性を理解しました。
ありがとうございます。
どうもありがとうございます。
驚くほど簡潔に書けるものですね！
今まで気にしなかった (++) の有用性を理解しました。
ありがとうございます。
いえいえ、私も初学者なので
scanl はともかく、foldl の方はどうかなと
先輩諸兄のレスを待ってください
map sum $ inits [1..8]
が楽チン。
継承クラスに相当するのがMonad=>Applicativeタイプ
委譲クラスに相当するのがFunctor=>Applicativeタイプ
>>841
The Haskell 98 Report
8 Standard Prelude
https://www.haskell.org/onlinereport/standard-prelude.html
scanl :: (a -> b -> a) -> a -> [b] -> [a]
scanl f q xs = q : (case xs of
[] -> []
x:xs -> scanl f (f q x) xs)
scanr :: (a -> b -> b) -> b -> [a] -> [b]
scanr f q0 [] = [q0]
scanr f q0 (x:xs) = f x q : qs
where qs@(q:_) = scanr f q0 xs
qのところが(f q x)に替わって再帰してるだけだよ
scanl (+) 0 [1,2,3,4]
= 0 : scanl (+) (0 + 1) [2,3,4]
= 0 : 1 : scaln (+) (1 + 2) [3,4]
= 0 : 1 : 3 : scanl (+) (3 + 3) [4]
= 0 : 1 : 3 : 6 : scanl (+) (6 + 4) []
= 0 : 1 : 3 : 6 : 10 : []
= [0,1,3,6,10]
（自分の頭以外に）どこが悪いのかわからないので教えていただきたくて投稿します。
kld1 p q = do -- Kullback-Leibler divergence
-- if length p /= length q
-- then return ()
-- else do
let pp = map (/sum(p)) p
qq = map (/sum(q)) q
in sum $ zipWith (\x y -> x * (log x)/(log y)) pp qq
*Main> kld1 [1/2,1/2] [1/4,3/4]
1.4547104198266045
と動作しますが、エラー処理のコメントアウトを外すとコンパイルはできても
kld2 p q = do -- Kullback-Leibler divergence
if length p /= length q
then return ()
else do
let pp = map (/sum(p)) p
qq = map (/sum(q)) q
in sum $ zipWith (\x y -> x * (log x)/(log y)) pp qq
*Main> kld2 [1/2,1/2] [1/4,3/4]
<interactive>:16:1: error:
? No instance for (Floating (m0 ())) arising from a use of ‘it’
? In a stmt of an interactive GHCi command: print it
と返ってきてエラーメッセージの意味すら理解できません。
if ~ elseの部分はどう直せばいいのでしょうか？
モナドも未学習の超初心者ですので、宜しくお願いします(_ _)。
で返り値の型が違う
型を合わせるにはどう対処すればいいのかわからないのですが、
とりあえず、これで動きました。
kld p q = do -- Kullback-Leibler divergence
if length p /= length q
then error "Not equal length"
else do
let pp = map (/sum(p)) p
qq = map (/sum(q)) q
in sum $ zipWith (\x y -> x * (log x)/(log y)) pp qq
main = do
print $ kld [1,1] [1,3]
print $ kld [1,1] [1,2,3]
https://ideone.com/VBpsvO
もちろん実行時エラー
例えば一つの関数で3回ログ出力したいときとか、Writerモナドだと関数内でエラーが起きたときとかうまく出力されてないですよね？
オブジェクト指向にたとえるとObject型
言語にたとえると動的型付け言語のような万能なやつが必要だ
了解です
ただ副作用を使えない制約の型が多くて型チェックが厳しいだけ
そんな大それたもの作らないから使った事ないけど、ErrorTとか言うのがControl.Monad.Errorに入ってるっぽい。
何れにしても、本格的な開発するならRWHは持っておいた方が良い。
値とか型ぽいんだけど、すごいＨ本とかの索引にはそんなん無いし。
https://www.haskell.org/definition/haskell2010.pdf
P19の一番下に
A conditional expression has the form if e1 then e2 else e3 and returns the value of e2
if the value of e1 is True, e3 if e1 is False, and ⊥ otherwise.
”⊥ otherwise”って何だろう？
数学なら意味は分かるが（関数解析も入門とか初歩レベルなら読んだ）
プログラミング言語で直交ってどう意味？
Thx ようやくまともな答えが
Haskellやってて面白いのが、新しい概念が増えていくのがうれしい 遅延評価とか
使わない値(_)や、未定義の値や型として使われてるね。
文脈から意味を汲み取るしか無い。
https://i.imgur.com/bC1cIwc.jpg
take 0 undefined = []
⊥をundefined = undefinedと定義してghci で試したとしても、プログラミングHaskellの説明と同じ動きをする。
undef ined = undef ined
これが ⊥ -> a とか () -> a とか () -> ⊥ とかになるせいで
⊥と()を区別する意味がわからなくなる
再帰禁止すれば違いがわかる
0875デフォルトの名無しさん垢版
2018/12/03(月) 16:13:07.05Go ではインターフェイスの要件を充たしていれば明示的に宣言しなくても型システムがコンパイル時に暗黙的に推論してくれるそうです（日記帳）
0876デフォルトの名無しさん垢版
2018/12/05(水) 06:15:37.43bsort xs = bsort' [] xs
where bsort' [] [] = []
bsort' xs [y] = y:bsort' [] xs
bsort' xs (x:y:zs) | x <= y = bsort' (y:xs) (x:zs)
bsort' xs (x:y:zs) = bsort' (x:xs) (y:zs)
バブルソートのつもり。。。
バブルと言うより勝ち抜きソートって感じだけど。
アルゴリズム図鑑アプリで動作見ながら、リストは頭からだから交換はコストかかるんでこんな形になった。
bsort [3,5,2,4,1]
= bsort' [] [3,5,2,4,1]
= bsort' [5] [3,2,4,1]
= bsort' [3,5] [2,4,1]
= bsort' [4,3,5] [2,1]
= bsort' [2,4,3,5] [1]
= 1:bsort' [] [2,4,3,5]
= 1:bsort [4] [2,3,5]
= 1:bsort' [3,4] [2,5]
= 1:bsort' [5,3,4] [2]
= 1:2:bsort' [] [5,3,4]
= 1:2:bsort' [5] [3,4]
= 1:2:bsort' [4,5] [3]
= 1:2:3:bsort' [] [4,5]
= 1:2:3:bsort' [5] [4]
= 1:2:3:4:bsort [] [5]
= 1:2:3:4:5:bsort' [] []
= 1:2:3:4:5:[]
= [1,2,3,4,5]
最小値が一番最後の唯一つの要素になったらソート済みリストに追加して、
溜め込んだ最小値以外のリストを復帰させて残りのソートを続ける。
(ので、xsとysで見れば浮かび上がる様に見える(？)
https://gist.github.com/WhiteCat6142/a3270468cbf829200b7f66acd048b1a2
bsort=foldr bs []
where bs x []=[x]
bs x (y:ys)|x<=y =(x:y:ys)
|otherwise =(y:bs x ys)
Haskellよくわかってないんですが、
y:bsort' [] xs
の部分も末尾再帰でなくともスタック消費しないんですか？
詳しくは知らないけど再帰と言えど少なくともWHNFで値を返すわけだから
サンクに入った再帰呼び出しを実際に再帰的に呼ぶ必要も無いってことだろう
つまり実際の呼び出しに評価元のスタックが使われるんだとしたら
リストを評価する場合には伸びだ分のスタックがコンスセル毎にクリアされる
問題ない
where step x [] = [x]
step x (y:ys) | x <= y = (x:y:ys)
| otherwise = (y:x:ys)
Preludeモジュールをインポートしないで同義の関数を使いたい場合、
どのモジュールをインポートするのが理にかなっているでしょうか。
理にかなっていると言うのは、
import X (div)
という記述を見て「整数の商を求めるのだな」とか、
「数学的な計算の意味での div なんだな」と分かるという意味です。
import Prelude (div)
では意味が分かりません。
(正確には長年Haskell使ってるので意味は分かるが気持ち悪い)
できるだけ役割がハッキリして仕事が限定された小さなモジュールを求めています。
また stackage の中でお願いします。
basement の Basement.Numerical.Multiplicative.div が良い感じですが、
もっと良いものはあるでしょうか。
(y:bs x ys)は遅延評価だから捜査逆のバブルソート
0893デフォルトの名無しさん垢版
2018/12/22(土) 10:39:40.85ニ ﾚ/::／ /:ｲ:＼/l:l l::l u !. l / ';:::l ', ';:::::l. ';::::l:::::
マ レ /:l l:::::lヽ|l l:l し !/ ';:l,､-‐､::::l ';::::l::::
リ /::l l:::::l l＼l ヽ-' ／ ';!-ｰ ､';::ト､';::::l:::
ス /::::l/l::::lﾆ‐-､｀` / /;;;;;;;;;;;;;ヽ! i::::l:::
ト /i::/ l::l;;;;;ヽ ＼ i;;;;;;;;;;;;;;;;;;;l l::l:::
/:::l/:l /;;l:!;;;;;;;;;', ';;;;;;;;;;;;;;;;;ﾉ l:l::
/::::;ｨ::l. l;;;;!;;;;;;;;;;;l ｀‐--‐'´.....:::::::::!l
__|＿ ヽヽ /ｲ//l::l ヽ､;;;;;;;ノ.... し :::::::::::::::::::::ヽ /!ﾘ l
| ー /::::l';!:::::::::::::::::::: ｕ ', i ﾉ l
| ヽｰ /ｲ';::l ’ し u. i l l
| /';:';:!,.イ し 入 l l U
| /,､-'´／ し / ヽ､ u し ,' ,' l
| ／l し _,.ノ ｀ﾌ" ,' ,' ,ｨ::/:
| ／::::::ヽ ヽ ／ し ,' ,' ／ l::
| ／::::::::::::｀‐､ し ', ／ u ,､-'´ l,､-
| ｀`‐-､._::::::::::｀ ‐ ､ ',／ , -'´｀'´ ,-'´
| _,､-‐'"´';:::::::::ｲ:l';:::｀ ‐ ､._＿＿__,､-‐'"´ u ／
| | | | ＼ l::/ l::::::/リ ';:::::lﾘ:::::l';:::l l:l:::::l＼ u ／
| | | |
その「気持ち悪い」の方がよっぽど意味不明なんだから
divの意味が分からないくらい許してやれよ
気持ちわかる。import Data.Integral (div) くらいでやりたいよね。
import Prelude (Integral(div)) はどうかな
公称的部分型（ノミナルサブタイピング）
構造的部分型（ストラクチャルサブタイピング）
コンパイラは推論できても、人間にとって読みやすいものと思えないんだけど
関数型言語だと型を考えることがプログラミングだと言うね
認証つきWebアプリをいちから写経しようぜってつくりで初〜中級者にいい感じっぽい
Data.Hasとかこれで初めて知ったわ
気持ち悪いは言い過ぎでした。
あまりハッピーではない、くらいです。
>>895
Integral で意味は分かるでしょ、という事ですね。
探すよりそれが楽で現実的だとは私も思うのですが、
Prelude から取ってくるのは何かこう目的と違うと言うか、
それで妥協するのがちょっと悔しいです。
(Prelude って OOP でクラスを ~Manager とか ~Utility って命名する感がある)
でもアドバイスは有り難いです。
参考にさせてもらいます。
Preludeのその他諸々の関数も含めて
無数のディストリビューションから選択するのが理想という認識
http://hackage.haskell.org/package/base-4.12.0.0/docs/src/Prelude.html
を読んで思いついたんだけど、
import GHC.Real (div)
はどうだい。プレリュードはそのモジュールをre-exportしてる。
Javerが4年で手本になるこなれたコードを書けてるのか疑問なんだがどんな？
失敗した
アカウントを未だ両方持っているけど米版は使わなくなった
確認はしてる。ごく稀にamazon.co.jpが破格になることもあるけど。
haskell関連だと
Computational Oriented Matroids: Equivalence Classes of Matrices within a Natural Framework
Juergen G. Bokowski
をco.jpで2800円で購入してた。他だと1万円超え。いまもco.jpでセールになって5700円で買えるみたい。
なお、haskellの学習にはなんの役にも立たないので、その分野の数学をやりたい場合だけ買ってね。
ありがとうございます。
実はそれ、存在は知ってました。
実際インポートできる事も試して知ってます。
ただそのモジュール、base パッケージで公開されていません。
https://www.stackage.org/lts-13.0/package/base-4.12.0.0
これを使うのは、Internal 系モジュールを使うよりもっとヤバくないですか？
http://fumieval.hatenablog.com/entry/2018/12/27/213853
今は、遅延評価あたりをwebで探して読んでるんだけど、
ここら辺のいい日本語の本無いですか？
キーワードは
遅延評価、サンク、ラムダ式、簡約（出来ればグラフ簡約もあれば）当たりが載ってれば
あとは、コンビネータとかもあるとうれしい
情報系の教科書でも、Haskellの教科書でもどちらも大歓迎
エビリファイなんて飴玉ですよ…
私はセレネース（ハロペリドール）とベゲタミンでなんとか生きています…
https://ameblo.jp/kyupin/entry-10102907726.html
「ベゲタミンAおよびBは神の薬で、あれを思いついた人はたぶん天才だと思う。あれは合剤だから神なのであって、あの成分をバラバラに処方すると、なぜかベゲタミンほどは効かない。まぁいずれにせよ絶妙な組み合わせなのだろう。」
遅延評価実装の仕組みが知りたいと？
これらより強力な薬はいろいろ見聞きする限りではないようですね…
レス数が900を超えています。1000を超えると表示できなくなるよ。
ニュース
- 橋下徹氏 大谷翔平に苦言「口座を見ていたら防げた」「本人にも責任がある」反社会勢力に巨額資金流れた可能性指摘 [Anonymous★]
- 「おじが食人部族の犠牲」 バイデン氏記憶違いか [少考さん★]
- 「一切払うつもりない」「漫画村」元運営者に約17億円の賠償命令 人気漫画を無断で掲載 [夜のけいちゃん★]
- 橋下徹氏 大谷翔平に苦言「口座を見ていたら防げた」「本人にも責任がある」反社会勢力に巨額資金流れた可能性指摘 ★2 [Anonymous★]
- 【文春】社員に向かって「意外とお腹太ってるね」いなば食品の女帝・稲葉優子会長（54）の“嫌がらせ”肉声《独占入手》 [Ailuropoda melanoleuca★]
- 宮迫博之、粗品から“あいつ呼び”＆「あんなもん先輩ちゃう」とディスられた件に言及「はっきり言うと…」 [muffin★]
- 尾田栄一郎と鳥山明ってどっちがすごい？
- 【実況】博衣こよりのえちえちCities:Skylines2🧪★7
- 好きなだけすこれるお🏡
- 【実況】博衣こよりのえちえちCities:Skylines2🧪★5
- 【悲報】X民「ボボボーボ・ボーボボはバカが観るアニメ」→32万いいね [426633456]
- ヴィーガンと似たようです