Rustの所有権、ライフタイム、参照、型、しがらみ | κeenのHappy Hacκing Blog
κeenです。Rustには所有権やらライフタイムやら参照やらがあって型システムが面倒ですよね。線形（アフィン）と言われてるのに「あれ？」と思う部分もあるので詳しく探っていこうと思います。 尚、この記事は型システムに興味のある人向けです。単にRustを書きたい方に有用な情報があるかは分かりません。 2016-212-14T15:28Z09:00 加筆訂正しました。diffはこちら 線形型？アフィン型？ はじめにこの辺をハッキりさせておきたいです。 アフィン型は線形型に弱化規則を許す型です。 プログラミング的に言えば線形型は free しないと型エラーになるけどアフィン型はそうでない。 Rustはご存知の通り free 相当のものを手で書くことはないのでアフィンな気がしますし、昔のドキュメントにもそう書いてました。 しかし実際に実行されるプログラムではコンパイラが差し込んだ free が実行さ
Haskell in the Datacentre · Simon Marlow
Haskell in the Datacentre December 8, 2016 At Facebook we run Haskell on thousands of servers, together handling over a million requests per second. Obviously we’d like to make the most efficient use of hardware and get the most throughput per server that we can. So how do you tune a Haskell-based server to run well? Over the past few months we’ve been tuning our server to squeeze out as much perf
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
