- 1 名前：デフォルトの名無しさん [2018/06/03(日) 23:53:27.92 ID:vrBh4O6u.net]
- スレタイ以外の言語もok
前スレ
次世代言語10[Rust Swift TypeScript Dart]
https://mevius.5ch.net/test/read.cgi/tech/1524607347/
- 377 名前：デフォルトの名無しさん mailto:sage [2018/06/13(水) 22:31:54.23 ID:rrNH2Ql7.net]
- lspが進んだ世界では必ずしもvscodeに頼らなくていいはず。
- 378 名前：デフォルトの名無しさん mailto:sage [2018/06/13(水) 22:50:34.10 ID:x61p1oYZ.net]
- .vscode/settings.jsonが神すぎるんだお
なぜあの当たり前ができないのか
3秒に10回はクラッシュするEclipseとか
ゲキ重糞出方Intellijとか
設定ファイルクソすぎでしょ
あんな俺が鼻くそほじりながら逆立ちしてドリルウンコ逆流性食道炎してる暇に足の小指の水虫でできるレベルのクソみたいなクソ
ｶﾞｲｼﾞでしょ
- 379 名前：デフォルトの名無しさん mailto:sage [2018/06/13(水) 22:52:42.58 ID:2d72wPTB.net]
- すまん、Vimで良くね？
- 380 名前：デフォルトの名無しさん mailto:sage [2018/06/13(水) 22:55:43.45 ID:x61p1oYZ.net]
- >>373
ビビビビ ビームwwwwwwwwwwwwwwwww
ｸｿｸｸｿｸｿｶﾞｲｼﾞwwwwwwwwwwwwwwwwww
未だにチンコインサートモードパイルダーゲッターオォーーーーーンアォン！！！！
とか言ってるのか！？！？！？頭が逝ってるのか？！？！？！？！
ば～～～～～～～～っかじゃねえの！？
おいクソばか
おまえビームのコマンドでしりとり何個言えるか逝ってみろよガイジ！ガイジ！ガイジ！
- 381 名前：デフォルトの名無しさん mailto:sage [2018/06/13(水) 22:59:44.78 ID:TfmQvtMK.net]
- Foってのがでてるな
Functional Goらしい
- 382 名前：デフォルトの名無しさん mailto:sage [2018/06/13(水) 23:00:55.96 ID:x61p1oYZ.net]
- ごめん。ちょっと頭がおかしいみたい。疲れてるんだきっと。
毎日毎日毎日プログラムを書くばっかり。
貯まった金はクソブサイクな風俗女にしゃぶらせるためだけに消える。
俺なんのために生きてるんだろう。
- 383 名前：デフォルトの名無しさん mailto:sage [2018/06/13(水) 23:14:50.70 ID:EkE3BqLq.net]
- >>376
も少し貯めて可愛い子にすればいいのに。
- 384 名前：デフォルトの名無しさん mailto:sage [2018/06/13(水) 23:22:31.25 ID:2d72wPTB.net]
- >>377
なんやこいつきっしょ
- 385 名前：デフォルトの名無しさん mailto:sage [2018/06/13(水) 23:41:49.86 ID:rrNH2Ql7.net]
- >>375
これなんなん？
トランスパイラ？
- 386 名前：デフォルトの名無しさん [2018/06/14(木) 00:06:29.12 ID:3ZpZ3Y7F.net]
- まあemacsにすべきだな
- 387 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 00:12:50.29 ID:/XuMY1jT.net]
- なんで旧世代スレになってるんだよ
いい加減にしろよ老害ども
- 388 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 00:23:31.55 ID:iGgsGNS1.net]
- じゃあオブジェクト指向を関数型で駆逐する方法を語ろう
次世代的だろう
- 389 名前：デフォルトの名無しさん [2018/06/14(木) 00:34:33.55 ID:/66BxFoU.net]
- 1970年代からある関数型が次世代的とは
- 390 名前： mailto:sage [2018/06/14(木) 00:45:04.92 ID:V5ffjU05.net]
- >>383
lisp が関数型であるとすれば、最古から関数型はあるわけで
- 391 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 00:58:31.36 ID:I/1jymok.net]
- >>381
24歳のVim信者で本当にすまん
- 392 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 01:06:05.81 ID:/XuMY1jT.net]
- >>385
心が老害とか一番かわいそうなﾊﾟﾃｨｰﾝじゃん
かわいそ、かわいそ
- 393 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 01:06:09.33 ID:aikvVsPl.net]
- 僕はnano派です…
- 394 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 01:09:40.70 ID:I/1jymok.net]
- >>386
Vimコマンド駆使するより素早く編集する方法なくね？
あったら乗り換えるが
- 395 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 01:11:59.75 ID:/XuMY1jT.net]
- テキストエディタで完結するレベルの土方仕事しかしてないんなら、素早い（笑）んだろうな
- 396 名前：デフォルトの名無しさん [2018/06/14(木) 02:07:29.11 ID:QWAhFsNz.net]
- プロはバイナリエディタですか。
- 397 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 02:11:18.15 ID:kxFGuLJW.net]
- IDEじゃないと書きたくない言語と
そうでもないのがある
- 398 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 02:19:17.11 ID:cWETZ475.net]
- https://github.com/albrow/fo
Foってこれか。米麺食いたくなる名前だな
Emacs信者の俺が純粋に聞きたいんだけどVSCodeのどこらへんがいいの？
- 399 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 02:42:00.14 ID:FQRn1x4J.net]
- Functional GoでFoなのか
日本人だったらFGOとかにしそうだな
エディタやIDEなんてラーメンみたいなもんだろ
人のおすすめ聞くより使ってみる方が早い
- 400 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 03:01:24.53 ID:BlJjVFjE.net]
- Foはジェネリクス対応してるのな
もうこっちでいいんじゃねw
- 401 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 05:34:03.84 ID:rNsEgud7.net]
- >>392
やっぱりトランスパイラみたいね。
出力されるコードが変なものじゃなければ、ありな気がする。もともと実験的な意味合いが強いからなー。
- 402 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 07:21:11.85 ID:1FD9Rath.net]
- なるほど面食い連中に使ってもらって実験台になってもらおうという言語かw
- 403 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 08:32:53.42 ID:/+iGXOgq.net]
- >>392
カスタマイズ無しでそれなりに使えるところかな？
素のemacsで開発できる？
- 404 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 08:44:49.52 ID:WCuYXmy1.net]
- カスタマイズがないエディタ
cssとjsがないホームページ
次世代はこういうのでいいんだよ
- 405 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 09:05:36.49 ID:PNz+UpBO.net]
- ドカタの知能は昆虫以下だからカスタマイズとか出来ないもんなぁ
それは理解できるけど人間様に同意を求めないで欲しい
違う生き物なんだから
- 406 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 11:59:10.86 ID:Ko7syfoN.net]
- ただまあ、カスタマイズしないと使い物にならない、と、
カスタマイズいくらでも出来る、はまた別だからな。
VSCodeに関しては、吊るしで割と使えて、拡張機能で相当便利になって、
めちゃくちゃニッチなものなら自作もできる分、
割といいと思うよ。
生粋のemacsユーザみたいにemacsでメールチェックも何もかも済ませちゃう所までは行かないし、今更誰も求めないだろうけど。
- 407 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 12:28:53.86 ID:P5fuOjM/.net]
- エ、エディタで人の知能判断するのか………
宗教戦争がなくならないわけだ
- 408 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 12:29:31.01 ID:P5fuOjM/.net]
- >>399宛ね
- 409 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 12:50:39.82 ID:WCuYXmy1.net]
- 証拠で判断する
知能が低い証拠や高い証拠
戦争も強さを立証するためにやってる
- 410 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 15:34:54.59 ID:mjADD9X6.net]
- そのエディタはお前が作ったのか？
使ってる道具を知能の証拠にするとかいいの？
ましてや戦争レベルにスケールアップするとかさあ…
- 411 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 15:38:59.76 ID:YeJ15JhN.net]
- 伝統あるエディタ戦争に水を差すんじゃない
- 412 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 16:53:15.33 ID:NpVTsnTs.net]
- 少なくともメモ帳やEclipseやAtom使ってるやつの知能は心配していいと思う
- 413 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 17:10:56.98 ID:+kcaC1Qb.net]
- ファイルサイズでかいと途端に無能になるエディタが多くてなあ
モダンなエディタでまともに動くのはsublimetextくらいだわ
- 414 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 18:24:40.70 ID:wcpmGYym.net]
- RstudioはIDEに入りますか？
- 415 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 18:26:59.95 ID:mjADD9X6.net]
- atomは重すぎないかあれは
俺がクソザコpcだからなのかあれは
- 416 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 18:31:50.48 ID:SuE0K3xo.net]
- Electron製エディタなんて重くなって当たり前なところはある
- 417 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 18:42:50.92 ID:Eyj4NuVh.net]
- ElectronだからってAtomのもっさり感は大概だと思うけどなぁ
VSCode使ってたら尚の事
- 418 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 18:45:30.85 ID:Cyktia16.net]
- >>411
大概？
- 419 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 20:34:53.45 ID:wcpmGYym.net]
- おまえらIDE使う時って立ち上げっぱなし？
- 420 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 20:44:46.79 ID:l5PwHyNK.net]
- >>413
？
- 421 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 20:58:02.94 ID:1FD9Rath.net]
- 真のプログラマはedでコードを書く
- 422 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 21:28:49.77 ID:oDcGUxHl.net]
- 早いところreact-nativeで、再実装されたvscode見てみたいな。最近のマイクロソフトのRN推しはなかなか良い。
- 423 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 21:34:51.94 ID:fquFAO/V.net]
- 完璧なプログラマならcatで十分
- 424 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 21:37:57.29 ID:oDcGUxHl.net]
- >>417
youtubeでいいからデモってみてよ
- 425 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 22:06:46.68 ID:1UAOBXCc.net]
- 真のプログラマー（）
https://imgs.xkcd.com/comics/real_programmers.png
- 426 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 23:23:01.61 ID:/XuMY1jT.net]
- Goは「エンター押してGo！」って標語通りのコンパイル速度目指したあれだろ
トランスパイラなんか噛ませて「エンター押してコーヒーブレイク！」じゃアカンでしょ
- 427 名前：デフォルトの名無しさん mailto:sage [2018/06/14(木) 23:53:16.06 ID:hwojb2A8.net]
- >>420
go自体早くなってきてるし一段トランスパイラ噛ませても早いのでは？
- 428 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 00:04:39.58 ID:pycx7Kea.net]
- 型推論とジェネリクスが入るとどうやっても遅くなるんでない？Fo試してないけど。
- 429 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 00:07:41.96 ID:/HLz/tc5.net]
- >>422
なぜ型推論で？
- 430 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 00:09:30.32 ID:U6uE1uLz.net]
- >>421
エンター押してGoのためにゲネリクスまで捨ててるのに
それ捨てたら捨てるものしか残らないゴミ箱になるだろ
- 431 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 00:33:51.36 ID:inBQ+d9i.net]
- いやだからgo本体に組み込まれるよりかトランスパイラで実験的に使ってもらったほうがいいってことでしょ。
- 432 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 00:36:28.20 ID:U6uE1uLz.net]
- いやだからエンター押してGoなんだよ
ばかか？
- 433 名前：デフォルトの名無しさん [2018/06/15(金) 00:37:49.96 ID:6T3qrZy1.net]
- 旧世代言語はどうでもいいですから
- 434 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 00:38:51.14 ID:inBQ+d9i.net]
- なんだ日本語の通じない人か。
- 435 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 05:22:22.21 ID:+Xdq4kdc.net]
- コミュ力重視棒で殴ってばかりで代案を出さないのが普通の日本人
- 436 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 05:28:09.92 ID:+Xdq4kdc.net]
- いちいち代案を出してくるポリコレ棒よりも酷い
- 437 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 06:38:19.10 ID:9A1mO1AX.net]
- そもそもgoにジェネリクス入れないとは行ってないぞ。faq見ろや。むやみに希望通りに機能追加したくないだけ。
phpみたく投票で決めてうまく行った例をみない
- 438 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 06:51:25.85 ID:ymZBnmIf.net]
- Haxe(ヘックス)はOSSで、JSに型チェックを付けたような言語で(altJS)、
JS(ES5), Flash, PHP, C++, Java, C#, Python, Lua に書き出せる
インストールしてみた。楽しみ
- 439 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 10:34:51.24 ID:uIGrLsPa.net]
- 共同ツール 1
https://seleck.cc/685
https://trello.com/
ボードのメニュー → Power-Upsから拡張可能 Slack DropBoxなど
Trello Chrome拡張機能 elegant
ttp://www.kikakulabo.com/service-eft/
trelloのオープンソースあり
共同ツール 2
https://www.google.com/intl/ja_jp/sheets/about/
共同ツール 3
https://slack.com/intl/ja-jp
https://www.dropbox.com/ja/
https://bitbucket.org/
https://ja.atlassian.com/software/sourcetree
https://www.sketchapp.com/
ttp://photoshopvip.net/103903
ttps://goodpatch.com/blog/sketch-plugins/
Trello Chrome拡張機能プラグイン集
https://chrome.google.com/webstore/search/trello?_category=extensions
Slackプラグイン集
https://slack.com/apps
Sketchプラグイン集
https://sketchapp.com/extensions/plugins/
https://supernova.studio/
- 440 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 19:08:38.72 ID:yN1Te8e7.net]
- >>431
多数決がロクでもないのは本当にそう思うわ
Linusほどとは言わないがBDFLが方向性と重要な決定で決断するのは本当に重要
- 441 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 19:19:52.68 ID:f9VZR6vf.net]
- 最近はRust風のRFCベース開発が増えてるが
これはどうなんだ？
正直発端のRustがゴミなんでこの方法も多数決と大差ないゴミだと思うんだが
- 442 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 19:49:49.25 ID:jzThxFVz.net]
- >>269
RustがゴミだからRCFもゴミという理屈を通すなら
RCFがゴミだからインターネット技術も全てゴミということか
ネット技術を否定するとはたまげたなぁ
- 443 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 19:54:31.63 ID:jzThxFVz.net]
- >>436
訂正
>>269 → >>435
- 444 名前：デフォルトの名無しさん [2018/06/15(金) 20:45:14.15 ID:Ue/0Tw3y.net]
- Request For Comment
- 445 名前：デフォルトの名無しさん [2018/06/15(金) 20:51:19.95 ID:6FhApNwO.net]
- Request Comment For internetsだろ。
- 446 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 21:00:01.61 ID:jGQZ3J4p.net]
- Rustがゴミだというのは要出典だが
1人か数人程度で書いた出典が多数派より強いなら多数決ではない
- 447 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 21:43:27.34 ID:U6uE1uLz.net]
- マスカキ・ラスマス・豚ラードみたいなクソガイジが作ってるガイジ専用PHPoorは
今すぐ死ね
今すぐにだ
- 448 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 21:44:51.73 ID:U6uE1uLz.net]
- Rustがゴミなら
さしずめPHPは放射線汚染汚物だな
存在自体が害悪
- 449 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 21:51:29.71 ID:OI0SVvSb.net]
- その場合は放射線じゃなく放射能では？
言葉は正しく使いましょう。
- 450 名前：デフォルトの名無しさん [2018/06/15(金) 21:53:44.43 ID:6FhApNwO.net]
- 放射能に汚染されるとかあるの？
放射線を当ててDNA傷つけるとかはあるけど。
- 451 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 22:07:03.48 ID:u44Z15QL.net]
- 放射能を取り込んだら常に放射線を受けるようになる。これを汚染という
- 452 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 22:13:02.74 ID:jGQZ3J4p.net]
- 文書を管理し公開すれば質問に答える手間が省ける
独裁者は効率が良いというが、文書管理ができない独裁者は効率が悪い
- 453 名前：デフォルトの名無しさん [2018/06/15(金) 22:13:49.24 ID:6FhApNwO.net]
- >>445
放射性物質と間違えてないか？
- 454 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 22:24:16.62 ID:QgEB8ssa.net]
- >>447
「放射能漏れ (放射性物質が意図せず外部に流出すること)」など、
放射能という言葉で放射性物質を意味することが我が国では頻繁にある
- 455 名前：デフォルトの名無しさん [2018/06/15(金) 22:29:57.45 ID:6FhApNwO.net]
- >>448
なんと！
日本語審査会で審議しないといけないな。
- 456 名前：デフォルトの名無しさん [2018/06/15(金) 22:31:43.92 ID:6FhApNwO.net]
- 放射能とは放射線を発する能力のことだよな。
それなのに、放射性物質漏れを放射能漏れと言うとは、原発村は朝鮮部落じゃないのか？
日本語全然ダメじゃないか。
- 457 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 22:56:31.11 ID:XWxsNfSe.net]
- class 物質 {
放射能 : Double
onRecv(r: 放射線) {
var a = is放射性物質()
放射能 += calc(this, 放射線)
if(a != is放射性物質()){ on放射化() }
}
on放射化(){
}
is放射性物質(){
return 0 < 放射能
}
onTick() : 放射線 {
return 放射性崩壊()
}
}
- 458 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 22:57:24.63 ID:HyPg0ex9.net]
- もっと関数型みたいに言ってよ
- 459 名前：デフォルトの名無しさん mailto:sage [2018/06/15(金) 23:26:24.39 ID:pqHqgTWj.net]
- 関数型なら放射能の基底値最低値みたいなものがあればモノイドやモナドに出来るはず
- 460 名前：デフォルトの名無しさん mailto:sage [2018/06/16(土) 00:22:45.39 ID:nddTsUkO.net]
- 開発のオッチャンが
ポンコツになって病んで
いつの間にか復帰したと思ってたら情シスに異動してて
クソみたいなノーパソのセッティングとかするだけのマシーンになってた
おまえらもいつかああなるんだな
- 461 名前：デフォルトの名無しさん mailto:sage [2018/06/16(土) 00:38:54.86 ID:jT+SN6fe.net]
- >>436
誰だよRFCをRCFと書いたバカは？
あ…俺か…
疲れてるんだよきっと…
- 462 名前：デフォルトの名無しさん mailto:sage [2018/06/16(土) 01:09:58.22 ID:nddTsUkO.net]
- Rust Flied Chiken
- 463 名前：デフォルトの名無しさん mailto:sage [2018/06/16(土) 06:58:14.17 ID:WLiJCHLB.net]
- >>454
楽そうで良さそう
- 464 名前：デフォルトの名無しさん mailto:sage [2018/06/16(土) 07:05:02.10 ID:YcKtw1Mu.net]
- 関数型も注目された結果色々なエッセンスがそうでない多くの言語に取り込まれたけど依存型線形型は難しくて部分的な取り込まれ方もしなそうという気持ちがある
純粋に難しいのもあるし実務を見据えると煩雑すぎる
- 465 名前：デフォルトの名無しさん mailto:sage [2018/06/16(土) 07:57:54.56 ID:/RucSVBT.net]
- 型の話をするなら動的型と静的型に分ける
型の話をするならHaskellとTypeScriptは似たもの同士である
- 466 名前：デフォルトの名無しさん mailto:sage [2018/06/16(土) 08:49:47.24 ID:nUM7bao2.net]
- TypeScriptみたいなド型とHaskellの型システムを一緒にしないでくれる？
- 467 名前：デフォルトの名無しさん mailto:sage [2018/06/16(土) 09:00:12.20 ID:Ws4rvThP.net]
- TypeScriptは構造的部分型
クラス定義の見た目が似ているだけで、Java系のド型とは実は概念的に全然違う
- 468 名前：デフォルトの名無しさん mailto:sage [2018/06/16(土) 09:30:23.46 ID:/RucSVBT.net]
- 型チェックと値チェックを一緒にするのは動的型なら簡単に思いつくこと
依存型が難しいというのは静的型が難しいだけのこと
- 469 名前：デフォルトの名無しさん mailto:sage [2018/06/16(土) 09:50:04.68 ID:VCIrJNT8.net]
- >>460
はいはいHaskellは至高至高。
- 470 名前：デフォルトの名無しさん mailto:sage [2018/06/16(土) 11:17:22.13 ID:4s/pndVS.net]
- >>454
クソコード書いてメンテ不能状況作るよりかそっちのがよっぽど建設的だわ。
- 471 名前：デフォルトの名無しさん mailto:sage [2018/06/16(土) 11:35:20.13 ID:zhL2QVJX.net]
- 逆に言うと、建設的なことをやらない理由は、やったら差別されるから
差別があるから非効率的になる
- 472 名前：デフォルトの名無しさん mailto:sage [2018/06/16(土) 11:42:05.87 ID:nddTsUkO.net]
- ド型ﾜﾛﾋﾟｵ大草原パークwwwwwwwwwwwwwwwwwwwww
- 473 名前：デフォルトの名無しさん mailto:sage [2018/06/16(土) 11:43:12.41 ID:nddTsUkO.net]
- >>465
たかしに
あんな惨めなポジで会社にしがみつくとか情けなさすぎて俺なら絶対できねえ
- 474 名前：デフォルトの名無しさん mailto:sage [2018/06/16(土) 11:59:56.47 ID:YcKtw1Mu.net]
- >>462
静的に値チェックがカリーハワード同型対応の下で示せるのが依存型のうれしさなので動的型で簡単と言われてもそれは不完全性としか聞こえない
- 475 名前：デフォルトの名無しさん mailto:sage [2018/06/16(土) 12:51:53.05 ID:zhL2QVJX.net]
- PythonもHaskell�
- 476 名前：熨S部やれば完全になるのに
同型対応というなら少なくとも2つの具体例を比較する必要がある
1つでは足りない [] - [ここ壊れてます]
- 477 名前：デフォルトの名無しさん mailto:sage [2018/06/16(土) 12:55:37.34 ID:gbp3I8hq.net]
- どうしてポンコツになったのか
|
 |
