トップ «前の日記(2016-02-21) 最新 次の日記(2016-02-28)» 編集

はじめてのにき

ここの位置付け

2004|11|
2005|03|04|05|06|07|08|09|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|
2012|01|02|03|04|05|06|07|08|09|10|11|12|
2013|01|02|03|04|05|06|07|08|09|10|11|12|
2014|01|02|03|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|08|09|10|11|12|
2016|01|02|03|04|05|06|07|08|09|10|11|12|
2017|01|02|03|04|05|06|07|08|09|10|11|12|
2018|01|02|03|04|05|06|07|08|09|10|11|12|
2019|01|02|03|04|05|06|07|08|09|10|11|12|
2020|01|02|03|04|05|06|07|08|09|10|11|12|
2021|01|02|03|04|05|06|07|08|09|10|11|12|
2022|01|02|03|04|05|06|07|08|09|10|11|12|
2023|01|02|03|04|05|06|07|08|09|10|11|12|
2024|01|02|03|04|

ToDo:


2016-02-27

_ 限定継続

http://wasabiz.hatenablog.com/entry/2013/10/03/124200

何が起きるかはわかるんだけど、なぜそれが欲しいのか、ってのがよくわからなくて。

たしかだいぶ前に聞いた時は、

  • スタックの一部しか切り取らなくていいから実装が軽くなりうる
  • 意味論の記述に便利(?)

みたいな話だったような気がする。前者はまあそいうもんだろうという気がするけど、後者はそうかいなという感

意味論て公理的表示的操作的とあって公理数学表示コンパイラ操作インタプリタ、R5RSが表示R6RSが操作、とメモ

(02:39)

_ プログラミング言語誤表記四天王

Javascript Ocaml Haskel SmallTalk

(04:48)

_ パフォーマンス

スタック使う実装だと大雑把に言ってこの順で良いという理解

  • 例外(sjlj): レジスタのコピーだけ
  • コルーチン: ↑に加えてアロケーション
  • 限定継続: ↑に加えて reset/prompt などまでのスタックのコピー
  • 継続: ↑に加えて全スタックのコピー

使わない実装だとどうなんの。

スタックフレームがヒープにあるようなやつだと、 GC のマークだけする感じだろうから全部似たようなもんかな

(11:42)

本日のツッコミ(全4件) [ツッコミを入れる]
_ ujihisa (2016-02-27 10:18)

Vimscript

_ shinh (2016-02-27 10:49)

何が間違ってるんだろうと思ったら、間に空白が必要なんですね。 BrainFuck とかとともに四天王二軍として活躍していただきたい

_ shiro (2016-02-27 19:16)

スタック領域を可変(stack topだけでなくstack bottomもポインタを持っておく)にしておいて、継続が捕まったらbottomをtopに合わせてしまう、という実装もあります。bottomより下はヒープ扱い。スタック領域が足りなくなったらGC。

_ shinh (2016-02-27 22:48)

あーなるほど。なにやらおしゃれな感じですね。

お名前:
E-mail:
コメント:
人生、宇宙、すべての答え
本日のリンク元

2016年
2月
1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29
1.shinh(2016-02-28 15:58) 2.mak(2016-02-28 15:15) 3.shinh(2016-02-28 13:30)
search / home / index

全てリンクフリーです。 コード片は自由に使用していただいて構いません。 その他のものはGPL扱いであればあらゆる使用に関して文句は言いません。 なにかあれば下記メールアドレスへ。

shinichiro.hamaji _at_ gmail.com / shinichiro.h