関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次1-新
187: 2023/01/05(木)13:19 ID:PBBtO4Nd(2/2) AAS
イヤ、“表現できる”ってとこに意味があるんだよ
188: 2023/01/05(木)14:40 ID:dQdtWkz5(2/2) AAS
その割にデメリットの方が大きすぎる
やはりいらないよ
189: 2023/01/14(土)23:43 ID:vLwyb8f9(1) AAS
PureScriptと被ってるかな？
[GHC 9.6.1-alpha1 is now available - Announcements - Haskell Community](外部ﾘﾝｸ:discourse.haskell.org
190: 2023/01/17(火)00:55 ID:zIKNxshB(1/2) AAS
無限の長さの [a] を仮に廃止して他の言語と同じような方式に変えたら IO a のような型になる
生物学とか好きそうな人達は [a] と IO a の差が致命的 (つまり一方は死ぬが他方は生き残る)
と決めつける傾向がある
191: 2023/01/17(火)01:31 ID:PP1OxyD+(1) AAS
生物学関係ないな
192: 2023/01/17(火)03:13 ID:zIKNxshB(2/2) AAS
言語は死なないとか復活させればいいだけとか思うならもう生物学関係ない
そう思わないなら関係ありそう
193: 2023/01/17(火)08:07 ID:Inpyi8aQ(1) AAS
無意味な比喩表現
194: 2023/01/19(木)01:20 ID:cE+DUb2P(1) AAS
クラウドは中に人がいるのか無人なのか調べられないので
人間と機械を混同したのではなく不確実にした
195: 2023/01/19(木)07:47 ID:7wHhBGeN(1) AAS
意味不明
もう少し文章を書く練習をしろ
196: 2023/01/19(木)17:42 ID:ugYwIpAQ(1/2) AAS
嘘を書くのをやめろって言われない努力はしてる
現に、嘘だと言われない
197: 2023/01/19(木)20:45 ID:LuniV29G(1/2) AAS
間違ってさえいない文章
真偽以前に中身がない
198: 2023/01/19(木)20:49 ID:LuniV29G(2/2) AAS
それっぽいだけで少し読めば大したことすら書かれてないのがわかる
199(1): 2023/01/19(木)21:18 ID:ugYwIpAQ(2/2) AAS
「わかる」と「意味不明」は矛盾しそう
どっちかが嘘ついるのでは
200: 2023/01/19(木)21:33 ID:QROh3L3M(1) AAS
>>199
お前読解力もないのか
もうこのスレ来るなよ
201: 2023/01/19(木)21:38 ID:CHvJHSS4(1) AAS
お前も反応すんなよ
202: 2023/01/20(金)01:52 ID:jpIFaaML(1) AAS
いくら話題がないからって
203: 2023/01/21(土)13:30 ID:ms4pFp6J(1) AAS
職業倫理が苦手です
204: 2023/01/21(土)16:31 ID:c9rqNig0(1) AAS
スレチ
205(1): 2023/01/29(日)20:58 ID:3238s/rq(1) AAS
教科書の通りなのになんでエラーになるんだろう？
code:
fork :: (a->b, a->c) -> a -> (b, c)
fork (f, g) h = fork (f h, g h)
main :: IO ()
main = do
print $ fork (map fst, map snd) (zip [0 .. 4] "hallo")
Output:
Error occurred
ERROR line 2 - Type error in explicitly typed binding
省3
206(1): 2023/01/30(月)02:11 ID:jVdK8GQm(1) AAS
>>205
fork (f, g) h = (f h, g h)
では？
207: 2023/01/30(月)04:31 ID:KsiNNj/4(1) AAS
>>206
ありがとうございます。その通りでした。
code:
pair :: (a->b, a->c) -> a -> (b, c)
pair (f, g) x = (f x, g x)
fork :: (a->b, a->c) -> a -> (b, c)
fork (f, g) h = pair (f, g) h
main :: IO ()
main = do
print $ fork (map fst, map snd) (zip [0 .. 4] "hallo")
省3
208(1): 2023/02/01(水)14:35 ID:RAEJFXsc(1) AAS
Haskell使い(でLinux使い)の皆さんってxmonad使ってますか？
ウィンドウフォーカスを切り替えるときにfloatingウィンドウは無視するようにしたいです。
オリジナルのfocusUp'関数は
focusUp' :: Stack a -> a
focusUp' (Stack t (l:ls) rs) = Stack l ls (t:rs)
focusUp' (Stack t [] rs) = Stack x xs []
where (x :| xs) = NE.reverse (t :| rs)
と大変記述量の少ない作りになってるのですが、これに最小の変更を加えて目的を実現するとしたらどうするべきでしょうか？
209: 2023/02/17(金)00:17 ID:x2uQcODA(1) AAS
ChatGPTにいろんなサンプル書かせて勉強させてもらってるわ
210: 2023/02/18(土)07:53 ID:pwjCq/Fb(1) AAS
>>208ですがスレチですかね
Linux板のタイル型WMスレに移動させていただきます (全く動いてないスレなのでダメ元ですが……)
211(1): 2023/02/23(木)22:53 ID:3VcdShfb(1) AAS
すみません
凄いHを楽しく学ぶ本を復習していて
疑問に思って試してみたのですが
具体的な型が決まらない値（単独変数で）は
下記の（Maybeや配列）の他にどんなのがありますでしょうか。
v1 :: Maybe a
v1 = Nothing
v2 :: [a]
v2 = []
型拘束を使わない型変数を使って
省4
212(1): 2023/02/24(金)02:14 ID:PIH/rCf2(1) AAS
>>211
Bing チャットに聞いたらこんなのが返ってきた。参考になるかな。
型変数を含むデータ型の例としては、関数型、代数的データ型、型クラスなどがあります。
例: data Tree a = Leaf a | Node (Tree a) (Tree a)
この代数的データ型Treeは任意の型aを要素とする二分木を表します。
例: class Eq a where
(==) :: a -> a -> Bool
(/=) :: a -> a -> Bool
この型クラスEqは任意の型aに対して等値性を定義するための仕組みです。
213: 2023/02/25(土)11:21 ID:h/PI1ikt(1) AAS
>>212
ありがとうございます。
凄いHを楽しく学ぶ本にも
Tree型があったので試してみました。
具体的な中身が「無い」事を現す値の場合
型引数で定義できるみたいです。
data Tree a = EmptyTree | Node a (Tree a) (Tree a)
deriving (Show)
v3 :: Tree a
v3 = EmptyTree
214(2): 2023/04/29(土)14:07 ID:AoTbqg9O(1) AAS
マルチポストだが教えてくれ
【追記あり】ChatGPTじゃなくて人力でモナドが発明された経緯を適当に調べた（ソース付き）。
外部ﾘﾝｸ:qiita.com
この記事正しいの？こんな話聞いたこともないし。圏論でモジュール性なんて扱えるの？
215: 2023/05/01(月)00:30 ID:PDTetkfq(1) AAS
>>214
よく分からんけど「モナドが発明された経緯」ではないな
1971年の本ですでにモナドについて書かれてるようだし
en.wikipedia.org/wiki/Categories_for_the_Working_Mathematician
216: 2023/05/03(水)20:58 ID:ioA1phJ7(1/2) AAS
>>214
英語で調べてもそんな話出てきたことはないな。
上下前次1-新書関写板覧索設栞歴
あと 451 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s