URL: https://linuxfr.org/users/iug/journaux/lallocation-m%C3%A9moire-et-les-langages-fonctionnels
Title: L'allocation mémoire et les langages fonctionnels
Authors: iug
Date: 2004年03月03日T12:01:42+01:00
Tags: 
Score: 0
Imaginons un langage avec un garbage collector (style ocaml) et un programme de porc du style : 
 
{ 
variables_globales_d_init qui font 50 Mo ; 
variables_pour_la_suite qui font 50 Mo ; 
mon code d'init qui utilise les variables d'init ; 
mon code pour la suite qui utilise plus les variables d'init ; 
} 
 
Je me dis que les variables utilisées pour l'init vont jamais être libérées, à moins que le compilateur ait fait une analyse statique du code pour voir à quel moment les variables cessaient d'être utilisées. Si y'a pas d'analyse statique, alors je me trimbale avec un programme qui me prend 100 Mo au lieu de 50 Mo. Ou alors je peux désalouer la ram à la main en cassant la référence vers mais variables d'init, i.e. je me fais de la gestion mémoire à la mimine, ce qui limite largement l'intérêt du garbage collector :)
</div><div class="naked_ctrl">
<form action="/index.cgi/contrast" method="get" name="gate">
<p><a href="http://altstyle.alfasado.net">AltStyle</a> によって変換されたページ <a href="httpS://linuxfr.org/users/iug/journaux/lallocation-m%C3%A9moire-et-les-langages-fonctionnels.md">(-&gt;オリジナル)</a>
/ <label>アドレス: <input type="text" name="naked_post_url" value="httpS://linuxfr.org/users/iug/journaux/lallocation-m%C3%A9moire-et-les-langages-fonctionnels.md" size="22" /></label> <label>モード: <select name="naked_post_mode">
<option value="default">デフォルト</option>
<option value="speech">音声ブラウザ</option>
<option value="ruby">ルビ付き</option>
<option value="contrast" selected="selected">配色反転</option>
<option value="larger-text">文字拡大</option>
<option value="mobile">モバイル</option>
</select>
<input type="submit" value="表示" />
</p>
</form>
</div>