システムプログラミング言語. 型推論やパターンマッチなどの近代的な言語機能を備えており,効率的かつ安全性が保証されたプログラムを作ることが出来る.プログラマはしばしば「借用チェッカー」との闘いに時間を費やすことになる.
9:05 AM - 31 Jan 2018
0 replies
0 retweets
3 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.