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

**デフォルトの名無しさん** · 2020/02/10(月) 18:17:36.49

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

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

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

**デフォルトの名無しさん** · 2020/04/26(日) 10:22:30.54

>>271
そう言うこと。

でもIOは実質なんでもできちゃうから、かなり不安だよね。
もっとeffectを安全に取り扱いたいよね。
その解のひとつがPolysemyだよ、という話しだ。

>>270
PolysemyのブログPart1を読んで思うところがその嘲笑だけなら、
英語ドキュメントの読解にはちょっと向かないかな。

**デフォルトの名無しさん** · 2020/04/26(日) 11:39:57.10

ブログを観る限り素人の書いたクソ記事だな
読む価値なし

**デフォルトの名無しさん** · 2020/04/26(日) 14:00:45.22

この毒舌が日本の平常運転

**デフォルトの名無しさん** · 2020/04/26(日) 14:32:48.40

Haskellの玄人って研究者とか？

**デフォルトの名無しさん** · 2020/04/26(日) 17:02:22.77

このスレ住人のことだよ

**デフォルトの名無しさん** · 2020/04/27(月) 14:12:58.96

「Prelude>:browse」の実行結果をテキストファイルにリダイレクトする方法
browse.hsという名前のファイルに:browseを記入して保存
保存したファイルのあるディレクトリでコマンドプロンプトを立ち上げて以下を実行
stack ghci < browse.hs > browse.txt

Redirecting Haskell GHCi output to text file [duplicate]
https://stackoverflow.com/questions/14688119/redirecting-haskell-ghci-output-to-text-file

**デフォルトの名無しさん** · 2020/04/27(月) 17:47:14.78

このスレで延々と副作用やモナドの話ばかりされてるのなんか既視感があると思ったら、物理学板の相対論スレでポアンカレ群やリーマン幾何の話は一切せず
モノの本で読んだようなマイケルソン・モーレイの実験の話に関する持論をひたすら展開して相対論は間違ってる！って騒いでる連中に似てる

**デフォルトの名無しさん** · 2020/04/27(月) 17:48:43.80

相対性理論も量子力学もどっちも間違ってる

**デフォルトの名無しさん** · 2020/04/27(月) 18:04:41.79

まあ副作用やモナドに関する理解の甘さは初心者にありがちだからな

**デフォルトの名無しさん** · 2020/04/27(月) 19:40:47.96

最新 stack で 7.8.4 をセットアップしようとしたら realgcc.exe を使おうとしてコケる
新しい GHC にはあるみたいだけど古い GHC には mingw\bin に存在しないようだ
なのに使おうとしている
なぜ古いのを入れようとしてるかというと競プロサイトのGHCが古いからだ
最新版で通るコードが向こうで弾かれたりして苛ついたから、じゃあそっちの環境で通るコードを提出してやるよとなってインストールを試みたのだ
スタックで古いバージョンのセットアップに自身ニキ、助けて

**デフォルトの名無しさん** · 2020/04/27(月) 21:15:06.74

静的型付けの話は一切せず
実行時の振る舞いに関する持論をひたすら展開してモナドがーって

これ半分オブジェクト指向だよ
型はオブジェクトではないから型の話を一切しないんだよ

**デフォルトの名無しさん** · 2020/04/27(月) 22:39:13.77

相対論スレもHaskellスレ同様に荒らされてるの？

**デフォルトの名無しさん** · 2020/04/28(火) 00:09:34.24

>>281
複数のバージョンを使い分けたいのなら、
Windowsは向かないと思います。

あくせくしてゴチャゴチャになるくらいなら、
さっさと仮想環境にlinux入れてそっちで環境構築した方が
楽で早いのではないでしょうか。

**デフォルトの名無しさん** · 2020/04/28(火) 00:20:49.19

Haskellは何でああも副作用を嫌うの？

**デフォルトの名無しさん** · 2020/04/28(火) 00:24:10.18

>>285
だから嫌ってない…

**デフォルトの名無しさん** · 2020/04/28(火) 01:57:21.75

>>285
嫌うという表現は置いておくとして、
純粋関数と副作用の伴う関数とをあれほど切り分けたがるのは、
その方がメンテし易いというのが大きな理由の一つだと思う。

**デフォルトの名無しさん** · 2020/04/28(火) 12:53:37.93

よしわかった。ならばWSL Ubuntu を導入だ。stackをインストールし、古すぎるので最新版stackに替え、stack setup 7.8.4

The GHC located at /home/devlin/.stack/programs/x86_64-linux/ghc-7.8.4/bin/ghc-7.8.4 failed to compile a sanity check. Please see:

http://docs.haskellstack.org/en/stable/install_and_upgrade/

for more information. Exception was:
Received ExitFailure 1 when running
Raw command: /home/devlin/.stack/programs/x86_64-linux/ghc-7.8.4/bin/ghc-7.8.4 /tmp/stack-sanity-check47/Main.hs -no-user-package-db
Run from: /tmp/stack-sanity-check47/
Standard output:

[1 of 1] Compiling Main ( /tmp/stack-sanity-check47/Main.hs, /tmp/stack-sanity-check47/Main.o )
Linking /tmp/stack-sanity-check47/Main ...
Standard error:

/usr/bin/ld: -lgmp a??e|?a??a??a??a??a???
collect2: error: ld returned 1 exit status

神はどうあっても試練を与えようというあああああ！！！！

**デフォルトの名無しさん** · 2020/04/28(火) 17:08:37.94

言語仕様はHaskellでもいいけど実装は、電池が入ってるインタプリタがいい
コンパイラをコンパイルするのも、ネットのサービス終了も嫌だ

**デフォルトの名無しさん** · 2020/04/28(火) 22:24:50.85

F#ならスクリプト使えるよー
モナドの代わりにコンピューテーション式も使えるよ
副作用も使いまくりだよー
ライブラリーは.NETつかえるよー
GUIはちょっと苦手　でも、ワンレンボディコンのボインちゃん

シャッチョサン、シャッチョサン
シャッチョさんのことだからまけにまけて０円　　もってけどろぼー

**デフォルトの名無しさん** · 2020/04/28(火) 22:37:15.08

よし採用

**デフォルトの名無しさん** · 2020/04/29(水) 06:50:08.19

Elmっているこ？いらんこ？

**デフォルトの名無しさん** · 2020/04/29(水) 07:13:41.98

分からん
purescriptとかどうなんだろ

**デフォルトの名無しさん** · 2020/04/29(水) 09:16:57.44

agdaをjsにコンパイルするのはどうなの？

**デフォルトの名無しさん** · 2020/04/29(水) 09:36:37.62

F#スレ落ちてるね

**デフォルトの名無しさん** · 2020/04/29(水) 10:44:15.44

奴は四天王の中でも最弱

**デフォルトの名無しさん** · 2020/04/29(水) 10:47:45.94

5chごときにスレが立たないとは
魔族の面汚しよ・・・

**デフォルトの名無しさん** · 2020/04/29(水) 15:25:39.64

>>288
漏れは、Windows 10, WSL, Ubuntu 18.04 で、
Linux側には、日本人が作った、バージョンマネージャーのanyenv で、rbenv, nodenv を使って、
ruby 2.6.6, node 12.16.2 を入れた

yarn は、Windows側に入れて、WSL から、拡張子なしのyarn コマンドを呼べる。
これは、#!/bin/sh で始まるシェルスクリプト

Windows側で、VSCode の拡張機能、Remote WSLも使う

Haskell のhsenv は、使えないのか？

**298** · 2020/04/29(水) 15:39:17.08

ちなみに、Ruby on Rails の場合、コンパイルに必要なパッケージは、

sudo apt-get update
してから、

sudo apt install -y build-essential

build-essential には、
gcc(GNU C compiler), g++(GNU C++ compiler), libc6-dev(GNU C Library), make などが入っています

次に、openssl, readline, zlib のパッケージをインストールします。
sudo apt-get install -y libssl-dev libreadline-dev zlib1g-dev

データベースの、libsqlite3-dev, sqlite3 をインストールします。
sudo apt-get install -y libsqlite3-dev sqlite3

**デフォルトの名無しさん** · 2020/04/29(水) 15:47:47.21

的はずれなのでやめて

**デフォルトの名無しさん** · 2020/04/29(水) 15:50:08.55

-lgmpができないならlibgmp-devをインストールすればいい

**デフォルトの名無しさん** · 2020/04/30(木) 17:28:15.60

>>298-299
んにゃぴ・・・んまぁ、そう、よくわかんなかったです

>>300
それでようやく原因が判りました
Stack no longer supports Cabal versions below 1.19.2,
but version 1.18.1.5 was found.
This invocation will most likely fail.
To fix this, either use an older version of Stack or a newer resolver
Acceptable resolvers: lts-3.0/nightly-2015-05-05 or later
stack will use a sandboxed GHC it installed
For more information on paths, see 'stack path' and 'stack exec env'
To use this GHC and packages outside of a project, consider using:
stack ghc, stack ghci, stack runghc, or stack exec

7.8.4 のCabal は 1.18.1.5 であるんですが、最新版 stack は 1.19.2 以降のCabal しか対応しない
というわけで諦めました。いうほど 7.8.4 使いたいかって気分になってきて、エラー出たらその都度古いコードに書き直せばいいじゃんってなったんで
このイシューは閉じます。ありがとうございました。

**デフォルトの名無しさん** · 2020/04/30(木) 17:28:45.70

>>300じゃなくて>>301だった

**デフォルトの名無しさん** · 2020/05/02(土) 07:49:02.53

cabalってカバルじゃなくカボールなんだな

**デフォルトの名無しさん** · 2020/05/02(土) 09:29:59.76

haskellのライブラリ管理ツールはずっとクソ。
pythonのも大概だけど、haskellはそれを遥かに凌ぐレベルでくそ。

**デフォルトの名無しさん** · 2020/05/02(土) 12:12:56.17

そろそろocamlの時代じゃねーか？

**デフォルトの名無しさん** · 2020/05/02(土) 12:50:23.34

ライブラリ管理ツールって何をするためのモノなんだ？
ユーザーから何を期待されてるんだ？

**デフォルトの名無しさん** · 2020/05/02(土) 13:54:24.62

シェルスクリプトで管理ではなく
そろそろxmlとかyamlとかの時代を期待されてる説

**デフォルトの名無しさん** · 2020/05/04(月) 03:20:08.08

待ち遠しい「Algorithm Design　with鵫askell」
https://www.cambridge.org/core/books/algorithm-design-with-haskell/824BE0319E3762CE8BA5B1D91EEA3F52

**デフォルトの名無しさん** · 2020/05/04(月) 16:45:39.46

ocamlはせっかく盛り返してたのに失言でだいなし

**デフォルトの名無しさん** · 2020/05/04(月) 23:50:02.51

どんな失言？

**デフォルトの名無しさん** · 2020/05/05(火) 13:49:22.34

haskellにライブラリ管理ツールなんて無いよね？

**デフォルトの名無しさん** · 2020/05/06(水) 22:37:05.49

釧路湿原

**デフォルトの名無しさん** · 2020/05/07(木) 10:57:00.07

書籍「関数プログラミング珠玉のアルゴリズムデザイン」で分からない所があります。

2ページ目3行目
xsに含まれない最小の数は、filter (<= n) xs に含まれない最小の数ということになる。

ここで < ではなく、<= なのは何故でしょうか。
< を使って条件を厳しくしても、

xs = [0], n = 1 ===> filter (<n) xs = [0]
　　[0] に含まれない最小数 = 1
xs = [1], n = 1 ===> filter (<n) xs = []
　　[] に含まれない最小数 = 0

このように問題無いように思えます。

**デフォルトの名無しさん** · 2020/05/07(木) 16:47:46.68

事実を述べているだけに見えるが
何故あの事実ではなくこの事実を切り取ったのかを知りたがるのが面白い

**デフォルトの名無しさん** · 2020/05/07(木) 17:22:10.29

>>314
その直前に

[0..(length xs)] の範囲にある数の少なくとも1つはxsに含まれていない

とあるので(鳩の巣原理)、その自然な帰結として

length xs より大きい数は、たとえxsに含まれていたとしても探索の対象にする必要はない

ということで filter (<= n) xs (where n = length xs) が出てくるのだと思う
そこで filter (<n) xs では意味がわからない(自明ではない)

**デフォルトの名無しさん** · 2020/05/08(金) 15:02:16.95

仕事でhaskell使ってる人いる？

**デフォルトの名無しさん** · 2020/05/08(金) 17:29:16.16

>>309
表紙すごい買う気失わせる感じだけどほしいな
かむｂりぷｂのだーたアルゴリは名著多いし面白いのだといいな(´・ω・｀)

**デフォルトの名無しさん** · 2020/05/08(金) 18:31:16.41

>>317
使ってないけど、富士通かな？
川崎の案件で募集してたぞ。

**デフォルトの名無しさん** · 2020/05/09(土) 06:20:07.12

>>319
金融系？

**デフォルトの名無しさん** · 2020/05/10(日) 01:20:32.76

>>316
理解できました。
ありがとうございました。

**デフォルトの名無しさん** · 2020/05/22(金) 10:43:13.79

https://wiki.haskell.org/Pronunciation
>Below are some notes for beginners on how to pronounce those strange Haskell operators and 'read' Haskell programs.

>>317
https://mevius.5ch.net/test/read.cgi/tech/1548720347/925-

**デフォルトの名無しさん** · 2020/05/23(土) 00:35:45.46

次のように、一つのモナドを遅延的に無限に評価できる関数 repM は定義できるでしょうか？

repM :: (Monad) => m a -> m [a]

xs <- repM (return 1)
print $ take 3 xs -- [1, 1, 1]

ys <- take 2 <$> repM (return 1)
print ys -- [1, 1]

**デフォルトの名無しさん** · 2020/05/23(土) 01:33:43.85

>>323
コレは？

repMsub x = return(repeat x)
repM x = x>>=repMsub

main = do
xs<-repM (return 1)
print $ take 3 xs

**デフォルトの名無しさん** · 2020/05/23(土) 01:44:01.25

あ、コッチの方がかっこいいのか？
でも可読性を犠牲にしだすとperlみたいになるから良くない？

repM = (>>=(return.repeat))

**デフォルトの名無しさん** · 2020/05/23(土) 01:56:13.86

>>324
>>325
それはひとつのモナドを3回評価しているのではなく、
ひとつのモナドの中の値を3回評価しているのではないでしょうか？

例えば repM (getLine >>= print) を評価すると、
1回しか getLine >>= print を評価しません。

ちなみに、IOモナドに限れば unsafeInterleaveIO 関数が使えます。
また、リストではなくいわゆるストリームなら出来ました。
ですが今はモナド全般に適用でき、リストのモナドを返す関数を求めています。

**デフォルトの名無しさん** · 2020/05/23(土) 02:01:15.20

>>324
すいません。
補足です。

a <- take 3 <$> repM (getLine >>= print) を評価すれば、
3回の副作用 getLine >>= print が実行され、
a は [(), (), ()] を束縛していて欲しいのです。

**デフォルトの名無しさん** · 2020/05/23(土) 12:08:02.84

module Main where

import Control.Monad.IO.Class (MonadIO, liftIO)
import Control.Monad.Trans (lift)
import Data.Conduit (ConduitT, runConduit, yield, (.|))
import qualified Data.Conduit.List as CL

repIO :: (Monad m, MonadIO m) => IO () -> ConduitT () () m ()
repIO io = do
x <- liftIO io
yield x >> repIO io

repM :: Monad m => m o -> ConduitT i o m r
repM m = do
x <- lift m
yield x >> repM m

main :: IO ()
main = do
x1 <- runConduit $ repIO (getLine >>= print) .| CL.take 3
print x1 -- [(),(),()]
x2 <- runConduit $ repM (getLine >>= print) .| CL.take 3
print x2 -- [(),(),()]
let x3 = runConduit $ repM [1,2] .| CL.take 3
print x3 -- [[1,1,1],[1,1,2],[1,2,1],[1,2,2],[2,1,1],[2,1,2],[2,2,1],[2,2,2]]
let x4 = runConduit $ repM [] .| CL.take 3
print (x4 :: [[Int]]) -- []
let x5 = runConduit $ repM (Just 1) .| CL.take 3
print x5 -- Just [1,1,1]
let x6 = runConduit $ repM Nothing .| CL.take 3
print (x6 :: Maybe [Int]) -- Nothing

**デフォルトの名無しさん** · 2020/05/23(土) 13:15:18.54

あ、ストリームでできたってこういうことか

**デフォルトの名無しさん** · 2020/05/24(日) 19:39:02.80

HaskellのフレームワークってGHC拡張たくさん使われてるから、基本的な文法だけ知ってても、エラーが出たら意味分からなくなるという初心者泣かせな言語だな。地道にコツコツ知らないことを勉強してってるわ。
使いこなしてる人ホンマ羨ましい。

**デフォルトの名無しさん** · 2020/05/24(日) 22:41:15.23

The state of GHC on ARM
https://www.haskell.org/ghc/blog/20200515-ghc-on-arm.html

**デフォルトの名無しさん** · 2020/05/25(月) 14:19:28.47

>>330
そういう悪い所を悪いと言えないのが初心者で
初心者の甘い評価がなければ持続不可能なのがGHCじゃないか

**デフォルトの名無しさん** · 2020/05/25(月) 19:07:59.38

むしろ俺は段階的に学べていいと思ったが

**デフォルトの名無しさん** · 2020/05/26(火) 13:27:47.52

haskellのフレームワークとやらが具体的に何を指しているのか分からん。
YesodやServantなどのWebフレームワークしか思いつかんが。

いずれにしても、そもそも初心者がフレームワークに頼るべきではない。
初心者を抜けて、さぁ本格的なアプリでも作ってみるかとなった時に使えばいい。

初心者は15パズルやTODOツールみたいな簡単なアプリをフルスクラッチで作ってみて、
言語拡張の必要性や、有用なライブラリの使い方を少しずつ学ぶことを奨める。

**デフォルトの名無しさん** · 2020/05/27(水) 11:14:49.47

そういうのはつまらんのだよ

**デフォルトの名無しさん** · 2020/05/27(水) 13:16:13.81

>>335
初心者が面白いと思える学べる題材ってなんかあるかな？

C#だとゲームとかGUIとか簡単なのになぁ
Pythonだって色々思い浮かぶのに

**デフォルトの名無しさん** · 2020/05/27(水) 17:32:08.93

プロジェクトオイラーでもやったら

**デフォルトの名無しさん** · 2020/05/29(金) 00:14:38.34

haskell興味あるのですがhaskellの長所と短所ってなんですかる

**デフォルトの名無しさん** · 2020/05/29(金) 00:57:51.48

若さと情熱に身を任せたいなら C、衰えても続けたいなら Haskell

**デフォルトの名無しさん** · 2020/05/29(金) 07:22:48.07

GoとRustが無かった時代には長所がいっぱいあったんだろう
もし、その時代のコードを変更することなく今使えるならそれも長所だが

**デフォルトの名無しさん** · 2020/05/29(金) 07:54:35.82

>>338
長所は難しいことをより難しく書けること
短所は簡単なことでも難しく書かざるを得ないこと

本質的に純粋関数だけじゃリリースできないことも大問題ではある
切り分けで対処しても破壊を含むコードは必ず走る
理想が現実に敗北したような体系だから手を出さないほうがいいよ

**デフォルトの名無しさん** · 2020/05/29(金) 08:30:23.80

>>338
長所は、宣言的に分かりやすく書いたプログラムが意図通りにちゃんと動くことです。
何をするのかと、どのようにするのか、この二者をきっちり分けてプログラムできるのがHaskellの大きな魅力です。
(できると言っても、初心者が簡単にできることではありません。その方向に正しく精進する必要があります。)

短所は、少し上のレスでも言及されていますが、入門を抜けた後に何に取り組めば良いのか分からなくなることです。
始めから何か目的があってHaskellを学び始めたのでしたら良いのですが、そうでなければ、
魅力的な題材の無さに愕然とし、路頭に迷うことになるでしょう。
実はgithub等を漁れば先輩方の様々はジャンルの非常に参考になるプログラムを数多く拝見でき、
自分も取り組んでみたくなる題材がたくさん見つかるのですが、逆に言えばそうやって努力して探さないと見つかりません。

**デフォルトの名無しさん** · 2020/05/29(金) 09:57:17.22

>>341
後半、そういう批判よくあるけど毎回何言ってんのかよくわからん
お前達は何を批判してるの？

**デフォルトの名無しさん** · 2020/05/29(金) 10:24:25.66

過激派と思ってた奴に中道の仕事を奪われる
理論的にありえないと思っていた中道と中道の対立が現実になる

**デフォルトの名無しさん** · 2020/05/29(金) 11:22:41.66

どんなに多くの短所があろうが
それらに勝る長所が一つあれば好きになる

人でもプログラミング言語でも

**デフォルトの名無しさん** · 2020/05/29(金) 11:35:07.26

>>338
Haskellに対して懐疑的だった初学者がParsec使ってパーサー書いてみた感じだと

長所
バグ皆無のパーサーをBNFを書き写すように簡潔に書ける
(自分はCやrubyでは書けなかった)
問題に応じて言語内言語を作れるので、コードの量を極めて少なくできる
短所
yaccやbisonより学ぶのにかなり時間がかかりそう
言語内言語を作れてしまうので、ぱっと見ただけではコードを理解できない
(数式を理解するには記号の意味を理解している必要があるのと同じ)

yaccやbisonを使った経験は無い
だが、Haskellの方が応用が利き問題の解決の仕方が美しいので学びたいとは思わなくなった

解決したい具体的な問題があり、自分が学んできた言語だとコードが大きく複雑になりそうで、新しい概念を学ぶ余裕と覚悟があるなら良いと思う
ただ便利そうなのを探してるとか興味があるってだけだと挫折するかも
Haskellを参考にしたより新しい言語を学ぶ方がスマートかもしれない
自分みたいにHaskellに懐疑的で徹底的に学んで悪口書いてやろうと思っているならマジお勧めｗｗｗ

**デフォルトの名無しさん** · 2020/05/30(土) 19:36:21.64

>>338
長所：多くのバグをコンパイル時に潰せる
短所：手続き型プログラミングにおける既知の資産(アルゴリズムなど)が活用しにくい

**デフォルトの名無しさん** · 2020/06/01(月) 05:07:50.77

Ocamlを使わないといけなくなっていじり始めたけど、あれもこれも出来なくて不便だな
やたら冗長になるし…

**デフォルトの名無しさん** · 2020/06/01(月) 07:39:57.03

書くのが不便になる代わりに、ぱっと見ただけで理解できるコードになる
という軍師の言葉をぱっと見ただけで信じる者だけがOCamlを使いなさい

**デフォルトの名無しさん** · 2020/06/01(月) 08:15:03.48

>>348
できないことの例を教えてください

**デフォルトの名無しさん** · 2020/06/02(火) 01:46:24.39

>>328
>>329
やはり純粋なリストだけでは望む仕組みは作れないという結論に達しました。

逆に言えば、そういう事が容易にできるのがストリームの利点の一つなのだと理解しました。

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

**デフォルトの名無しさん** · 2020/06/05(金) 23:44:13.56

memptyってなんでmunitやmidとかじゃないんだろうな？
emptyの心がよーわからん

文字列のように意味的に空なモノイドもあるが、
空じゃない例の方が圧倒的に多く一般的じゃないか？

ま、どうでもいいんだけどな

**デフォルトの名無しさん** · 2020/06/06(土) 08:31:53.87

let nop = mempty in ...ってやってる（嘘）

**デフォルトの名無しさん** · 2020/06/10(水) 18:32:52.39

top level の型の指定についての質問です。
haskellのルールでtop levelでないところでは曖昧な型で型推論してくれて通るけど、top levelでは一意に型が決まらないとダメとかなんとかそういうルールがあって、
それでハマって苦労した記憶があるんですが、今その事ふっと思い出したんですが、詳しい内容が思い出せません。

haskell ambiguous top level

とかでグクってもそれらしい話しが出てこないんですけど、なんか思い当たる方おられませんか？

**デフォルトの名無しさん** · 2020/06/11(木) 20:57:26.28

>>354
どういうことか、何か例を挙げることはできますか？

**デフォルトの名無しさん** · 2020/06/11(木) 23:57:59.62

>>355
レスありがとうございます。
当時なんかのプログラム組んでてハマったんですが、どんな例だったかは思い出せません。
しかし制限の名前はわかりました。
monomorphic restriction (単相性制限) という奴でした。
ググってみると多相性を無制限に認めてしまうとメモ化の実装が難しくなるようで性能に影響してしまう事を避けるための制限のようです。
こまめに型宣言書くようにするか、性能を犠牲にしてもよいなら制限をなくすオプションとかもghcとかには用意されてるので実害は無いんですけど、昔ハマって原因突き止めるのにエライ苦労したのでなんだったかふっと気になってお聞きしました。
お騒がせしました。

**デフォルトの名無しさん** · 2020/06/12(金) 03:07:06.96

>>356
いえ、お気になさらず。
こちらも勉強になりました。

**デフォルトの名無しさん** · 2020/06/20(土) 10:17:27.94

今、最新のghcでdependent typesは使えますか？

**デフォルトの名無しさん** · 2020/06/23(火) 00:33:49.50

次の2つの関数の型の違いを説明していただけないでしょうか。

f :: C a => T a -> b -> b
g :: T a -> (C a => b) -> b

関数gのようなconstraintの使い方にはこのような効果や意味がある、
とはっきり説明できず、モヤモヤしています。

また、このようなconstraintの使い方には特別な用語があるのでしょうか。
webで検索して調べてはいますが、適切なキーワードが思いつかず、苦労しています。

**デフォルトの名無しさん** · 2020/06/27(土) 16:04:56.51

Haskell用語だけでは説明できない気がする
C++用語で
a -> bのaとbはtemplateを実体化する引数
C a => bはtemplateの宣言であって実体化ではないのでgは意味がわからない

**デフォルトの名無しさん** · 2020/06/28(日) 01:53:39.90

Steamで買えるHaskell製ゲームを教えて

**デフォルトの名無しさん** · 2020/06/28(日) 10:31:17.77

>>360
レスありがとうございます。

すいません、C++に精通していないため、templateの実体化や宣言の意味がよく分かりません。

件の関数型は次のブログにありました。
Introduction to Singletons (Part 1)
https://blog.jle.im/entry/introduction-to-singletons-1.html#going-backwards
ここの Going backwards の節です。
(昔、別のWebページでも見て、その時も不思議に思っていたのですが、どこのページだったか忘れてしまいました)

そこでは
withSingDSI :: SingDS s -> (SingDSI s => r) -> r
という型です。

確かに SingDSI s => のconstraintを外すと、この関数を呼び出すところで型エラーとなってコンパイルできません。
代わりに、型シグネチャの先頭に SingDSI s => を書いたとしても、です。
しかし、なぜ型が合わないのか理由が分かりません。

何かしらの意味があるはずなのですが・・・

**デフォルトの名無しさん** · 2020/06/29(月) 23:47:59.12

>>362
のリンク先の話は中々勉強になるなぁ。
自分でこんなの使いこなせるようになるとは思えないけど。

**デフォルトの名無しさん** · 2020/07/02(木) 23:40:38.85

>>359
Haskell勉強中で答えられるほどの知識無いけど
constraintの意味から察するに、右の引数の型が正格評価されていないうちには受け入れないということでは
遅延的に型を選択して返すような関数は作れるけど、それを明示せずに正格評価の関数に渡せてしまうと追跡困難になる
引数の型を決定しておかないと渡せないようになってるんじゃないかな
つまり、前者は第一引数の型を指定してて、後者は第二引数の型を指定しているというだけだと思う
知らんけど

**デフォルトの名無しさん** · 2020/07/04(土) 23:44:16.95

すごいブログを見てしまった後では気が引けるが、前に書いた随伴をhtmlにした
[デフォルトの名無しさん](https://pastebin.com/WTvqXjnT)
なんか動いているな、程度の確認しかしていないのでバギーだと思う
サイズが大きいけどほとんどがcss
パット見、jsは、require, jquery, mathjaxぐらい
実行環境はihaskell

**デフォルトの名無しさん** · 2020/07/27(月) 22:40:30.17

遅延評価のありがたみよくわからんかったけど
なんとなく分かった

使うか使わない情報、ひとまとめに定義したいんだけど
使わないのなら、情報取りに行くだけ無駄

でも、遅延評価なら、無駄と思える情報も定義できる
なぜなら、使って初めて情報を取りに行くのだから
なるほどね　と思った

**デフォルトの名無しさん** · 2020/07/27(月) 22:51:22.29

有名人だらけで楽しみですな。
https://haskell.love/

**デフォルトの名無しさん** · 2020/08/13(木) 17:57:45.06

圏論入門 Haskellで計算する具体例から
雪田修一 (単行本)
という本が近々出るので、Haskellの予習のためにHaskellの本を買いました。

プログラミング環境は何をインストールするのがおすすめでしょうか？
OSはWindows 10を使っています。

**デフォルトの名無しさん** · 2020/08/13(木) 18:55:01.02

Haskell Platformというのがいいみたいですね。
でもダウンロードしようとしたら、まず、Chocolateyとかいうのをインストールしなくちゃいけないんですね。
大丈夫ですか？これ？

**デフォルトの名無しさん** · 2020/08/13(木) 21:17:46.02

Windows Subsystem for Linux 2 (WSL for short)を有効化してWSL用ディストリビューション（Ubuntu 20.04 LTSなど）をWindows ストアからインストールすることで、Windows内で仮想的にリナックスを使ってそこでHaskellを始めるのが良いです

**デフォルトの名無しさん** · 2020/08/13(木) 21:24:06.64

Windowsと比較してリナックスの利点は何でしょうか？
大きなアドバンテージはありますか？