[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
817: デフォルトの名無しさん [sage] 2025/01/13(月) 11:55:37.97 ID:Ymx2LteG(2/3) AAS
魔法はなかった
818: デフォルトの名無しさん [sage] 2025/01/13(月) 13:02:05.46 ID:DTY38xVU(1) AAS
>>816そして残りの10個はただのアンチパターン
819: デフォルトの名無しさん [sage] 2025/01/13(月) 17:18:23.47 ID:Ymx2LteG(3/3) AAS
岩波講座 ソフトウェア科学 [基礎]1
計算システム入門
著者 所真理雄 著
刊行日 1988/10/06
ソフトウェアの作成は人間的な作業で，信頼性や生産性の点でいまだに手工業の域にある．こうした現状をふまえ，ソフトウェア作成の方法を示すとともに，その理論と知識を整理し，新しい学問体系として提示する
820: デフォルトの名無しさん [sage] 2025/01/14(火) 00:54:16.56 ID:eoA7bUR4(1) AAS
なぜ高階関数を使わないのか
εδ論法はなぜεの関数を具体的に構成しないのか
こういうのを体系的に整理したら特定の勢力だけが得をして他は損するんじゃないか
だから整理しない
821: デフォルトの名無しさん [sage] 2025/01/14(火) 08:02:07.96 ID:WvheYWow(1) AAS
Foo = Bar | Baz
822: デフォルトの名無しさん [sage] 2025/01/14(火) 08:15:31.11 ID:BEZztBwJ(1) AAS
型⊂クロージャ
823: デフォルトの名無しさん [sage] 2025/01/14(火) 12:10:31.19 ID:ygjj3afU(1) AAS
型なんて特別なものじゃない
0や1はInt型のオブジェクト、IntはType型のオブジェクト
824(2): デフォルトの名無しさん [] 2025/01/14(火) 12:50:51.03 ID:1hGtsoWq(1) AAS
水の呼吸、壱の型
825: デフォルトの名無しさん [sage] 2025/01/14(火) 13:27:13.44 ID:2ZQOZttA(1) AAS
>>824
咄嗟にアニメの話出せるとか
おまえすげえ最先端行ってるな
才能の塊かよ
826: デフォルトの名無しさん [sage] 2025/01/14(火) 13:30:47.33 ID:5ok8hMJ2(1) AAS
>>824
それ知ってるわ
煉獄さんの映画のやつだろ
お前マジでおもしれーな
827(1): デフォルトの名無しさん [sage] 2025/01/14(火) 13:58:17.70 ID:L1ZxvYgu(1) AAS
型が第一級オブジェクトなら、クロージャを使えば状態つきの型を作れるわけか
828(1): デフォルトの名無しさん [sage] 2025/01/14(火) 14:18:33.81 ID:x8Aql6YT(1) AAS
有理数型や小数型も作れるのか？
829: デフォルトの名無しさん [sage] 2025/01/14(火) 14:29:34.08 ID:S4iOQtDV(1/2) AAS
>>827
わざわざ型情報を実行時に変化させてどうすんだ
830: デフォルトの名無しさん [sage] 2025/01/14(火) 14:29:54.43 ID:S4iOQtDV(2/2) AAS
>>828
お前は低レベルすぎ
831: デフォルトの名無しさん [sage] 2025/01/14(火) 20:10:44.55 ID:6b3bLxyH(1/2) AAS
有理数型はHaskellやMathematicaにもうある
状態付きの型、考えただけで恐ろしい
832: デフォルトの名無しさん [sage] 2025/01/14(火) 20:32:44.91 ID:A8xCzIhU(1) AAS
そうやって進化していくものよ
833: デフォルトの名無しさん [sage] 2025/01/14(火) 21:00:24.45 ID:6b3bLxyH(2/2) AAS
状態付きの計算を行う手順を持った型なら純粋だから許せるけど
状態付きの型なんていらないよ
834: デフォルトの名無しさん [sage] 2025/01/14(火) 21:07:31.89 ID:KUHcAlDi(1) AAS
君に要るかどうかは関係ない
835: デフォルトの名無しさん [sage] 2025/01/15(水) 00:39:06.33 ID:v8xz0BVe(1/2) AAS
`f1 = Foo 1`なら、f1の型は`Foo 1`
基本的にはこれでいい
`Foo 1`は `{n: Nat} Foo n`のサブタイプ
`f1`を`Bar :: t -> s`に渡せるのは、`Foo 1`に変換する規則が存在するとき
型検査はそれをコンパイラがチェックすればいい
836: デフォルトの名無しさん [sage] 2025/01/15(水) 00:39:55.88 ID:v8xz0BVe(2/2) AAS
`f1 = Foo 1`なら、`f1`の型は`Foo 1`
基本的にはこれでいい
`Foo 1`は `{n: Nat} Foo n`のサブタイプ
`f1`を`Bar :: t -> s`に渡せるのは、`Foo 1`を`t`に変換する規則が存在するとき
型検査はそれをコンパイラがチェックすればいい
837: デフォルトの名無しさん [sage] 2025/01/15(水) 00:45:33.23 ID:2eRf9tIs(1) AAS
ユーザー定義関数から値返せないじゃん
838: デフォルトの名無しさん [sage] 2025/01/15(水) 00:50:21.44 ID:LknHRWOL(1) AAS
型は実体ではなく注釈か
839(2): デフォルトの名無しさん [sage] 2025/01/15(水) 01:13:53.96 ID:xsuF+zK/(1) AAS
型っつっても所詮は構造体に名前がついただけ
計算の過程や性質に型付けをしたいんだ
「関数fを抜けたタイミングで、ポインタpは必ず指定の条件をみたす場所を指していなければならない」
こういうのを型で保証したいんだ
840: デフォルトの名無しさん [sage] 2025/01/15(水) 01:33:23.91 ID:Yf+/cXFX(1) AAS
ぬるぽは実行前に排除する
841(1): デフォルトの名無しさん [sage] 2025/01/15(水) 06:39:48.90 ID:xj5qHVfP(1) AAS
>>839
理解浅すぎ
数学勉強してないでしょ
上下前次1-新書関写板覧索設栞歴
あと 161 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s