2ch勢い総合ランキング

「PC等」カテゴリ > 「プログラム」板

関数型プログラミング言語Haskell Part32 (520)

【pc】

関数型プログラミング言語Haskell Part32 (520)


1 デフォルトの名無しさん

ageteoff

2019/01/29(火) 09:05:47.90 ID:gJP/u7IJ

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

haskell.org (公式サイト)
https://www.haskell.org/
日本Haskellユーザーグループ
https://haskell.jp/

前スレ
関数型プログラミング言語Haskell Part31
https://mevius.5ch.net/test/read.cgi/tech/1506447188/

関数型プログラミング言語Haskell Part32

381 デフォルトの名無しさん
2019/06/07(金) 00:15:16.82 ID:pdU7zkZH

すみません、
凄いH書籍で学習していて疑問に思ったのですが
型クラス中級で、真理値の様な物を持ちうる型、
JavaScriptのfalsyな値を持つ型を作る実習で
Intや[ ]を独自のYesNo型のインスタンスにする
例があったのですが
標準で存在する型に後から
独自の型のインスタンスにする事に違和感を感じ
バグの温床になるのではという懸念の印象がありました。


オブジェクト嗜好のサブクラスみたいに
「Int」型から「IntYesNo」型を
生成できるのなら違和感ないのですが。

これについての合理性と安全性を明示している
書籍やサイトを知っていたら教えて下さい。

382 デフォルトの名無しさん
2019/06/07(金) 00:45:34.97 ID:UZbkEtL+

381
温床とまで言うか・・・

そのせいで例えばどんなバグがありそうか、
ひとつでも例を示すことはできる?
ごく簡単な例でいいんだが。

383 デフォルトの名無しさん
2019/06/07(金) 01:35:51.00 ID:UZbkEtL+

381
あと、なんど読み返してもタイポっぽく見えないんでツッコミ入れる。
「AをBのインスタンスにする」と言うとき、
Aは型、Bは『型クラス』だからな。

失礼なことを言うが、もしかして違和感の根源は、
型と型クラスがそれぞれ何なのか理解できていないところにあるのでは?

384 デフォルトの名無しさん
2019/06/07(金) 06:58:43.76 ID:m7qCH6wP

    『凄いH書籍』

(;・`д・́)...ゴクリ...(`・д́・;)

385 デフォルトの名無しさん
2019/06/07(金) 19:56:02.21 ID:SUVJWRIg

同モジュール(Haskellでいう)内なら拡張に対しては責任を持つべきなので
拡張がモジュールをまたがないなら大した問題はない
他の言語でもモジュール内操作に対してはあんまりフールプルーフじゃないしね

がHaskellの場合は拡張が子モジュールに伝播してしまう

386 デフォルトの名無しさん
2019/06/07(金) 22:06:13.49 ID:wtNNzOUb

Ruby の偽は、false, nil の2つだけ!

JavaScript, Python, PHP などは、偽が10個ぐらいある!

空文字列・空配列・空辞書とか、0, 0.0 とか、
これらの言語は、しょーもないバグが多い!

だから、Rubyよりも生産性が低い!

387 デフォルトの名無しさん
2019/06/07(金) 23:58:36.77 ID:KFSm+TLI

『入門HASKELLプログラミング』2019年07月31日発売予定
https://www.shoeisha.co.jp/book/detail/9784798158662

「コンピュータのプログラミング」から脱却し、“学術”ではない、実用度重視のHaskell
入門書

Haskellは、関数型プログラミングを研究する対象としての側面が強すぎ、一般的なアプリ
ケーション構築を目的とした開発言語の側面が、ともすればおざなりになりがちでした。
そのため、他の言語(JavaとかC/C++とかC#など)がこなす、ありふれたアプリケーション
をHaskellで構築しようとすると、キーボードを叩く指が止まってしまうことがありました。
本書は関数型プログラミングの基本を押さえつつ、いわゆる「開発言語」として実用的な
プログラムを書けるようなレベルに誘う一冊です。(後略)

388 デフォルトの名無しさん
2019/06/08(土) 01:49:15.40 ID:WG0iLGtf

386
rupy死んだのになんで生きてるの?ww
とっとと後を追いなよwwww

389 デフォルトの名無しさん
2019/06/08(土) 03:07:04.34 ID:PPvh7BCd

Pythonのfalsyな値には、そんなに違和感はないけどなぁ……。

390 デフォルトの名無しさん
2019/06/08(土) 03:44:53.76 ID:epil0e3i



391 デフォルトの名無しさん
2019/06/08(土) 03:45:50.56 ID:C8CdREmC

【実体験】ブログを1,000記事ほど書いたら、月300万くらい稼げた話
https://www.youtube.com/watch?v=GmVulh282ps&t=604s
【報告】ブログで「月収1,000万」を達成できました【方法を解説する】
https://www.youtube.com/watch?v=pgjcuLp8wt0
年間ほど努力したら「年収3,000万」になったので、経験談を語る
https://www.youtube.com/watch?v=oV_SY-a1lMs
期間工ブログの収入は1500万円でした。【フリーランスの現実&底辺からの復活編】
https://www.youtube.com/watch?v=aijLjFLOuC4
年商1300万のプロブロガーの初心者時代から今までの軌跡
https://www.youtube.com/watch?v=UMiF4T2EO9o
【収益報告】実働月10hでも大金稼ぐ方法を解説【年収6,000万】
https://www.youtube.com/watch?v=o2ISWP-VZsw&t=288s
無料ブログは稼げない。稼ぐならオススメはWordPress一択の理由
https://www.youtube.com/watch?v=o8oUe3JS-lg

392 デフォルトの名無しさん
2019/06/08(土) 06:33:44.76 ID:YhBKasle

get programming with haskellは、stackがでてくるの終盤だったり、
あまり実用度重視じゃないんだけどなー

393 デフォルトの名無しさん
2019/06/08(土) 10:04:10.25 ID:ryWt2Gls

389
Ture + True
みたいなのはエラーにしてくれたら良いのにとは思う

394 デフォルトの名無しさん
2019/06/08(土) 13:03:38.36 ID:JxaHk6L1

そんなコードが生じるシチュエーションがわからん。

395 381
2019/06/08(土) 17:21:52.39 ID:mlZK/xCe

ありがとうございます。
既存の型を独自の型クラスの
インスタンスにする事は
同モジュール内の拡張として
プログラムする人が責任を持つべきなので
問題はないとの事で了解しました。

急いで質問を書いたので
型クラスを型と間違って書いてしまいすみませんでした。

396 デフォルトの名無しさん
2019/06/18(火) 06:17:55.21 ID:3nOE2mBA

プログラム板にキチガイ降臨中!botに一晩も反応する異常さ
一般人(学校恩師)に殺害予告をしているのでスレ建て通報してください。
https://mevius.5ch.net/test/read.cgi/tech/1559872586/

142 名前:a4 ◆700L1Efzuv 投稿日:2019/06/18(火) 05:29:55 ID://qVkzO
141
名古屋の人な 俺ね、君の問題を大橋先生と混ぜないことにする。つまりね、
片桐孝洋のことをボコろうと思う。普通に顎の骨を折る。これくらいで警察来るか?
一般市民とかさ、普通にさ、俺らの秘密なんだけどさ、日本人なんて復活ねーから。

397 デフォルトの名無しさん
2019/06/20(木) 01:44:21.27 ID:R55GIdRS

functoriality とはどのような性質のことでしょうか?

398 デフォルトの名無しさん
2019/06/20(木) 04:43:35.94 ID:R55GIdRS

397
補足しますと、functorial は分かります。
ですが、functoriality がいったい何に対してどのような意味で使う言葉なのか分かりません。

Hask圏を例にしてくれると助かります。

399 デフォルトの名無しさん
2019/06/27(木) 19:51:11.76 ID:xcUkqEUS

398
Functorであること
Haskellで言えば、Type -> Type なカインドを持つ型コンストラクタがFunctorのインスタンスであって、Functor則を満たすこと

400 デフォルトの名無しさん
2019/07/01(月) 09:45:16.04 ID:PP1UmLnE

ラズパイでStackの環境構築をしていざコンパイルをしてみたら

・llvmは6.0のみサポートだよ
・一応コンパイルしてみるよ

というメッセージが出た後,

・サポートされていない機械語を使ってるよ

ということでコンパイルが通らなかった。

llvmを6.0のソースからmakeすればいいのかな?

Stackやllvmはすべてapt-getで最新版にしてあります。

401 デフォルトの名無しさん
2019/07/01(月) 21:38:59.85 ID:/x+NnqQg

officialのrepositoryと最新版(binary)は違うよ

402 デフォルトの名無しさん
2019/07/02(火) 12:46:31.20 ID:+JGifkmy

hackageのcabal-installのbootstrap.shをクリックしても
Page not found: Sorry, it's just not here.
とでてダウンロードできないのだが?

403 デフォルトの名無しさん
2019/07/02(火) 16:08:25.14 ID:+JGifkmy

まあいいやtar.gzに入ってるからな

404 デフォルトの名無しさん
2019/07/02(火) 20:25:51.99 ID:2+AqqNZH

401
レスありがとうございます。
公式の最新版とaptリポジトリでの最新版は違うということは認識してます。

やっぱり llvm 6 のソースを公式サイトからおとして make install ですかね?

405 デフォルトの名無しさん
2019/07/11(木) 15:19:40.91 ID:EO8VLz8P

hackageのホームページのダウンロード数が出るところにはcabalとかからダウンロードしたものは
数にふくまれてる?

406 400,402
2019/07/20(土) 23:02:04.74 ID:flSCEm3M

一応ラズパイ上(raspberian 9.4) でもコンパイルできました。
ただしstack を使わずghcで直接コンパイルですが。

 オプションが渡されていないバグがあったような情報を
見かけましたがこのあたりが原因?
https://gitlab.haskell.org/ghc/ghc/issues/11058

407 デフォルトの名無しさん
2019/07/24(水) 23:54:43.53 ID:/HKiGEdd

3件もこのスレで本の省略系がアレでワロタ
協調させて省略するとこうなる
凄いH楽しく学ぼう

408 デフォルトの名無しさん
2019/08/11(日) 16:09:11.67 ID:L0OuEHk+

λの数だけ強くなれるよ~♫

409 デフォルトの名無しさん
2019/08/12(月) 07:07:43.10 ID:8tVc9hN7

最近発売された書籍はどうでしたか

410 デフォルトの名無しさん
2019/08/12(月) 18:35:53.32 ID:EuURpOPT

はい

411 デフォルトの名無しさん
2019/08/14(水) 23:43:24.45 ID:ITFywCVm

この??の部分てどう書いたらいいですか?

f :: a -> IO (Maybe b)
g :: b -> IO (Maybe c)

h :: a -> IO (Maybe c)
h x = do
(y :: Maybe b) <- f a
(z :: Maybe c) <- ??
return z

412 デフォルトの名無しさん
2019/08/15(木) 00:56:45.05 ID:2FISIxPr

もっといいやり方ありそうですが、自己解決しました。
IO (Maybe)から、いったん MaybeT IO に迂回してからMaybe(Maybe c)を潰すんですね、、

import Control.Monad.Trans.Maybe

f :: a -> IO (Maybe b)
f = undefined
g :: b -> IO (Maybe c)
g = undefined

h :: a -> IO (Maybe c)
h x = do
y <- runMaybeT $ (MaybeT $ f x) ">= (\x -> MaybeT $ g x)
let
contractMaybe :: Maybe (Maybe a) -> Maybe a
contractMaybe aa = case aa of
Just (Just x) -> Just x
_ -> Nothing
return $ contractMaybe y

413 デフォルトの名無しさん
2019/08/15(木) 02:33:07.91 ID:9FXQJNeU

Maybeを潰すのは型的に合っていないと思う

data A
data B
data C
f :: A -> IO (Maybe B)
f = undefined
g :: B -> IO (Maybe C)
g = undefined

h :: A -> IO (Maybe C)
h x = runMaybeT $ MaybeT (f x) ">= (\y -> MaybeT (g y))

h' :: A -> IO (Maybe C)
h' = runMaybeT . (MaybeT . f >=> MaybeT . g)

414 デフォルトの名無しさん
2019/08/15(木) 09:54:21.85 ID:2FISIxPr

413
ありがとうございます。

data宣言してるA B Cだと確かに型チェック通らないですね。
他にもa b cを具体的にStringにしたらダメでした。
a b cバージョンだと通ってるんですが、何か違いがあるのでしょうか?

また、実際とりかかっていたのは、
fが下のwebViewGetDomDocumentで、
gが下のgetBodyでした。
こちらもMaybeつぶしで型チェックは通っています(挙動はまだ確認していませんが)。

webViewGetDomDocument :: WebView -> IO (Maybe Document)

getBody
:: (DocumentClass self, Control.Monad.IO.Class.MonadIO m) =>
self -> m (Maybe Graphics.UI.Gtk.WebKit.Types.HTMLElement)

415 デフォルトの名無しさん
2019/08/15(木) 17:40:56.74 ID:3wJ+zeP0

h x = do {
y <- f x;
z <- case y of { Nothing -> return Nothing; Just y' -> g y' };
return z
}

なにがMaybe潰しだ
ただの分岐にデザインパターンみたいな名前つけやがって

416 デフォルトの名無しさん
2019/08/16(金) 13:02:37.84 ID:wUgksw8i

わざわざzを経由する必要ある?

417 デフォルトの名無しさん
2019/08/16(金) 18:54:52.75 ID:pXb2X6++

モナド則その2
m ">= return = m
を満たさない半モナド?を想定してる可能性

418 デフォルトの名無しさん
2019/08/17(土) 01:26:41.61 ID:ES53moma

圏論の知識って役に立つの?

419
2019/08/17(土) 01:42:35.34 ID:ToRIVhzM

私は逆をお聞きしたいです
haskell の知識って圏論を理解する助けになりますか?

420 デフォルトの名無しさん
2019/08/17(土) 03:49:03.33 ID:CK+x7f61

全くならないよ

421 デフォルトの名無しさん
2019/08/17(土) 10:59:33.48 ID:2mj8+539

Haskellと圏論を比較することでHaskellの過激な部分が見える
型を省略する
タプルでできることをカリー化でやる
「任意のfに対しgが存在する」ですむことを高階関数でやる

422 デフォルトの名無しさん
2019/08/17(土) 18:25:28.56 ID:ljAxaRgk

簡単なことを難しく書くのがHaskell

423 デフォルトの名無しさん
2019/08/17(土) 18:36:58.79 ID:He41kTu9



424 デフォルトの名無しさん
2019/08/18(日) 03:03:18.77 ID:AO5DQImr

タグつき共用体は簡単だ
C言語にもあった共用体をやめてコールバック地獄になったのはHaskellのせいではない

425 デフォルトの名無しさん
2019/08/18(日) 20:44:58.36 ID:zn243Obk

別スレでこんなの見つけた。
https://insights.dice.com/2019/07/29/5-programming-languages-probably-doomed/
人気なさすぎという事なのかな?
Haskell好きなんだけどなぁ。

426 デフォルトの名無しさん
2019/08/18(日) 21:34:03.15 ID:Ne5INCCb

開発関係者の間で口コミが増えないから使われていないんじゃないか
消えるかもってことらしいがそもそも学術研究目的だからそれでも
構わないってことじゃないかと思うが…

427 デフォルトの名無しさん
2019/08/18(日) 22:46:17.93 ID:PVG4KZY2

何があれば Haskell に人気が出るだろうか

428 デフォルトの名無しさん
2019/08/18(日) 23:04:15.06 ID:Onid3Fuw

C にせまる速度がでたら?

429 デフォルトの名無しさん
2019/08/18(日) 23:54:21.76 ID:gc7JPYBd

キラーアプリ(フレームワーク的な)でしょ
pandocでは不足

430 デフォルトの名無しさん
2019/08/19(月) 03:52:58.25 ID:zjob4//4

Pandoc 初版2006年8月10日 現在スター数 16,396
shellcheck 初版2013年7月24日 現在スター数 16,023
こういう感じのがもっとほしい

431 デフォルトの名無しさん
2019/08/19(月) 07:23:04.62 ID:2IiE7zyK

そもそも数学の人気のなさをキラーアプリ説で説明できない
宗教では惑星の動きを説明できないみたいに

432 デフォルトの名無しさん
2019/08/19(月) 07:34:27.76 ID:WV8MsfnG

オライリーの本にはパーサーは最強と書いてあるが何に使う?
まだパーサー必要じゃないので恩恵味わっていない

433 デフォルトの名無しさん
2019/08/19(月) 07:41:22.99 ID:TcQTkvSK

pandocに...

434 デフォルトの名無しさん
2019/08/19(月) 11:51:15.13 ID:XOuYcf/m

パーサはオンラインサービスのやりとりの解析に便利そう。
あるいは溜め込んだビッグデータの解析前処理とか。

435 デフォルトの名無しさん
2019/08/19(月) 15:54:57.04 ID:Kn9dUhI/

427
束縛という考えをやめたら人気は確実に出るかと
あれのせいで使いにくいわけだし

436 デフォルトの名無しさん
2019/08/19(月) 16:56:00.26 ID:zjob4//4

設定言語の Dhall にもパーサの強さが効いてきてるだろうね。Slackあたりで新しいキラーアプリみたいに言われていたやつ。
ただの設定より強いけどフルセットのプログラミング言語ほどでないために無限ループなどを作れず安全で便利らしい。
現在スター数二千弱

437 デフォルトの名無しさん
2019/08/19(月) 17:27:44.29 ID:2IiE7zyK

束縛あり
(m ">= \ x -> return x) = m

束縛なし
(">= return) = id

438 デフォルトの名無しさん
2019/08/21(水) 02:19:03.88 ID:DF21aIsc

関数抽象とかλ抽象とか内容にたいして意味がない説明が長々と続いてると思ったら
単なる無名関数のことだった
最初からそう書けばいいのにわざと理解が遠くなる書き方するのは何だろうね

439 デフォルトの名無しさん
2019/08/21(水) 03:03:56.38 ID:zk1xpAiv

438
それはラムダ抽象などに興味がある読者を対象にしているからかもしれない。

単に説明が下手なだけかもしれないが。

ちなみに私は前者に当たるので、そういう単語が出てくるとワクワクし、理解がはかどる。

440 デフォルトの名無しさん
2019/08/21(水) 08:26:50.91 ID:vWB9dk8w

438
循環論法避けるため
数学だからね

441 デフォルトの名無しさん
2019/08/21(水) 08:59:06.15 ID:MCeqK6x4

会話成り立ってるのか?

442 デフォルトの名無しさん
2019/08/21(水) 09:50:43.38 ID:NrNhEvfu

具体例を書けないやつは説明が下手なだけだし
具体例が長々と書かれていたら読み飛ばすようなやつは誤読するだけ

少なくとも動的スコープと静的スコープを間違えた例を書くべきだ
これに関しては数学よりも歴史が役に立つ

443 デフォルトの名無しさん
2019/08/21(水) 14:58:21.32 ID:ur92HW83

今日の流行りはこれ
https://withnews.jp/article/f0190820002qq000000000000000W00o10101qq000019512A

444 デフォルトの名無しさん
2019/08/21(水) 20:13:20.77 ID:a8Z/37wn

442
> 具体例を書けないやつは説明が下手なだけだし

具体例を書けない人間は説明下手以前にそもそも十分に正しく理解していないからこそ具体例を書けないんだよ
中途半端な理解しかしていない人間が上手に説明できるはずがないだろうが

> 具体例が長々と書かれていたら読み飛ばすようなやつは誤読するだけ

具体例として長々としか書けないのも困り者だけれどね
説明する側が本当に良く理解できているならば、よほど高度にテクニカルで微妙な概念や定義でない限り
具体例としては簡潔で短い例や反例を挙げられるはずだ

> 少なくとも動的スコープと静的スコープを間違えた例を書くべきだ
> これに関しては数学よりも歴史が役に立つ

Lispの歴史が正にそれを物語っている
当時MITのAI Lab.のJohn McCarthyらによってLispがλ計算に基づいて初めて産み出された時、λ計算の変数のスコープを間違って
(というよりはLispが実装された1960年代前半のコンピュータのメモリ量と処理能力の極めて厳しい制限から)
動的スコープを採用して久しくその間違いを改めなかったのから、Guy Steele, Jr.らによるScheme言語の提案と同処理系の開発および
Lisp諸方言の統一化としてCommon Lispの言語仕様を策定する際に、変数のスコープとしてはSchemeの静的スコープを標準として採用することで
漸くLispプログラミング界で動的スコープでなく静的スコープが当たり前になったという歴史がね

ついでに言っておくと、かつてのLisp界隈での混乱として、言語仕様上の問題としての動的スコープ-vs-静的スコープの問題と
類似の(だが異なる)問題であるshallow_binding-vs-deep_bindingの問題(こちらは言語仕様でなく実装上の問題)とが混同されていて
混乱を招いていた(かなりしっかりしたLispの教科書でも後者を前者と混同して説明していたり、そもそもこれらの問題があることを理解せずに
書かれていたりした

shallow-vs-deepの問題が言語仕様でなく実装上の問題だと正しく且つ明快に言い切った(私の知る限り)最初のLispのテキストは
Lisp実装者だけでなく(当時の)Lispの上級プログラマにとってもバイブルとでも呼ぶべきJohn Allenの“Anatomy of Lisp”

と、まあ長々とした例を批判しながら、長々と書いてしまって申し訳ない

445 デフォルトの名無しさん
2019/08/22(木) 09:46:16.96 ID:xQsiKIbM

説得力皆無の文章になったな

446 デフォルトの名無しさん
2019/08/22(木) 18:48:22.95 ID:s6ROoMqI

力が無いなら金で買えばいい
問題は、相手を説得したい者に課金するか自分を説得してほしい者に課金するか

447 デフォルトの名無しさん
2019/08/26(月) 15:26:16.91 ID:7r1lWQhX

モナドから得た値ででかいレコード初期化したいときってなんかいい書き方ない?
do記法で左矢印で一々変数に束縛してからフィールドに代入とかするのめんどい
レコードワイルドカード使うのもアプリカティブスタイルで書くのもなんかいまいちだし

448 デフォルトの名無しさん
2019/08/26(月) 16:58:37.95 ID:1YvWSZsw

447
理想はどういう書き方をしたい?

449 デフォルトの名無しさん
2019/08/26(月) 17:56:50.34 ID:H+o0BUvr

448
Hoge { fuga =<< piyo }
こんな感じがいいなあ
レコードワイルドカードだと何してんのかぱっと見よくわからなくなるし
アプリカティブスタイルで書くとフィールドの順番変わったりしたときそれに合わせなきゃいけないのがちょっとだけ嫌

450 デフォルトの名無しさん
2019/08/26(月) 17:57:34.01 ID:H+o0BUvr

まちがえた=<<じゃなくて<-

451 デフォルトの名無しさん
2019/08/26(月) 18:35:14.67 ID:FuRqq0AU

そもそも
b <- m
if b then ~
と書かなきゃいけない言語に贅沢言っちゃいかん

452 デフォルトの名無しさん
2019/08/26(月) 20:58:49.90 ID:JCuV3Nd8

ifはアプリカティブを使ってはいけない例か
意図的に書いてるなら頭いいな

453 デフォルトの名無しさん
2019/08/27(火) 11:02:46.95 ID:LbNJg1Kq

C++のnewも一個ずつだ
多変数関数の存在自体がバグみたいなもの

454 デフォルトの名無しさん
2019/08/27(火) 13:49:23.94 ID:aYd+hskG

たしかにむずかしいね。

455 デフォルトの名無しさん
2019/08/27(火) 14:01:37.09 ID:aYd+hskG

レコードでなくMap型ならモノイドで足して上書きしていけるのに。

456 デフォルトの名無しさん
2019/08/29(木) 12:53:50.13 ID:eXCPAcGY

Haskellは数学者のおもちゃの域を超えてないな
実用を考えたらライブラリの豊富なPythonに勝るものはない

457 デフォルトの名無しさん
2019/08/29(木) 13:19:40.08 ID:VY7wxkJm

python にまけるなんていわれるとは

458 デフォルトの名無しさん
2019/08/29(木) 17:00:49.94 ID:ssy8xOLs

456
> Haskellは数学者のおもちゃの域を超えてないな

本当の数学者はHaskellなんて相手にしないよ
Haskellという玩具で喜んで遊ぶのは数学者じゃなくて数学者にあこがれてるだけの単なるプログラマ

459 デフォルトの名無しさん
2019/08/29(木) 19:08:34.02 ID:qkTKPz6x

じゃあ本当の数学者が相手にしてるプログラミング言語はなんなの?

460 デフォルトの名無しさん
2019/08/29(木) 19:11:37.53 ID:CAV+1+Xc

本物の数学者はパソコン苦手な人も結構いる

461 デフォルトの名無しさん
2019/08/29(木) 19:43:16.59 ID:mkieRkek

そこは計算機科学者と読み替えてさしあげろ

462 デフォルトの名無しさん
2019/08/29(木) 21:23:41.46 ID:LSvsCn45

数学基礎論とか論理でしょ
記号遊びに興じてる人々

463 デフォルトの名無しさん
2019/08/30(金) 00:01:54.88 ID:+2ynYkfN

うちの大学の数学科の計算機系(論理とか統計とか確率とか)の教授はhaskellやってるらしい
あと数学科でやるプログラミングの授業はhaskellらしい

464 デフォルトの名無しさん
2019/08/30(金) 00:34:37.35 ID:CazA1DNP

おもちゃとは記号だったのか
記号などなくても実物だけがあればいいという
いわば実物指向

465 デフォルトの名無しさん
2019/08/31(土) 23:29:39.55 ID:DBlAufLH

GHC8.8.1リリースされたね。ナガカッタ
stackで使えるようになるのはいつ頃か

466 デフォルトの名無しさん
2019/09/01(日) 00:15:49.52 ID:3Spoi/4/

418
副作用の有る関数を、副作用の無い関数と同一視する仕組み(IOモナド)の論理的背景とかは理解出来るけど、理解出来なくても使えるしなぁ。。。


419
プログラマーが圏論理解するには手助けになるけど、それ以外の人には返って邪魔かも。

467 デフォルトの名無しさん
2019/09/11(水) 19:32:14.82

ああ!型システム入門─プログラミング言語と型の理論─が埃被ってる!
何年眠っていたんだ!

468 デフォルトの名無しさん
2019/09/15(日) 12:27:59.45 ID:vZVyiJhM

日系メーカで残業続きの日々です。C++を使っています。
Haskell覚えたらスマートな職場に転職するチャンスありますか?

469 デフォルトの名無しさん
2019/09/15(日) 13:02:40.03

Javaでないだけマシでしょう
欲張っては全てを失います
胸を張ってC++コードを書き続けましょう

470 デフォルトの名無しさん
2019/09/15(日) 13:26:30.70 ID:vZVyiJhM

でも所詮日系メーカでプログラミングの向上心持ってるやつなんて上司含めてほとんどおらん
そういう中で品質いいコード書く努力が虚しいんや

471 デフォルトの名無しさん
2019/09/15(日) 14:38:10.94 ID:CYqvBFjr

転職を強く推奨します

472 デフォルトの名無しさん
2019/09/15(日) 14:45:40.26 ID:x41usVyI

まあたとえ誰も評価してくれなくとも
品質のいいコード書いておけばあとでデバッグやリファクタするときに自分が楽よ
Haskell覚えても転職に良いかはわかりませんが
C++の品質は多分上がる

473 デフォルトの名無しさん
2019/09/15(日) 19:41:31.15

Haskellは一体いつになったら速くなるんだ
現状Javaにすら勝ててないじゃないか
関数型お得意の『最適化の余地』を永遠に残したままフィニッシュか!?

474 デフォルトの名無しさん
2019/09/15(日) 20:15:28.04 ID:q43bIxju

こんな非効率な言語がPythonよりは速いって思われてる時点で最適化の賜物だろ

475 デフォルトの名無しさん
2019/09/16(月) 08:42:30.15 ID:N3Stq9G0

関数型言語の最適化の話はOcamlにまかせてある

476 デフォルトの名無しさん
2019/09/16(月) 20:50:11.40 ID:QCellAQp

そういうことならclaspでいいわ

477 デフォルトの名無しさん
2019/09/16(月) 21:37:02.25 ID:7YJTuf9D

475
call-by-valueのOCamlとcall-by-needのHaskellとでは実装法は大きく異なるから最適化技術も両者で大きく異なる
関数的プログラミング言語でもML系諸言語(OCamlやStandard MLなど)やSchemeなどのcall-by-valueセマンティックスに基づく言語の実装は
手続き的(あるいは命令的)プログラミング言語の実装にかなり近いし、例えば命令的言語では最も重要な操作である変数への破壊的代入や
例外処理を言語仕様に追加し組み込むことも特に困難ではない(実際、ML系諸言語やSchemeなどLisp系諸言語は変数への破壊的代入の
プリミティブを有しているし、Standard MLなどは例外処理も言語仕様に最初から組み込まれている)

だが変数への破壊的代入や例外処理といった言語機能をHaskellのようなcall-by-needセマンティックスの関数的プログラミング言語に
追加しようとすると途端にセマンティックスを整合的にすることが困難になる

478 デフォルトの名無しさん
2019/09/18(水) 22:01:35.11 ID:lvPVUcx3

既出ですかね
プログラミングHaskell第2版、いかがですか?

479 デフォルトの名無しさん
2019/09/18(水) 22:33:30.71 ID:EDnCRaxi

478
買ったばかりでまだほとんど読めてないけど、教科書としてよさげ。
GHC前提になったし、古い記法は一掃されたし、分量も増えてる。
第I部はかなり平易な基礎と型クラスあたりまで。
第II部に対話系からモノイドまで持ってきて充実させてる。
ただ如何せん、出版社が弱すぎて、普通の書店になかなか並ばない。
ネット直販ならいいんだけどね。

480 デフォルトの名無しさん
2019/09/18(水) 22:46:56.61 ID:sk3yb4Af

東京だと
ジュンク堂や紀伊国屋でさくっと手に入ったけど
まあ普通じゃないな

481 デフォルトの名無しさん
2019/09/18(水) 23:07:44.70 ID:lvPVUcx3

479 480
ありがとうございます

第1版は持っているのですが、なかなか良いものなので、増補されたのなら是非と思いまして
当該のサイトにも、池袋のジュンク堂にはあるとあったので、寄り道して購入しようかと…

482 デフォルトの名無しさん
2019/09/19(木) 11:55:27.58

第一版持ってて尚第二版買うとかハスケルガチ勢かよ

483 デフォルトの名無しさん
2019/09/19(木) 21:57:13.69 ID:Vqj74yRo

482
ページ数は1.5倍位になってるみたいだし、かなり増補されてたからさ

484 デフォルトの名無しさん
2019/09/20(金) 00:33:53.77

入門はすっとばしてLensとかConduitとか流行ったライブラリの実践例集みたいな本が欲しい
クックブックっていうのかね
なぜ出版社は入門書ばかり刷りたがるのか

485 デフォルトの名無しさん
2019/09/20(金) 00:45:38.23

入門はいいから初心者を鍛えてくれよ
将棋ウォーズでいうと3~1級を初段~三段に上げてくれる本がないよなぁ

486 デフォルトの名無しさん
2019/09/20(金) 06:27:12.22 ID:fTWLEX/y

並列並行haskellは面白かったな
英語苦手なのに無料公開されてた英語版全部読んじゃった

487 デフォルトの名無しさん
2019/09/26(木) 05:11:57.59 ID:dzbET3Zy

結局のところ、rigid type variable ってどんな type variable のことなの?

488 デフォルトの名無しさん
2019/09/26(木) 14:20:58.03 ID:iXd9J4xZ

skolem type variable のことだよ^^

489 デフォルトの名無しさん
2019/09/26(木) 15:49:58.48 ID:fwWuWasU

484
取り敢えず使ってみよう勉強してみようという人間は多いので入門書にはそれなりの部数の需要があるが
実際に入門レベルをクリアしてその先に進む人数は一気に減少するから、その先の技術レベルの内容を扱う書籍は
よほどメジャーな言語でない限り商業ベースには乗らない

それも世界中がマーケットになる英語ならまだしも日本国内しかマーケットのない日本語の書籍となれば尚更ね

490 デフォルトの名無しさん
2019/09/26(木) 18:11:59.76 ID:6j3rqQh6

入門書はどうでもいいことばかり書いてるから買わないことが多い

491 デフォルトの名無しさん
2019/09/26(木) 19:57:03.06 ID:dzbET3Zy

488
じゃあ、rigid = skolem なのか?

ghc のコンパイルエラーメッセージに
rigid で skolem な型変数がどうとか言う文言があるから、
両者は別物のような気がするのだが。

で、skolem とは何なのだ?

492 デフォルトの名無しさん
2019/09/26(木) 20:24:22.90 ID:iXd9J4xZ

491
rigid=skolemだよ
昔skolemとだけ表示されてたんだが、それじゃ分かりにくいというissueが立ってrigidが併記されるようになったらしい

俺もあれがなんなのか知りたい
俺としてはexists a. aみたいな型のことじゃないかと思ってるんだけどよくわからん
わかったら教えて

493 デフォルトの名無しさん
2019/09/27(金) 03:35:50.99 ID:cVD6n+mn

492
なるほど、そういう歴史があったのか。

こういうのこそ、入門書に書いておいて欲しいな。

494 デフォルトの名無しさん
2019/09/27(金) 22:06:15.87

489
資本主義のバグじゃん
パッチ配布はよ

495 デフォルトの名無しさん
2019/10/05(土) 11:54:01.11 ID:7g/R2uPo

型aがMonadならApplicativeでもあるわけですが、
実用的にreturnとpureが異なるというのは有り得るのでしょうか?

496 デフォルトの名無しさん
2019/10/05(土) 14:04:06.04 ID:bu+J3s1i

495
Monad版とApplicative版とで効率化のため内部実装が異なるということは
もしかしたらあるかもしれない(実例は知らないけど)
Monadが自然に誘導するApplicativeなら振る舞いが異なるということはないはず
(標準的なリストモナドに対するZipListみたいな話を気にしている)

497 デフォルトの名無しさん
2019/10/07(月) 22:45:01.48 ID:E8UVlk39

496
> Monadが自然に誘導するApplicativeなら振る舞いが異なるということはないはず

ありがとうございます。
安心しました。

498 デフォルトの名無しさん
2019/10/08(火) 09:34:32.63 ID:pe44plco

モナドでアクションを繋げるってのは何がうれしいの?
参照透過のために仕方なくやってるだけ?

499 デフォルトの名無しさん
2019/10/08(火) 10:35:16.66 ID:pF665SWr

みんなが使う言語の約束事が変更されるまで何年も待つか
一個人が関数を2つ定義するだけで解決するかの違い

500 デフォルトの名無しさん
2019/10/08(火) 16:25:57.34 ID:ELFSZFvj

同じことの繰り返しを書かなくて済むのが大きいかな。

例えばEitherとIOの組み合わせのモナドでハードとの通信を
書いた時,割り込みプロセスを考えなくてもLeftで返せば
後続コードを飛ばしてエラーを返せるし,コード量が減った
だけ,ミスの発生率も低くなる。

これがモナドなしだとハードとの通信をするたびにエラー
確認コードをいれて例外処理やなんやかやをしないといけ
なくなる。

501 デフォルトの名無しさん
2019/10/08(火) 17:47:38.95 ID:pF665SWr

EitherにもIOにもなるような万能のinstanceにロックイン?してよければclass不要
その気になれば任意の言語で応用可能ということ

502 デフォルトの名無しさん
2019/10/08(火) 18:00:48.37 ID:pe44plco

結果的にHaskellの生産性は高いの?
ライブラリや学習情報の充実度を無視するとして

503 デフォルトの名無しさん
2019/10/08(火) 18:17:24.58 ID:ELFSZFvj

少なくともタイプする文字数はめっちゃ減る

504 デフォルトの名無しさん
2019/10/08(火) 18:27:09.94 ID:gcgHRAAu

もう生産性高いとは誰も言わなくなったね

505 デフォルトの名無しさん
2019/10/08(火) 19:31:45.70 ID:pe44plco

文字数が減るのは高階関数のおかげ?

参照透過性によるバグの低減やコーディングのしやすさはどの程度あるんだろうか?

506 デフォルトの名無しさん
2019/10/08(火) 19:37:25.99 ID:4CpPhkv4

巨大になっても線型に複雑度が増加するから他より有利とは言われるが
そこまで大きいの触ったことない

507 デフォルトの名無しさん
2019/10/08(火) 20:09:52.92 ID:pF665SWr

PythonでもHaskellでも、タプルを使うなとか誰も言わなくなれば文字数は減る

508 デフォルトの名無しさん
2019/10/08(火) 20:44:34.15 ID:kGAGzuS0

文字数減ればいいってんならシェルスクリプトかperlが最適だな。

509 デフォルトの名無しさん
2019/10/08(火) 21:24:42.66 ID:ELFSZFvj

"> 505
モナドや高階関数のおかげもあるけど文字数が減るのは
つきつめると言語全体に貫かれた表現の簡潔さ志向の仕様によるかな

参照透過性のおかげで副作用を気にせず共通部分を
気軽に関数としてまとめられるとか

ブロック前後の括弧がいらないとか

再利用や多様な型に適合するように引数や関数の名前を短めにするとか

局所変数がないとか

簡単に二引数の演算子を記号を使って定義できるので
関数名を何度も書かなくて済むとか

いろいろ

書く部分が少なくなるとそれだけケアレスミスの入り込む余地は少なくなるね。
それとS/N比がよくなってロジックを追いやすい。

510 デフォルトの名無しさん
2019/10/08(火) 21:32:14.39 ID:nLwShu/0

何冊か本を読んだけど、Haskell の気持ちがなかなか分からん…

511 デフォルトの名無しさん
2019/10/08(火) 21:39:47.76 ID:ELFSZFvj

何か書いてみた?

自分はRWHとかPCHとか読みながらオレオレプロジェクトを仕立てて
書き進めていったらある日を堺に急にこういうことかと理解が進んだ。

512 デフォルトの名無しさん
2019/10/08(火) 22:21:53.53 ID:nLwShu/0

やはりどんどん書かないとダメですよね…
おかげさまで、本業とする言語でのコーディングには有意義なフィードバックができてはいるのですが
そもそも GHC が吐き出すエラーメッセージがなぁ~

513 デフォルトの名無しさん
2019/10/08(火) 23:04:55.55 ID:ELFSZFvj

自分もエラーが何を意味しているのか最初はわからなかった。

ただほとんどのエラーは型の不一致由来。

だから何行目のどこでエラーが出ているかだけわかればあとは
型を順番に調べていって解決できるようになった。

スペルを間違えたり似たような目的で使う別の型と勘違いしていたり
とかそれなりの理由でエラーが出ているはず。後者は代数データ型を
適当にその場で作ったりしてた頃によくやってた。

514 デフォルトの名無しさん
2019/10/08(火) 23:09:06.98 ID:DA/zVK7z

LispとHaskellの間には謎の暗黒時代があるから
結果がすべての人にはそれがわからんのです

515 デフォルトの名無しさん
2019/10/08(火) 23:13:57.88 ID:ELFSZFvj

その暗黒時代にSMLの本を店頭で見かけて気になった記憶がある。
結局買わなくていきなり普通のHaskellまでとんだ。

ソースから実行コードにどんなふうにおとしていってるのか最近
気になってきたのでそのうち古本でMLの本でも手に入れるか
GHCのが吐くコードを追っかけてみたい。

516 デフォルトの名無しさん
2019/10/08(火) 23:33:07.01 ID:nLwShu/0

513
ありがとうございます 512 です
皆さん同じような苦労をされているのかなと、少し楽な気持ちになりました
もう少し粘り強く取り組んでみます!

517 デフォルトの名無しさん
2019/10/08(火) 23:42:31.20 ID:ELFSZFvj

どういたしまして!

基本文法は簡単だから文法エラーはすぐにほとんど出なくなります。

そこまでいったら初級編終了。

518 デフォルトの名無しさん
2019/10/09(水) 00:44:23.02 ID:UKqTo/lR

圏論の本を読もうと思ったら数学地獄にはまる

519 デフォルトの名無しさん
2019/10/09(水) 22:12:42.71 ID:wrHKsVK1

VIMで関数名にカーソル合わせると自動で型シグネチャ動的推論して表示してくれる機能ありませんか?

520 デフォルトの名無しさん
2019/10/10(木) 00:08:02.64 ID:TcPJYaG5

ダイクストラのアルゴリズム
優先度付きキューの手作りから始めて一週間かかってやっと完成した

あたまわーるわるわーるーわる~♪
sm32181836
脳裏に流れてる

521 デフォルトの名無しさん
2019/10/10(木) 09:37:00.35 ID:yMym0WfO

善意的に解釈してアルゴリズムの方の動画だと思ったが
案の定あたまわるい方の動画だった

522 デフォルトの名無しさん
2019/10/10(木) 19:26:23.87 ID:yuHTWGdR

practical haskell second edition読み終わった

523 デフォルトの名無しさん
2019/10/11(金) 18:25:28.60 ID:NJkU4MQ7

Haskell Wiki
!haskellwiki
Hayoo
!hayoo
Hoogle
!h
Hackage
!hkg
Hoogle at Stackage
!stackage
https://duckduckgo.com/bang?c=Tech&amp;sc=Languages+(Haskell)

524 デフォルトの名無しさん
2019/10/11(金) 20:15:13.77 ID:NJkU4MQ7

アマゾン.co.jp
!ajp
https://learning.oreilly.com/home/
!orly
O'Reilly
!oreilly

525 デフォルトの名無しさん
2019/10/12(土) 00:29:02.70 ID:mt88ZJv+

510

mylist 3 = [[1,2,3],[4,5,6],[7,8,9]]

みたいなリストを作る関数をHaskellで作ってみれば関数脳に目覚める。
割とマジで。

Haskell入門以前って電子書籍で書いたが、自力で目覚めるなら買わなくても良い。
(Haskell入門書読んでも宣言的とは?関数脳とは?がピンと来なかった経験から書いた)

526 デフォルトの名無しさん
2019/10/12(土) 00:42:17.63 ID:67yl+yJ3

パッと思いついたのはこんな感じ?
添削してくれたら嬉しい
HaskellでなくPureScriptだが

mylist :: Int -> Array (Array Int)
mylist n = do
i <- 1..n
pure [i*3 + 1, i*3 + 2, i*3 + 3]

527
2019/10/12(Sat) 01:48:37 ID:gzpbrH7N

">525
コメントありがとうございます!
">510です

ひねりなしですが…

mylist :: Int -> [[Int]]
mylist n = chop n [1..n^2]

chop :: Int -> [a] -> [[a]]
chop _ [] = []
chop n xs = take n xs : chop n (drop n xs)

chop は、直近に読んだ書籍からそのままアイデアを拝借しましたが、カンニングなしで書きました

[1..] のように、無限リストで書けたらと思いましたが、酒気帯びなためダメでした

IO の純粋って、のようなことがサッパリです…

528 デフォルトの名無しさん
2019/10/12(Sat) 02:00:10 ID:iYZ0+U57

">527
うーん・・・。
貴方はまだ手続き脳ですね。
(その手順でも関数脳を実感する人は実感するのでしょうが)
罰としてHaskell入門以前をご購入下さい。

IOの純粋は、「プログラマーのための圏論」と言うPDFがネットにあるのでググって読んでみると良いです。

529
2019/10/12(Sat) 02:20:05 ID:CTFV4tiX

(n: number) => Array.from(Array(n).keys()).map(
  i => Array.from(Array(n).keys()).map(
    j => n * i + j + 1
  )
)

530 デフォルトの名無しさん
2019/10/12(土) 02:25:29.50 ID:gzpbrH7N

528
510です
では、

mylist :: Int -> [[Int]]
mylist n = take n (chop n [1..])

531 デフォルトの名無しさん
2019/10/12(土) 02:33:17.76 ID:gzpbrH7N

528
510です
コメントをつけ忘れましたが、ご紹介いだいた圏論のレポートは、以前にちょっと目を通したことがあったと思いますが、サッパリだった記憶が…
あらためて拝見します
ありがとうございます!

532 デフォルトの名無しさん
2019/10/12(土) 08:28:10.44 ID:oBt8QHPo

530
ちょっとchopと[1..]から離れましょう。
そして、[1..n]に何をすれば次のリストを得られるか考えましょう。
プレリュードの(入門以前と書かれた通り)基本関数の組み合わせだけで書けます。

IOと言うより入力ですが、関数の引数か、外部からの入力かだけで中身の処理は普通の関数と同じと捉えましょう。
そうするとreadLine関数が部分適用で見た目の引数の減った普通の関数に見えて来ませんか?

圏論で謳っているのは、どこから来たかが違っていても同じ事をするなら、同じ関数と見なそう。
そう言う、ある着目点以外の差異を無いものとするという事です。

533 デフォルトの名無しさん
2019/10/12(土) 11:27:51.29 ID:/Y14moqf

510 です

mylist n = take n $ f [[1..n]]
where
f [ns] = ns : f [g ns]
g ns = map (+3) ns

としたところで、要素に f を繰り返し適用して無限リストを作る関数があることを思い出し、思い出せずにカンニングして iterate を発見

mylist n = take n $ iterate f [1..n]
where
f ns = map (+n) ns

map (+n) 辺りがどうも…

534 デフォルトの名無しさん
2019/10/12(土) 11:28:38.29 ID:/Y14moqf

インデントの空白が消えるのか

535 デフォルトの名無しさん
2019/10/12(土) 11:30:28.30 ID:/Y14moqf

間違えた、先の関数の (+3) は (+n) でした

536 デフォルトの名無しさん
2019/10/12(土) 14:40:27.19 ID:IkOZzxfL

文字数が減る主義を粛清した結果がこの関数脳内革命なのか?
文字数が減るでよかったのに

537
2019/10/12(Sat) 19:37:37 ID:Qwy8j330

">525
あの本出版した人?
いくら稼げた?

538
2019/10/13(Sun) 08:24:39 ID:joWtBDzr

競プロでもあるまいしアルゴリズムを非直観的なものに変形させる必要がどこにある?
そんなに漸化式が好きなら iterate (\xs -> [last xs+1,last xs+2..last xs+n]) でもやってろ

539
2019/10/13(Sun) 12:28:55 ID:vnXjj3sR

プログラミング運算やると計算量がオーダーレベルで変わるよみたいな話もあるから
非直感的な宣言をすることがいつも無駄とは限らないだろう
今スレで話題になってる例が教育的によいかどうかはわからんが

540
2019/10/13(Sun) 12:35:18 ID:rWBm0O/W

効率的な計算量になるようにコンピュータが計算して最適化してくれたらいいのに

541
2019/10/13(Sun) 14:20:50 ID:8ABqNncq

なにしてんの
mylist n = [ [(m - 1) * n + 1 .. m * n] | m <- [1 .. n] ]
とかじゃだめなの

542
2019/10/13(Sun) 14:25:29 ID:8ABqNncq

ただでさえO(n^2)なのにiterateとかやったらO(n^3)じゃん

543 デフォルトの名無しさん
2019/10/13(日) 15:19:23.66 ID:joWtBDzr

mylist n = take n $ chunksOf n [1..]
がダメらしいからそれもダメなんじゃない?知らないけど

544 デフォルトの名無しさん
2019/10/14(月) 07:17:52.00 ID:Foao1gEl

537
7000円


533
手続き型言語をやっていると非直感的ですが、そうで無い人(プログラミング未経験含む)だと割とこっちもメジャーなので、こっちが浮かぶのが関数脳を作れた基準?にしてます。

545 デフォルトの名無しさん
2019/10/14(月) 13:10:48.92 ID:dTytwEqk

n個の品物が入るナップサックがn個あって
1,2,3...と番号の書かれた品物を順番にいれていく
等々いくらでも行動的比喩が可能な問題に対して数式的に考えることが自然ねぇ・・・
まあ人間の思考傾向を議論するつもりはないけど
少し考えればシンプルに解ける問題は少し考えろと主張をしたいんだとしても
我々手続き的ゾンビにとってmylistの例が「直観性」を犠牲にするほどシンプルだとは思えないけどね

546
2019/10/15(Tue) 00:51:42 ID:ojqSK/Hb

チューリング完全なもの同士は等価である
Haskellと他の言語が等価であることを直感的に表現しているのがモナドだ
この文脈ではモナドが直感的だと思わない奴の直感はあてにならない

プログラミング未経験者ってのは文脈無視するのを正当化するための道具にされてるだけだろう

547
2019/10/15(Tue) 08:43:19 ID:NwqFzBSd

隠そうとして隠し切れなかったのがモナド

548 デフォルトの名無しさん
2019/10/16(Wed) 01:24:19 ID:N7kCHTAD

モナドっていうネーミングも謎

549 デフォルトの名無しさん
2019/10/16(水) 01:58:12.16 ID:1kZaANyW

ニョモレとかムニャンプの方が良かった?

550 デフォルトの名無しさん
2019/10/16(水) 02:26:39.80 ID:lWzU93N+

モノ モノイド

551 デフォルトの名無しさん
2019/10/16(Wed) 22:21:13 ID:N7kCHTAD

モナド=単一子=世界の究極の根本要素

でもHaskellのモナドは外部とのやり取りを隠蔽してる脇役みたいなものでしょ

552
2019/10/16(Wed) 22:25:37 ID:S+gc310a

無理やり型合わせするためだけの言い訳だな。
くっだらねーとしか思わんかったわ。

553
2019/10/16(Wed) 23:44:14 ID:5hxXU1b8

そう思ってでもまだこちらをのぞいているってことは
かなり気に入る・気になる部分もあったんだよね。

どんなところがよかったの?あるいは気になったの?

554 デフォルトの名無しさん
2019/10/17(Thu) 03:04:05 ID:Xwvn1Enx

CSで使われる用語って何かのめたふぁか知らんけど
無理に数学に合わせて造語っててかえって判り難さが増すというね

555 デフォルトの名無しさん
2019/10/17(Thu) 03:47:00 ID:qaCXzdDd

モナドが分からんという人が多いのは
哲学のモナドと混同してるからだろうな
全く無関係の別物だと理解する必要がある

556
2019/10/17(Thu) 04:08:11 ID:UnH0fUML

いやそれはない

557 デフォルトの名無しさん
2019/10/17(木) 06:05:35.66 ID:gq3I2ckq

モナドはわかっても何が凄いのか全然わからん教えてくれ

558
2019/10/17(Thu) 07:39:25 ID:fFU5Cjed

哲学と数学の違いは「嘘を言ってはいけない」という点にどこまで集中するかの違い
すごいものを作るより有害なものを作らないことをどのぐらい重視するか

559 デフォルトの名無しさん
2019/10/17(木) 08:37:09.64 ID:n/9LzeKG

たしかにモナドすごいすごいって言う人っていざ説明させると説明できないよねw
せいぜい受け売り止まり

560
2019/10/17(Thu) 09:27:30 ID:PVi4YySF

では説明お願いします

561
2019/10/17(Thu) 09:56:17 ID:Gwz4u+oG

受け売り止まりじゃない説明はよ

562
2019/10/17(Thu) 10:16:38 ID:kLoaz8mV

モナドはただのデザインパターンの一つだろ

563 デフォルトの名無しさん
2019/10/17(木) 10:44:35.23 ID:n/9LzeKG

560
俺は話聞いてるだけ
強引なHaskell推しに困ってる

564 デフォルトの名無しさん
2019/10/17(木) 10:44:48.97 ID:UnH0fUML

モナドほどの抽象化しただけで画期的じゃん
イテレータとか用意してデータ構造によらないコンテナへの共通インタフェースとさらにそれへの特別なシンタックスシュガー用意した言語ぐらいならあった
モナドなんか用意してdo記法なんてシンタックスシュガー用意してプログラミング言語における手続き的処理やその他諸々を抽象化した

565
2019/10/17(Thu) 10:57:50 ID:8XbgiZIP

抽象化できてるか?
手続き型と同じっぽく見えるけど、いざ活用しようとすると同じようには使えなくて意味不明な型エラーで詰まる
結局のところモナドの仕組み理解できてないと使いこなせない
これは抽象化できてないってことでしょ

566
2019/10/17(Thu) 11:46:58 ID:UnH0fUML

そりゃ任意の手続き型言語を再現できるわけではないから完全な抽象化ではないけど

手続き型的な処理とか、失敗する可能性のある処理とか、非決定的処理だとか、そう言った諸々をまとめてモナドとして一般化してる
そのおかげでそれら全てで共通にdo記法やモナド向けの関数といったものが使えて、各種毎に個別に関数を用意したり覚えたりする必要が減る

自作のDSLなどを構築するときにも
モナドインタフェースを実装するだけでdo記法やモナド向け関数群を使えるようになる
他言語でDSL構築は結構大変だし、オレオレDSLなんてどういう仕様かわかりにくいけど、haskellなら型から検索したり型を見たりすることでどういうアクションがあってどうやって使うのかがわかる

567
2019/10/17(Thu) 11:49:22 ID:fFU5Cjed

これがC++だったらJavaScript環境を作ってC++の仕組みを隠蔽するかもな
Haskellでも同じことをする自由はある

568 デフォルトの名無しさん
2019/10/17(木) 21:34:43.47 ID:AvAuJv6u

関数脳になるとどんな利点があるのかな?
手続記述は使い回ししにくい?

参照透過性が確保されていて型の情報があれば
算法の記法が手続き的か定義的かを問わず
どちらでもいいような気もするが

569
2019/10/18(Fri) 00:47:49 ID:Jux/affY

">551
Haskellのモナドって関数型で命令的な処理の書き方をしたいってことだろ
要するにLispにPROGフィーチャー入れたのと同じような動機だろ

570
2019/10/18(Fri) 06:44:38 ID:lM5JoyFV

">562
絶対違う

571 デフォルトの名無しさん
2019/10/18(Fri) 09:49:47 ID:F+Okgjq/

">569
全然違うんだよなぁ…

572 デフォルトの名無しさん
2019/10/18(Fri) 12:21:22 ID:cHgwfEPK

コンストラクターがオーバーロードできないから別の列挙型に同じタグ名がつけれないんだけど
どうしたらいい?

573
2019/10/18(Fri) 12:40:18 ID:B/ouUg1P

">569
学び始めはそう理解したが bind 演算子とか融合とか進んで
現時点では切り分けや共通化の便利な道具と思ってる

574
2019/10/18(Fri) 12:41:41 ID:B/ouUg1P

">572
自分だったら根本的な構造を見直すかな

575 デフォルトの名無しさん
2019/10/18(金) 17:04:05.16 ID:lM5JoyFV

574
kwsk

576 デフォルトの名無しさん
2019/10/18(金) 20:30:34.81 ID:O9SciFl2

572
DuplicateRecordFields 拡張を使うとできるようになるっぽいよ。
http://lotz84.github.io/haskell/extensible-record.html

577 デフォルトの名無しさん
2019/10/18(金) 20:44:14.39 ID:lM5JoyFV

576
俺も一瞬それ思ったけど同名データコンストラクタもできたっけ?

578 デフォルトの名無しさん
2019/10/18(金) 21:22:19.66 ID:O9SciFl2

577
コンストラクタの方か。見間違えてた

579 デフォルトの名無しさん
2019/10/18(金) 22:18:25.57 ID:O9SciFl2

data 宣言を別モジュールに分けて
両方が必要なら import ... as ... で別名をつけるって方法はどう?

580 デフォルトの名無しさん
2019/10/18(金) 22:56:52.03 ID:liCy40EB

モナドを導入することで副作用のない
「副作用のチェーンをつくって渡す。」
ちなみに実行は副作用させるというバカみたいなレトリックを実行してるだけ。
バカはそういうものをありがたがるんだよ。
そしてそういうものをありがたがるというのはバカみたいに本質なんだな。

581 デフォルトの名無しさん
2019/10/18(金) 23:39:51.57 ID:CSj9zhCF

モナドのごとく回りくどく分かりにくい文だな

582 デフォルトの名無しさん
2019/10/19(土) 00:07:09.37 ID:0X24TT//

575
Haskellは個人の趣味・自己啓発の道具の範疇なので
参考にならないでしょうが…

名前がかぶるのはどこか機能がかぶってたりするかなと
型の使い方を見直したり組み合わせる関数を見直したり
所属するモジュールを移動したりとか。

どうしても名前がかぶるってときは英語名や日本語名
ときには中国語とかも借用する(ただし英字を使う
ローマ字やピンイン表記)か密接に関係する事柄の
接頭辞をつけてる。

583 デフォルトの名無しさん
2019/10/19(土) 00:15:25.34 ID:0X24TT//

580
モナドで副作用・副作用もどきを扱えるけど
モナドの全てが副作用・副作用もどきを伴う
わけではないでしょ。

リストもMaybeもEitherもモナドとして扱う
定義はされているが別にそれをつなげても
副作用があるわけでなし。

584 デフォルトの名無しさん
2019/10/20(日) 21:44:47 ID:5Lp8lBZ6

非決定計算やIOが同じモナドというククリで実現できるのが大変興味深いです

585
2019/10/20(日) 23:54:14 ID:Wg020iKs

なぜそんなにお前らがモナドについてあーでもないこーでもないと話し合ってるのかがわからない
モナドなんていたってシンプルな考え方なのに

モナドなんて単純にどうやって関数を合成するかというルールにすぎない
より正確には、「モナディックな関数」を合成するルール

では、モナディックな関数とは?それは"装飾された値"を返す関数のこと。
どんな装飾が施されたかについては、文脈によって様々だが、たとえば…

・エラー -> 失敗を表すデータもとりうる値 MaybeとかEither Error
・非決定性 -> いくつもの値を同時に表す値 List, Array
・副作用 -> 副作用自体を表すデータ Effect, Aff
・状態を扱う -> 状態を表すデータとセットになった値 Reader , Writer, State

586
2019/10/21(月) 00:25:00 ID:4Py1bsIM

シンプルな考え方合成ルールといいつつ
肝心のルールの中身を説明しないで
利点や応用分野のみ紹介する
典型的な日本人話法

モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも?

587
2019/10/21(月) 00:50:05 ID:tyOGJJBt

いやだから装飾のされ方は物によって様々だって言ってるじゃん
ルールの中身も当然装飾のされ方によって様々なんだから画一的に述べられないってわからないか?

一つ言えるのはbindとpureの定義を与えるってことくらいだが
あるいは同値な定義だが、関手であることを要請した上でjoinとreturnを与えるのでも構わない
数学者のモナドの定義を述べているお前ならこっちのほうが好みかもな

1 2 3 4 5 最新 全部見る 

2ch勢い総合ランキング

ラグビーワールドカップ2019 準々決勝「日本×南アフリカ」☆19 (1002)
勢い 101254.74 70.32レス/分 実況ch > 番組ch(NHK)
【マターリ】ラグビーワールドカップ2019 準々決勝「日本×南アフリカ」☆6 (1003)
勢い 99379.82 69.01レス/分 実況ch > 番組ch(NHK)
ラグビーワールドカップ2019 準々決勝「日本×南アフリカ」☆9 (1002)
勢い 96729.39 67.17レス/分 実況ch > 番組ch(NHK)
【マターリ】ラグビーワールドカップ2019 準々決勝「日本×南アフリカ」☆3 (1002)
勢い 73855.54 51.29レス/分 実況ch > 番組ch(NHK)
【ラグビー/W杯】準々決勝 日本代表、4年前の再現ならず!南アフリカのFW陣に体力奪われ力尽き3-26で敗れる★4 (1002)
勢い 65525.76 45.50レス/分 ニュース > 芸スポ速報+
【超マターリ】ラグビーワールドカップ2019 準々決勝「日本×南アフリカ」☆3 (1003)
勢い 60643.25 42.11レス/分 実況ch > 番組ch(NHK)
【マターリ】ラグビーワールドカップ2019 準々決勝「日本×南アフリカ」☆4 (409)
勢い 56812.86 39.45レス/分 実況ch > 番組ch(NHK)
【酒】ラグビーワールドカップ2019準決勝「日本vs南アフリカ」3 (881)
勢い 53566.78 37.20レス/分 実況ch > 番組ch(NHK)
【ラグビー/W杯】準々決勝 日本代表、4年前の再現ならず!南アフリカのFW陣に体力奪われ力尽き3-26で敗れる★2 (1002)
勢い 47515.26 33.00レス/分 ニュース > 芸スポ速報+
【ラグビー/W杯】準々決勝 日本代表、4年前の再現ならず!南アフリカのFW陣に体力奪われ力尽き3-26で敗れる★3 (1002)
勢い 46147.55 32.05レス/分 ニュース > 芸スポ速報+
ラグビーワールドカップ2019 準々決勝「日本×南アフリカ」☆14 (147)
勢い 42763.64 29.70レス/分 実況ch > 番組ch(NHK)
【酒】ラグビーW杯準々決勝 日本vs南アフリカ 2杯目 (676)
勢い 38834.04 26.97レス/分 実況ch > 番組ch(NHK)
【ラグビー】日本 vs 金髪 [963243619] (1001)
勢い 38217.59 26.54レス/分 雑談系2 > ニュー速(嫌儲)
【ラグビー/W杯】準々決勝 日本代表、4年前の再現ならず!南アフリカのFW陣に体力奪われ力尽き3-26で敗れる (1002)
勢い 37348.06 25.94レス/分 ニュース > 芸スポ速報+
【超マターリ】ラグビーワールドカップ2019 準々決勝「日本×南アフリカ」☆2 (473)
勢い 35723.08 24.81レス/分 実況ch > 番組ch(NHK)
【ラグビー】ジャパン×南アフリカ★4 [938941456] (1004)
勢い 34703.40 24.10レス/分 雑談系2 > ニュー速(嫌儲)
【LIVE】ラグビーW杯 準々決勝 日本×南アフリカ ベスト4をかけた闘い ★6 (1001)
勢い 33770.56 23.45レス/分 ニュース > 芸スポ速報+
ラグビーワールドカップ2019 準々決勝「ウェールズ×フランス」☆10 (513)
勢い 33552.76 23.30レス/分 実況ch > 番組ch(NTV)
【ラグビー】電通ジャパン×南アフリカ★2 [314851142] (1001)
勢い 33486.39 23.25レス/分 雑談系2 > ニュー速(嫌儲)
【決勝トーナメント】 ラグビーワールドカップ2019 【日本開催】32トライ (1001)
勢い 29700.00 20.62レス/分 雑談系2 > モ娘(狼)
NHK総合を常に実況し続けるスレ 163511 キックオフ (982)
勢い 28291.03 19.65レス/分 実況ch > 番組ch(NHK)
【LIVE】ラグビーW杯 準々決勝 日本×南アフリカ ベスト4をかけた闘い ★3 (1002)
勢い 26992.63 18.74レス/分 ニュース > 芸スポ速報+
【ラグビー】電通ジャパン×南アフリカ★3 [875850925] (1002)
勢い 26852.61 18.65レス/分 雑談系2 > ニュー速(嫌儲)
【LIVE】ラグビーW杯 準々決勝 日本×南アフリカ ベスト4をかけた闘い ★5 (1002)
勢い 26353.97 18.30レス/分 ニュース > 芸スポ速報+
【ラグビー/W杯】準々決勝 日本代表、4年前の再現ならず!南アフリカのFW陣に体力奪われ力尽き3-26で敗れる★5 (1002)
勢い 26313.92 18.27レス/分 ニュース > 芸スポ速報+
【ラグビー】日本×南アフリカ★6 3対26で大敗wwwwwwwwwwジャジャジャwwwwwwwwwwww [579392623] (1001)
勢い 26231.85 18.22レス/分 雑談系2 > ニュー速(嫌儲)
【超ウルトラスーパーマターリ】ラグビーワールドカップ2019 準々決勝「日本×南アフリカ」☆2 (580)
勢い 25924.47 18.00レス/分 実況ch > 番組ch(NHK)
ラグビーワールドカップ2019 準々決勝「日本×南アフリカ」☆5 (1002)
勢い 24934.56 17.32レス/分 実況ch > 番組ch(NHK)
【野球】日本シリーズ第2戦 H6-3G[10/20] ソフトバンク連勝!松田宣先制弾・柳田福田も1発!高橋礼7回1安打0封! 巨人継投裏目反撃遅く (1003)
勢い 23632.84 16.41レス/分 ニュース > 芸スポ速報+
広告
【決勝トーナメント】 ラグビーワールドカップ2019 【日本開催】30トライ (1002)
勢い 22592.07 15.69レス/分 雑談系2 > モ娘(狼)
【ラグビー】買収ジャパン×南アフリカ★5 [875850925] (1002)
勢い 21921.26 15.22レス/分 雑談系2 > ニュー速(嫌儲)
NHK総合を常に実況し続けるスレ 163512 フルボッコ (710)
勢い 21233.64 14.75レス/分 実況ch > 番組ch(NHK)
NHK総合を常に実況し続けるスレ 163513 スクラム (318)
勢い 20519.19 14.25レス/分 実況ch > 番組ch(NHK)
【LIVE】ラグビーW杯 準々決勝 日本×南アフリカ ベスト4をかけた闘い ★4 (1003)
勢い 19731.15 13.70レス/分 ニュース > 芸スポ速報+
【ラグビー】日本×南アフリカ★5 [938941456] (1011)
勢い 19410.51 13.48レス/分 雑談系2 > ニュー速(嫌儲)
【朝日新聞】昭和天皇を燃やす作品が「日本ヘイト」とは…自分が気に食わないから取り締まれと言うだけの暴論だ★4 (1001)
勢い 19341.38 13.43レス/分 ニュース > ニュース速報+
【沖縄】「修学旅行に行きたい」…重度障がいの中2生徒と家族、那覇市へ支援求める 市「気持ちは痛いほど分かるが...」 ★2 (1002)
勢い 19212.59 13.34レス/分 ニュース > ニュース速報+
【超ウルトラスーパーマターリ】ラグビーワールドカップ2019 準々決勝「日本×南アフリカ」☆1 (1002)
勢い 18990.36 13.19レス/分 実況ch > 番組ch(NHK)
【戦略失敗】マツダ、販売不振の理由は一体どこに? (1001)
勢い 18054.87 12.54レス/分 ニュース > ニュース速報+
【住宅】「一生賃貸ってどうですか?」で“持ち家論争”勃発 「最近の災害を考えると、高いローンを払ってまで…」と悩む声も★11 (1002)
勢い 17238.78 11.97レス/分 ニュース > ニュース速報+
【酒】ラグビーW杯準々決勝 日本vs南アフリカ (512)
勢い 17146.05 11.91レス/分 実況ch > 番組ch(NHK)
ラグビーW杯 日本 3 - 5 南アフリカ (1002)
勢い 17021.79 11.82レス/分 ニュース > ニュース速報
【朝日新聞】昭和天皇を燃やす作品が「日本ヘイト」とは…自分が気に食わないから取り締まれと言うだけの暴論だ★2 (1002)
勢い 17010.66 11.81レス/分 ニュース > ニュース速報+
【ラグビー/W杯】準々決勝 日本代表、4年前の再現ならず!南アフリカのFW陣に体力奪われ力尽き3-26で敗れる★6 (1002)
勢い 16709.67 11.60レス/分 ニュース > 芸スポ速報+
【名無し奥も○○奥も】気楽に井戸端会議6182【みんな来い】 (1001)
勢い 15817.32 10.98レス/分 カテゴリ雑談 > 既婚女性
【住宅】「一生賃貸ってどうですか?」で“持ち家論争”勃発 「最近の災害を考えると、高いローンを払ってまで…」と悩む声も★6 (1002)
勢い 15754.83 10.94レス/分 ニュース > ニュース速報+
ニワカが通ぶってラグビーWC 日本vs南アルプス (827)
勢い 15666.04 10.88レス/分 実況ch > 番組ch(NHK)
巨人若大将3752 (1002)
勢い 15658.72 10.87レス/分 雑談系2 > モ娘(狼)
【武蔵小杉】タワマン停電、復旧のメド立たず ★15 (1003)
勢い 15042.40 10.45レス/分 ニュース > ニュース速報+
【住宅】「一生賃貸ってどうですか?」で“持ち家論争”勃発 「最近の災害を考えると、高いローンを払ってまで…」と悩む声も★14 (1003)
勢い 14855.49 10.32レス/分 ニュース > ニュース速報+
【マターリ】ラグビーワールドカップ2019 準々決勝「日本×南アフリカ」☆2 (490)
勢い 14797.62 10.28レス/分 実況ch > 番組ch(NHK)
【超マターリ】ラグビーワールドカップ2019 準々決勝「日本×南アフリカ」☆4 (42)
勢い 14515.20 10.08レス/分 実況ch > 番組ch(NHK)
【ラグビー/W杯】準々決勝 残り6分でウェールズが執念の逆転トライ!20-19でフランス下し2大会ぶり準決勝進出 (1002)
勢い 14335.62 9.96レス/分 ニュース > 芸スポ速報+
造語症スレ (1002)
勢い 14302.46 9.93レス/分 家電製品 > 携帯電話ゲー
【沖縄】「修学旅行に行きたい」…重度障がいの中2生徒と家族、那覇市へ支援求める 市「気持ちは痛いほど分かるが...」 ★5 (1003)
勢い 13814.10 9.59レス/分 ニュース > ニュース速報+
【住宅】「一生賃貸ってどうですか?」で“持ち家論争”勃発 「最近の災害を考えると、高いローンを払ってまで…」と悩む声も★7 (1002)
勢い 13655.02 9.48レス/分 ニュース > ニュース速報+
【沖縄】「修学旅行に行きたい」…重度障がいの中2生徒と家族、那覇市へ支援求める 市「気持ちは痛いほど分かるが...」 ★3 (1002)
勢い 13615.90 9.46レス/分 ニュース > ニュース速報+
【社会】池袋暴走・飯塚容疑者の“態度”に怒声殺到!「人の命って何なの?」 ★2 (1002)
勢い 13599.73 9.44レス/分 ニュース > ニュース速報+
広告
【武蔵小杉】タワマン停電、復旧のメド立たず ★13 (1003)
勢い 13029.78 9.05レス/分 ニュース > ニュース速報+
【LIVE】ラグビーW杯 準々決勝 日本×南アフリカ ベスト4をかけた闘い ★2 (1002)
勢い 12721.94 8.83レス/分 ニュース > 芸スポ速報+
【朝日新聞】昭和天皇を燃やす作品が「日本ヘイト」とは…自分が気に食わないから取り締まれと言うだけの暴論だ★6 (1004)
勢い 12503.91 8.68レス/分 ニュース > ニュース速報+
【武蔵小杉】タワマン停電、復旧のメド立たず ★16 (1006)
勢い 12491.57 8.67レス/分 ニュース > ニュース速報+
【ラグビー/W杯】準々決勝 日本代表、4年前の再現ならず!南アフリカのFW陣に体力奪われ力尽き3-26で敗れる★7 (1002)
勢い 12272.73 8.52レス/分 ニュース > 芸スポ速報+
【名無し奥も○○奥も】気楽に井戸端会議6180【みんな来い】 (1001)
勢い 12271.06 8.52レス/分 カテゴリ雑談 > 既婚女性
【八ッ場ダム】朝日新聞が紹介する「私はダム推進派でも反対派でもない」と語る今本博健氏、バリバリのダム反対派だとバレる (1001)
勢い 11724.58 8.14レス/分 ニュース > ニュース速報+
【岡山】右折しようとした軽自動車を追い越そうとして…オートバイの59歳男性死亡 (1004)
勢い 11520.00 8.00レス/分 ニュース > ニュース速報+
肴27671 (657)
勢い 11294.23 7.84レス/分 ネット関係 > 難民
【武蔵小杉】タワマン停電、復旧のメド立たず ★14 (1007)
勢い 11242.34 7.81レス/分 ニュース > ニュース速報+
【森ゆう子議員】事前通告漏えい 野党が事前通告とりやめへ 官僚の無駄な残業も減るし万々歳だな [734796133] (1001)
勢い 11228.39 7.80レス/分 雑談系2 > ニュー速(嫌儲)
【住宅】「一生賃貸ってどうですか?」で“持ち家論争”勃発 「最近の災害を考えると、高いローンを払ってまで…」と悩む声も★15 (1002)
勢い 11146.44 7.74レス/分 ニュース > ニュース速報+
巨人若大将3753 (1001)
勢い 11026.93 7.66レス/分 雑談系2 > モ娘(狼)
【ユニクロ】百田尚樹氏「気分悪いな。もうユニクロで服を買うのはやめるわ」 (1004)
勢い 10969.35 7.62レス/分 ニュース > 芸スポ速報+
【ゴミだと思った】ホテルに預けた荷物、勝手に開封し捨てられる 宿泊客激怒...両者の主張は? ★10 (1001)
勢い 10962.21 7.61レス/分 ニュース > ニュース速報+
【社会】「働く妻」と「専業主婦」どちらの幸福度が高いか (1002)
勢い 10928.85 7.59レス/分 ニュース > ニュース速報+
【住宅】「一生賃貸ってどうですか?」で“持ち家論争”勃発 「最近の災害を考えると、高いローンを払ってまで…」と悩む声も★12 (1002)
勢い 10896.50 7.57レス/分 ニュース > ニュース速報+
【ラグビー】「日本はこれから強くなる」リーチ主将 ラグビーW杯 日本4強ならず (1002)
勢い 10801.38 7.50レス/分 ニュース > 芸スポ速報+
【ゴミだと思った】ホテルに預けた荷物、勝手に開封し捨てられる 宿泊客激怒...両者の主張は? ★9 (1001)
勢い 10722.14 7.45レス/分 ニュース > ニュース速報+
【ラグビー】日本×南アフリカ★7 3対26で大敗wwwwwwwwwwジャジャジャwwwwwwwwwwww [579392623] (1002)
勢い 10674.82 7.41レス/分 雑談系2 > ニュー速(嫌儲)
審判にいくら払ったの? (49)
勢い 10637.19 7.39レス/分 実況ch > 番組ch(NHK)
【沖縄】「修学旅行に行きたい」…重度障がいの中2生徒と家族、那覇市へ支援求める 市「気持ちは痛いほど分かるが...」 ★4 (1008)
勢い 10553.56 7.33レス/分 ニュース > ニュース速報+
【ラグビー/W杯】準々決勝 日本代表、4年前の再現ならず!南アフリカのFW陣に体力奪われ力尽き3-26で敗れる★9 (85)
勢い 10551.72 7.33レス/分 ニュース > 芸スポ速報+
【武蔵小杉】タワマン停電、復旧のメド立たず ★12 (1003)
勢い 10302.81 7.15レス/分 ニュース > ニュース速報+
【住宅】「一生賃貸ってどうですか?」で“持ち家論争”勃発 「最近の災害を考えると、高いローンを払ってまで…」と悩む声も★13 (1001)
勢い 10272.46 7.13レス/分 ニュース > ニュース速報+
【住宅】「一生賃貸ってどうですか?」で“持ち家論争”勃発 「最近の災害を考えると、高いローンを払ってまで…」と悩む声も★8 (1002)
勢い 10173.13 7.06レス/分 ニュース > ニュース速報+
【芸能】ホリエモン、武蔵小杉タワマン被害で「地名に川とか沼とか谷とか。リスクはすごくある」 (203)
勢い 10155.88 7.05レス/分 ニュース > 芸スポ速報+
Jざつ 1080 (1001)
勢い 10043.14 6.97レス/分 ネット関係 > 難民
親子連れがレストランでパスタのみ注文→イキりパス太郎「何しに来た?身の丈に合った店行けよ!」★21 (1003)
勢い 9871.80 6.86レス/分 ニュース > ニュース速報
広告
【自信】今週の鉄板レース2877【確信】 (1002)
勢い 9625.08 6.68レス/分 ギャンブル > 競馬
【ゴミだと思った】ホテルに預けた荷物、勝手に開封し捨てられる 宿泊客激怒...両者の主張は? ★11 (1001)
勢い 9602.50 6.67レス/分 ニュース > ニュース速報+
【日本シリーズ見たら】ももいろクローバーZ潜入捜査官15078【→ももくら→寝る】 (1001)
勢い 9540.85 6.63レス/分 雑談系2 > モ娘(狼)
【名無し奥も○○奥も】気楽に井戸端会議6183【みんな来い】 (1002)
勢い 9397.83 6.53レス/分 カテゴリ雑談 > 既婚女性
ラグビー日本代表 パート375 (291)
勢い 9395.52 6.52レス/分 球技 > ラグビー
【福島第一原発事故】 “土から放射性物質 取り除いて” 農家の訴え→裁判長「土と同化しているので東電の管理下ではない」 (1004)
勢い 9349.73 6.49レス/分 ニュース > ニュース速報+
実質14397 (1002)
勢い 9244.44 6.42レス/分 ネット関係 > 難民
【武蔵小杉】タワマン停電、復旧のメド立たず ★17 (1002)
勢い 9226.91 6.41レス/分 ニュース > ニュース速報+
【住宅】「一生賃貸ってどうですか?」で“持ち家論争”勃発 「最近の災害を考えると、高いローンを払ってまで…」と悩む声も★10 (1002)
勢い 9040.36 6.28レス/分 ニュース > ニュース速報+
【戦略失敗】マツダ、販売不振の理由は一体どこに?★2 (1002)
勢い 8868.81 6.16レス/分 ニュース > ニュース速報+
肴27670 (1002)
勢い 8735.90 6.07レス/分 ネット関係 > 難民
☆「お客様のアカウントはWindows HelloのPinが必要です」これめっちゃうっとおしい 地下売上議論24060★ (980)
勢い 8583.94 5.96レス/分 雑談系2 > モ娘(狼)
ラグビー日本代表 part373 (1002)
勢い 8485.03 5.89レス/分 球技 > ラグビー
【朝日新聞】ネットやテレビ雑誌などで嫌韓が広がっている。事実に基づかず韓国を面白おかしく叩く現象が何故生まれているのだろうか★3 (1001)
勢い 8475.74 5.89レス/分 世界情勢 > 東アジアnews+
■ 山木・森戸・小関・船木 ■ ラジオ日本 『カントリー・ガールズの只今ラジオ放送中!!』【第235回】 ■ 24:30〜25:00 ■ (540)
勢い 8368.79 5.81レス/分 雑談系2 > モ娘(狼)
【住宅】「一生賃貸ってどうですか?」で“持ち家論争”勃発 「最近の災害を考えると、高いローンを払ってまで…」と悩む声も★5 (1002)
勢い 8357.86 5.80レス/分 ニュース > ニュース速報+
【住宅】「一生賃貸ってどうですか?」で“持ち家論争”勃発 「最近の災害を考えると、高いローンを払ってまで…」と悩む声も★17 (370)
勢い 8303.38 5.77レス/分 ニュース > ニュース速報+
ラグビーW杯 日本 3 - 26 南アフリカ (1002)
勢い 8267.07 5.74レス/分 ニュース > ニュース速報
【朝日新聞】ネットやテレビ雑誌などで嫌韓が広がっている。事実に基づかず韓国を面白おかしく叩く現象が何故生まれているのだろうか★2 (1001)
勢い 8249.37 5.73レス/分 世界情勢 > 東アジアnews+
【NHK】ラグビーW杯2019準々決勝日本vs南アフリカ【実況】 Part.2 (161)
勢い 8231.01 5.72レス/分 雑談系2 > ニュー速VIP
ラグビーW杯 日本、南アフリカに敗北 (1005)
勢い 8217.86 5.71レス/分 ニュース > ニュース速報
Jざつ 1082 (1001)
勢い 7935.26 5.51レス/分 ネット関係 > 難民
【闘球】ラグビー総合実況スレ10.20 Vol.15 (1002)
勢い 7918.49 5.50レス/分 実況ch > スポーツch
マシュ・キムラユイト (1001)
勢い 7883.90 5.47レス/分 家電製品 > 携帯電話ゲー
【武蔵小杉】タワマン停電、復旧のメド立たず ★18 (1003)
勢い 7879.86 5.47レス/分 ニュース > ニュース速報+
BTSの雑談スレ1706 (1002)
勢い 7875.07 5.47レス/分 ネット関係 > 難民
アイドルマスターシンデレラガールズ愚痴スレ4828 (1001)
勢い 7869.55 5.46レス/分 雑談系2 > 最悪
【お願い。女性隊員だけでも】コンビニトイレ使わせて! 過去に批判も...防衛省が「お願い」★3 (1002)
勢い 7859.67 5.46レス/分 ニュース > ニュース速報+
【超マターリ】ラグビーワールドカップ2019 準々決勝「日本×南アフリカ」☆1 (293)
勢い 7813.33 5.43レス/分 実況ch > 番組ch(NHK)
広告
【東京五輪】マラソン会場変更案に都民から反対の声「東京でマラソンを見たい」「都の税金が無駄になる」「チケットの払い戻しは」★11 (1003)
勢い 7592.91 5.27レス/分 ニュース > ニュース速報+
【芸能】ともさかりえ、「金田一」当時に誹謗中傷「本当に本当に苦しんだ。いま元気に生きていられて良かった」 (1001)
勢い 7532.02 5.23レス/分 ニュース > 芸スポ速報+
知的で優しかった父が晩年ネトウヨに。部屋には嫌韓の文字、ネットで隣国を叩く姿が見られた。 (1002)
勢い 7509.54 5.21レス/分 ニュース > ニュース速報
【ラグビーWC日本vs南アフリカ】なんJVYouTuber部 250 (870)
勢い 7457.14 5.18レス/分 実況ch > なんでも実況U
【闘球】ラグビー総合実況スレ10.20 Vol.14 (1002)
勢い 7452.25 5.18レス/分 実況ch > スポーツch
肴27666 (1001)
勢い 7439.69 5.17レス/分 ネット関係 > 難民
親子連れがレストランでパスタのみ注文→イキりパス太郎「何しに来たの?身の丈に合った店行けよ」★18 (1002)
勢い 7419.04 5.15レス/分 ニュース > ニュース速報
☆【画像】6414 (1002)
勢い 7402.55 5.14レス/分 ネット関係 > 難民
【野球】<阪神・鳥谷敬>「プロ野球選手のだいご味はお金」「柔道はもうからない。野球はお金持ちになれる。それで野球を選びました」 (1001)
勢い 7391.80 5.13レス/分 ニュース > 芸スポ速報+
【台風速報】台風20号「ノグリー」台風21号「ブアローイ」がともに北上中。日本へ影響の恐れ。10月20日6:53 (1007)
勢い 7302.47 5.07レス/分 ニュース > ニュース速報+
【芸能】 ネットで芸能人へ誹謗中傷はOUT! 弁護士 「発信者情報開示請求と刑事告訴や民事訴訟提起によって個人特定されます」 (1002)
勢い 7293.41 5.06レス/分 ニュース > 芸スポ速報+
移籍・レンタル・戦力外「ら」スレPart12355 (428)
勢い 7200.00 5.00レス/分 球技 > 国内サッカー
ラグビー日本代表 パート374 (1003)
勢い 7184.52 4.99レス/分 球技 > ラグビー
【宅建士】宅地建物取引士673【けだしだけ】 (1014)
勢い 7126.23 4.95レス/分 会社・職業 > 資格全般
喪失感・孤独から人はネトウヨ化するらしい では全てを喪失し孤独に喘ぐケンモメンがネトウヨ化しないのは一体何故か? [846353591] (1001)
勢い 7120.26 4.94レス/分 雑談系2 > ニュー速(嫌儲)
Jざつ 1079 (1002)
勢い 7083.36 4.92レス/分 ネット関係 > 難民
【アズレン】アズールレーン Part4228 (1001)
勢い 7033.06 4.88レス/分 家電製品 > スマホアプリ
【闘球】ラグビー総合実況スレ10.20 Vol.13 (1002)
勢い 7009.94 4.87レス/分 実況ch > スポーツch
【エロ目線】 プリンセス駅伝2019★2 (39)
勢い 6990.87 4.85レス/分 実況ch > 番組ch(TBS)
【まる子】ももいろクローバーZ潜入捜査官15077【→ももくら→寝る】 (1004)
勢い 6985.60 4.85レス/分 雑談系2 > モ娘(狼)
【ラグビー】<NZ伝統のハカの声を消され場内は騒然>「一方だけが行うのは不公平」の声は根強く、特にアイルランドは否定的 ★2 (1001)
勢い 6928.92 4.81レス/分 ニュース > 芸スポ速報+
☆ジャップvs南アフリカ 地下売上議論24059★ (1001)
勢い 6925.96 4.81レス/分 雑談系2 > モ娘(狼)
工藤遥完全終了のお知らせ (258)
勢い 6880.00 4.78レス/分 雑談系2 > モ娘(狼)
親子連れがレストランでパスタのみ注文→イキりパス太郎「何しに来た?身の丈に合った店行けよ!」★19 (1002)
勢い 6840.00 4.75レス/分 ニュース > ニュース速報
親子連れがレストランでパスタのみ注文→イキりパス太郎「何しに来た?身の丈に合った店行けよ!」★22 (223)
勢い 6774.68 4.70レス/分 ニュース > ニュース速報
ラグビーワールドカップ2019 準々決勝「日本×南アフリカ」☆22 (11)
勢い 6740.43 4.68レス/分 実況ch > 番組ch(NHK)
別館★羽生結弦&オタオチスレ13485 (911)
勢い 6731.41 4.67レス/分 ネット関係 > 難民
【ゴミだと思った】ホテルに預けた荷物、勝手に開封し捨てられる 宿泊客激怒...両者の主張は? ★8 (1002)
勢い 6685.84 4.64レス/分 ニュース > ニュース速報+
【朝日新聞】ネットやテレビや雑誌などで嫌韓が広がっている。事実に基づかず韓国を面白おかしく叩く現象が何故生まれているのだろうか (1002)
勢い 6647.17 4.62レス/分 世界情勢 > 東アジアnews+
広告
星雑part.139 (1001)
勢い 6598.99 4.58レス/分 ネット関係 > 難民
【東京五輪】マラソン会場変更案に都民から反対の声「東京でマラソンを見たい」「都の税金が無駄になる」「チケットの払い戻しは」★12 (1002)
勢い 6587.54 4.57レス/分 ニュース > ニュース速報+
【闘球】ラグビー総合実況スレ10.20 Vol.12 (1002)
勢い 6583.48 4.57レス/分 実況ch > スポーツch
【原巨人】読売ジャイアンツ897 (297)
勢い 6571.27 4.56レス/分 球技 > プロ野球
【Androidスマホ】中国OPPOスマホの「ColorOS」 データ自動削除機能によりユーザー阿鼻叫喚 (1003)
勢い 6444.13 4.48レス/分 ニュース > ニュース速報+
実質14396 (1002)
勢い 6437.12 4.47レス/分 ネット関係 > 難民
【ジャスコ】#岡田克也 議員、高まる民主党批判に「ならば全てスーパー堤防にして全部ダムを造ればいい」と発言。大炎上 (656)
勢い 6425.39 4.46レス/分 ニュース > ニュース速報+
【韓国SBS】嫌韓デモは減少したが・・・裏で『反韓』煽る日本のマスコミ[10/20] (1002)
勢い 6376.26 4.43レス/分 世界情勢 > 東アジアnews+
10/20(日) 第80回菊花賞(G?) part6 (1001)
勢い 6376.01 4.43レス/分 ギャンブル > 競馬
肴27663 (1002)
勢い 6362.18 4.42レス/分 ネット関係 > 難民
厳守転載禁止*子市非化利662* (1002)
勢い 6293.61 4.37レス/分 ネット関係 > 難民
【mobage】アイドルマスターシンデレラガールズ26608人目 (626)
勢い 6256.38 4.34レス/分 家電製品 > 携帯電話ゲー
【闘球】ラグビー総合実況スレ10.20 Vol.11 (1002)
勢い 6252.55 4.34レス/分 実況ch > スポーツch
肴27669 (1001)
勢い 6218.02 4.32レス/分 ネット関係 > 難民
【朝日新聞】昭和天皇を燃やす作品が「日本ヘイト」とは…自分が気に食わないから取り締まれと言うだけの暴論だ★3 (1001)
勢い 6171.43 4.29レス/分 ニュース > ニュース速報+
【ラグビー】<W杯特需に期待せざるを得ない日本ラグビー界のお寒い事情>「若者があまり騒がないので大衆性がないと言ってもいい」 (1002)
勢い 6135.98 4.26レス/分 ニュース > 芸スポ速報+
【悲報】 女さん、献血ボイコットを呼びかけ 「献血を考えている方、女性の権利のために思いとどまって下さい!」 [701470346] (1001)
勢い 6044.78 4.20レス/分 雑談系2 > ニュー速(嫌儲)
☆全裸で決戦に備える 地下売上議論24058★ (1001)
勢い 6034.31 4.19レス/分 雑談系2 > モ娘(狼)
Jr.総合ファンスレPart2118 (1001)
勢い 6022.31 4.18レス/分 芸能 > ジャニーズJr
水槽のエビさん死にそう助けて! (269)
勢い 5996.28 4.16レス/分 雑談系2 > ニュー速VIP
【福島第一原発事故】 “土から放射性物質 取り除いて” 農家の訴え→裁判長「土と同化しているので東電の管理下ではない」 ★2 (790)
勢い 5991.57 4.16レス/分 ニュース > ニュース速報+
【サッカー】久保建英が途中出場でマジョルカ金星に貢献。レアル初黒星で首位はバルセロナに (1002)
勢い 5950.40 4.13レス/分 ニュース > 芸スポ速報+
【闘球】ラグビー総合実況スレ10.20 Vol.10 (1002)
勢い 5923.56 4.11レス/分 実況ch > スポーツch
さくら学院☆3014時間目 (1001)
勢い 5920.41 4.11レス/分 雑談系2 > モ娘(狼)
実質14398 (1002)
勢い 5919.51 4.11レス/分 ネット関係 > 難民
【ミリシタ】アイドルマスターミリオンライブ! シアターデイズ Part2639 (768)
勢い 5878.38 4.08レス/分 家電製品 > スマホアプリ
出禁厳守※男闘呼米66産 (1001)
勢い 5868.26 4.08レス/分 ネット関係 > 難民
☆【画像】6413 (1002)
勢い 5846.75 4.06レス/分 ネット関係 > 難民
【ドイツ】犬、猫、猿などに「暴力的な」動物実験…「犬は殺されるために檻から出されても尻尾を振っていた」 (1002)
勢い 5844.27 4.06レス/分 ニュース > ニュース速報+

カテゴリランキング

ページのトップへ戻る