ちゃんとtapl読まないまま卒業しそう、形式論理とか型システムの研究室所属なのに
gadtとかだとなんかだいぶキモい型の中での計算みたいなことができてしまって、型付けがムズいみたいな話を聞いたことがあった気がする
コンパイル時計算するときに型が欲しくなりますね？
java10からなの！！？ 意外と昔から使えるんだね
てかvarって17とかからじゃなかったっけ
10とか"hello"とかなんか直接書くやつがリテラル
最近はideがいい感じに型を出してくれるから、varだけで伝わります image
e~~~
まず、時かけを見ます
これを感じている
X (formerly Twitter)
pdawg (@prathamgrv) on X
in your 20s, a time will come for an international trip that feels way too expensive, and it’s very important that you say yes to it