[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
36: 2020/02/15(土)22:05:32.62 ID:/Ku5gNgy(2/2) AAS
>>31
全パッケージの情報をメモリに保持してるんじゃ重くもなるよね…
全部メモリに載ればいいけどそうでなければスラッシングの嵐…
外部ﾘﾝｸ:github.com
50(1): 2020/03/03(火)00:52:57.62 ID:halZ50DI(1) AAS
>>49
自分は圏論をBartosz Milewskiの動画や本で勉強してるから、
彼のブログやTwitterがメインの情報源だなあ
155: 2020/04/03(金)07:10:48.62 ID:SDolupu6(1) AAS
技術書って入門書も含む？
235: 2020/04/18(土)22:32:39.62 ID:DCiZBX2v(2/2) AAS
>>233
モナドに使われてるやつほど、自分はモナドを使ってると勘違いするよなｗ
295: 2020/04/29(水)09:36:37.62 ID:TuLha3Ht(1) AAS
F#スレ落ちてるね
308: 2020/05/02(土)13:54:24.62 ID:QDKxMZyf(1) AAS
シェルスクリプトで管理ではなく
そろそろxmlとかyamlとかの時代を期待されてる説
356(1): 2020/06/11(木)23:57:59.62 ID:oU50Re4d(1) AAS
>>355
レスありがとうございます。
当時なんかのプログラム組んでてハマったんですが、どんな例だったかは思い出せません。
しかし制限の名前はわかりました。
monomorphic restriction (単相性制限) という奴でした。
ググってみると多相性を無制限に認めてしまうとメモ化の実装が難しくなるようで性能に影響してしまう事を避けるための制限のようです。
こまめに型宣言書くようにするか、性能を犠牲にしてもよいなら制限をなくすオプションとかもghcとかには用意されてるので実害は無いんですけど、昔ハマって原因突き止めるのにエライ苦労したのでなんだったかふっと気になってお聞きしました。
お騒がせしました。
423: 2020/08/22(土)21:46:48.62 ID:j3K8XBr1(6/6) AAS
もしそうだとして、質問なんですが、Nothingはあらゆる型に属すると約束すればいいだけの話ではないんですか？
437: 2020/08/27(木)10:07:06.62 ID:TufIdPw/(1) AAS
Jupyter NotebookでHaskell使うならこれ
環境構築の手間が省けるのでおすすめ
Chromebook、iPad、Windows 10 Sモードなどで使えるかは知らない
外部ﾘﾝｸ:mybinder.org
IHaskell
外部ﾘﾝｸ:github.com
＞ You can now try IHaskell directly in your browser at CoCalc or mybinder.org.
Alternatively, watch a talk and demo showing off IHaskell features.
460(1): 2020/08/31(月)18:28:47.62 ID:mkAi3PX1(3/3) AAS
import Data.Ratio
import Data.Complex
data ComplexRational = CR (Complex Rational) deriving (Show,Eq)
instance Num (ComplexRational) where
(CR (x:+y)) + (CR (x':+y')) = CR $ (x+x') :+ (y+y')
(CR (x:+y)) * (CR (x':+y'))
= CR $ (x*x'-y*y') :+ (x*y'+y*x')
negate (CR (x:+y)) = CR $ negate x :+ negate y
abs = undefined
signum = undefined
fromInteger n = CR $ fromInteger n :+ 0
instance Fractional (ComplexRational) where
recip (CR (x:+y))= CR $ (x/(x^2+y^2)):+(-y/(x^2+y^2))
toComplex (CR x) = x
i = CR $ 0:+1
onCircle a b c d = (==0) $ imagPart $ toComplex $ ((a-c)/(b-c))/((a-d)/(b-d))
a=0
b=3
c=4*i
d=7/2+7/2*i
main = do
print $(1/2+3/4*i)/(5/6+7/8*i)
print $ onCircle a b c d
-----
CR (618 % 841 :+ 108 % 841)
True
518: 2020/09/16(水)01:31:29.62 ID:yuR5T5xB(1) AAS
strong lax monoical functor
601(2): 2020/12/05(土)12:39:37.62 ID:Na39OKS5(1) AAS
ブログ書いてたら彼女と無料で海外留学という名のデートに行けた話【影響力やばい】
動画ﾘﾝｸ[YouTube]
若いうちから人を雇ったり、任せるクセをつけるべき理由とは？
動画ﾘﾝｸ[YouTube]
【対談】インフルエンサーマーケティングに300万円突っ込んでみた結果...
動画ﾘﾝｸ[YouTube]
収入を上げたければ、自分の影分身を作るべし
動画ﾘﾝｸ[YouTube]
勉強のために10日間で21個のアプリを作った話【初心者時のプログラミング学習】
動画ﾘﾝｸ[YouTube]
学校では教えてくれないことの中にはお宝が眠っている
動画ﾘﾝｸ[YouTube]
ブロガーからステップアップしていくために必要なスキル
動画ﾘﾝｸ[YouTube]
633: 2021/01/12(火)00:18:20.62 ID:5J1t5Bxr(1) AAS
Haskelｌは哲学であり、哲学からは何も生まれない
691: 2021/01/25(月)13:32:32.62 ID:/TZZteD8(1/2) AAS
>>684
newStdGen :: IO StdGenSource
↑ワロタw
コピペするとよくあるわw
843: 2021/06/05(土)01:35:57.62 ID:qvRyjOjC(1) AAS
>>842
なんという罠…
これ引っかかった人結構いそう
873: 2021/07/19(月)10:46:43.62 ID:jaES3hbu(1) AAS
>>872
無いです。
必要なときにのみ必要なだけ宣言するといいです。
874(3): 2021/07/26(月)04:08:52.62 ID:FlIQ/SVE(1) AAS
外部ﾘﾝｸ:cognicull.com
Haskellやるのにこの辺は履修済みであることが求められるの？
Obj-Cだとほぼなくてもアプリは書けるけども
Haskellって数学じゃないのに数学のフリしてるところあるよね
利用者も然りで余計混乱を招いてる気がする
901: 2021/09/22(水)10:44:01.62 ID:02VLVXq+(2/4) AAS
ネットで調べると
{-# LANGUAGE PatternSynonyms, ViewPatterns #-}
numDenum :: Integral a => Ratio a -> (a,a)
numDenum x = ( numerator x, denominator x )
pattern ( :% ) :: Integral a => a -> a -> Ratio a
pattern a :% b <- ( numDenum -> ( a,b ) )
where a :% b = a % b
というおまじないがstack exchangeで見つかってコレつけるとうまく行きました
うまくいったんですがサッパリわかりません
コレ何者ですか？
そもそも?はなんでうまく動かないんですか？
968(1): 2021/12/14(火)12:34:07.62 ID:iFoIKYew(1/3) AAS
IQ145の人？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.047s