[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
823: 01/14(火)12:10 ID:ygjj3afU(1) AAS
型なんて特別なものじゃない
0や1はInt型のオブジェクト、IntはType型のオブジェクト
824(2): 01/14(火)12:50 ID:1hGtsoWq(1) AAS
水の呼吸、壱の型
825: 01/14(火)13:27 ID:2ZQOZttA(1) AAS
>>824
咄嗟にアニメの話出せるとか
おまえすげえ最先端行ってるな
才能の塊かよ
826: 01/14(火)13:30 ID:5ok8hMJ2(1) AAS
>>824
それ知ってるわ
煉獄さんの映画のやつだろ
お前マジでおもしれーな
827(1): 01/14(火)13:58 ID:L1ZxvYgu(1) AAS
型が第一級オブジェクトなら、クロージャを使えば状態つきの型を作れるわけか
828(1): 01/14(火)14:18 ID:x8Aql6YT(1) AAS
有理数型や小数型も作れるのか？
829: 01/14(火)14:29 ID:S4iOQtDV(1/2) AAS
>>827
わざわざ型情報を実行時に変化させてどうすんだ
830: 01/14(火)14:29 ID:S4iOQtDV(2/2) AAS
>>828
お前は低レベルすぎ
831: 01/14(火)20:10 ID:6b3bLxyH(1/2) AAS
有理数型はHaskellやMathematicaにもうある
状態付きの型、考えただけで恐ろしい
832: 01/14(火)20:32 ID:A8xCzIhU(1) AAS
そうやって進化していくものよ
833: 01/14(火)21:00 ID:6b3bLxyH(2/2) AAS
状態付きの計算を行う手順を持った型なら純粋だから許せるけど
状態付きの型なんていらないよ
834: 01/14(火)21:07 ID:KUHcAlDi(1) AAS
君に要るかどうかは関係ない
835: 01/15(水)00:39 ID:v8xz0BVe(1/2) AAS
`f1 = Foo 1`なら、f1の型は`Foo 1`
基本的にはこれでいい
`Foo 1`は `{n: Nat} Foo n`のサブタイプ
`f1`を`Bar :: t -> s`に渡せるのは、`Foo 1`に変換する規則が存在するとき
型検査はそれをコンパイラがチェックすればいい
836: 01/15(水)00:39 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: 01/15(水)00:45 ID:2eRf9tIs(1) AAS
ユーザー定義関数から値返せないじゃん
838: 01/15(水)00:50 ID:LknHRWOL(1) AAS
型は実体ではなく注釈か
839(2): 01/15(水)01:13 ID:xsuF+zK/(1) AAS
型っつっても所詮は構造体に名前がついただけ
計算の過程や性質に型付けをしたいんだ
「関数fを抜けたタイミングで、ポインタpは必ず指定の条件をみたす場所を指していなければならない」
こういうのを型で保証したいんだ
840: 01/15(水)01:33 ID:Yf+/cXFX(1) AAS
ぬるぽは実行前に排除する
841(1): 01/15(水)06:39 ID:xj5qHVfP(1) AAS
>>839
理解浅すぎ
数学勉強してないでしょ
842: 01/15(水)08:07 ID:ogU0rXVD(1) AAS
>>841
君が数学で研究職に就いているのでなければ、まず間違いなく君よりは理解してるよ
843: 01/15(水)08:10 ID:zm/Y+w4S(1) AAS
>>839
実行時のアサーションで書けることは、型にできる
844: 01/15(水)08:19 ID:Uf2ceum5(1) AAS
二分探索やクイックソートのロジックが正しいことを型で証明できるか
845: 01/15(水)08:32 ID:nE+pEHV1(1) AAS
数学的帰納法で証明できる
（長さ1の配列に対しては自明
長さ1, 2, ..., k-1に対して正しいと仮定して、長さkに対して証明する）
そのような構造はF代数で定式化できる
846: 01/15(水)08:56 ID:3W/U+R8x(1) AAS
アキュームレータを再帰的に更新していくようなのはF代数に抽象化できる
847: 01/15(水)19:07 ID:8y1isLBr(1) AAS
オブジェクト指向はオワコン
848: 01/16(木)02:12 ID:hp6XExKo(1) AAS
抽象データ型、凝集度、関心の分離などの既存の概念だけで簡潔かつ正確に説明できることをわざわざバズワードに言い換えただけのクソ概念
849: 01/16(木)03:23 ID:DBY13IoQ(1/2) AAS
形式論理とかまじで役に立たんからな
850: 01/16(木)08:27 ID:L1OHI3Vu(1) AAS
実は当たり前にやっていること。関数適用はmodus ponensに相当する
851: 01/16(木)18:56 ID:DBY13IoQ(2/2) AAS
でも役に立たないでしょ
少しは文章読めよガイジ
852: 01/16(木)20:35 ID:FAOk1woG(1/2) AAS
型情報からあまり使ったことない関数でも使い方にあたりがつくのは便利だと思うけどお前はそうではないんだな
上下前次1-新書関写板覧索設栞歴
あと 150 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.019s