プログラミング言語の基礎概念って本読んでる

1 : 2021/07/17(土) 01:17:33.334 ID:SXjvmNxU0: とりあえず一章読んだわ
型とか理解したい
2 : 2021/07/17(土) 01:18:49.214 ID:wEUcFSwd0: 黙って実践
3 : 2021/07/17(土) 01:19:33.063 ID:SXjvmNxU0: これまで色々実践してきたけどあんまりしっくり理解できてないからこの本読んでるんだよ
4 : 2021/07/17(土) 01:20:59.048 ID:BGeVL6qs0: Haskellの本を読め
5 : 2021/07/17(土) 01:21:35.002 ID:SXjvmNxU0: Haskellの本は読んだよ
6 : 2021/07/17(土) 01:22:01.280 ID:f4Yzlcz80: 型がないプログラミング言語もあるんだから基礎概念じゃないだろ
8 : 2021/07/17(土) 01:23:47.727 ID:SXjvmNxU0: >>6
どうして型が必要なのかとか
どうして多相型が必要なのかとかがわかると思って読んでる
11 : 2021/07/17(土) 01:27:40.388 ID:f4Yzlcz80: >>8
いやだから必要ないから
最終的な区別は整数値と浮動小数値とポインタだけだから
13 : 2021/07/17(土) 01:30:34.414 ID:SXjvmNxU0: >>11
必要あるかないかじゃなくて、純粋に興味があるんよ
7 : 2021/07/17(土) 01:22:25.046 ID:SXjvmNxU0: Coqとか理解したいんだよなぁ
型でプログラムの証明を与えるとかその辺に興味ある
9 : 2021/07/17(土) 01:26:01.221 ID:f4Yzlcz80: >>7
ちょっとぐぐったけどただのLispみたいな関数プログラミングに変な呼び方してるだけじゃんアホすぎワロタ
ミーハーはこういうのに喜んでながされるんだな
10 : 2021/07/17(土) 01:27:31.485 ID:SXjvmNxU0: >>9
Coqはlispとは全然違くね？
証明するための言語だよ
12 : 2021/07/17(土) 01:29:46.650 ID:f4Yzlcz80: >>10
環境に検証ツールが付属してるだけの違いだろ
クソマイナー言語に大した動作保証もないから意味ねえしただのゴミじゃん
17 : 2021/07/17(土) 01:32:24.333 ID:SXjvmNxU0: >>12
いやその認識は全く違うよ
Coqは証明するための言語だよ
14 : 2021/07/17(土) 01:31:02.256 ID:/6XD0D+T0: アセンブラじゃあかんの？
18 : 2021/07/17(土) 01:33:21.414 ID:SXjvmNxU0: >>14
数学よりの部分に興味あるね…
15 : 2021/07/17(土) 01:31:12.293 ID:f4Yzlcz80: IT業界人ってアカデミックな教育挟んでないからすぐこういうアホ向けのに騙されるよな
16 : 2021/07/17(土) 01:32:09.878 ID:f4Yzlcz80: 物理と数学を学べ物理と数学を
19 : 2021/07/17(土) 01:34:36.932 ID:SXjvmNxU0: >>16
物理学科の院生です
専門は物性理論です
20 : 2021/07/17(土) 01:37:30.594 ID:9rM/BYYm0: DATE型とか存在意味わかんネーヨな
文字列で扱ったほうが楽じゃんって言うね
21 : 2021/07/17(土) 01:43:42.017 ID:HYJMdXHh0: すごい話なのかくだらない話なのかわからないけど
型が無いとルールが無いってことだからコンピュータは何も出来ない
多相型はスーパーヒトシ君が３点みたいな感じかな
22 : 2021/07/17(土) 01:44:58.521 ID:SXjvmNxU0: 最近の言語は型がめっちゃ複雑になってきてるし、学んどいて損はないと思うんだよなぁ
28 : 2021/07/17(土) 01:50:39.429 ID:oC2tlYvk0: >>22
「最近の」言語の型システム？なんか目新しいのあった？？？？
おまえホントは何も分かってねえだろ！www
32 : 2021/07/17(土) 01:53:33.992 ID:SXjvmNxU0: >>28
Swiftとか結構複雑じゃね？
23 : 2021/07/17(土) 01:45:46.670 ID:oC2tlYvk0: 言語から入らないでコンピューテーションからはいったら？
24 : 2021/07/17(土) 01:46:51.299 ID:+Sk/XBtT0: Coqも知らんアホがIT語っててワロタ
25 : 2021/07/17(土) 01:47:20.595 ID:m4TlyoSj0: 誰かSpringBootの実践知識教えてくれ
26 : 2021/07/17(土) 01:49:13.105 ID:HYJMdXHh0: Coqググってみたけど
逆算みたいなの自分で考えてそれでいいのか？ってとこと
最終的に証明済みのライブラリでイコールにしてるけど
そんなのでいいのか？生産性上がるのか？
使ってないから出てくる疑問かもしれないけど
29 : 2021/07/17(土) 01:52:03.789 ID:SXjvmNxU0: >>26
言ってる意味がよくわからん
34 : 2021/07/17(土) 01:54:29.018 ID:HYJMdXHh0: >>29
今ググったばかりなので出てきたことを書いただけなんです
27 : 2021/07/17(土) 01:50:09.216 ID:2U1el4La0: 数論幾何学と宇宙論ってどっちの方が難しいの？
30 : 2021/07/17(土) 01:52:52.815 ID:SXjvmNxU0: >>27
宇宙論が一般相対論って意味なら数論のが百万倍むずいと思うよ
33 : 2021/07/17(土) 01:54:15.706 ID:2U1el4La0: >>30
いや、一般相対論という意味ではないです。
宇宙の研究のことです。
36 : 2021/07/17(土) 01:57:13.395 ID:SXjvmNxU0: >>33
宇宙の研究だけならそんなに難しくないんじゃない？
衛星作ってても一応宇宙の研究にはなるわけだし
38 : 2021/07/17(土) 01:59:27.985 ID:2U1el4La0: >>36
衛星を作るような工学的なことではなくて、理論的に宇宙に関する様々な謎を解明していくことを言ってます。
35 : 2021/07/17(土) 01:56:22.986 ID:fl5WS4TO0: >>30
発達障害か？
宇宙論は相対論と素論の両輪で研究してくものだけど
31 : 2021/07/17(土) 01:52:58.155 ID:2U1el4La0: プログラミングとかそれに関することなどをいろいろ覚えて巨大掲示板サイトを作りたい。
37 : 2021/07/17(土) 01:58:27.192 ID:wL1bGwIS0: その本評判いいよな
読んだことないけど