【Erlang】プログラム言語 Elixir 【BEAM】 [転載禁止]©2ch.net (343ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
68(2): 64 2015/09/19(土)17:43 ID:q5LVhQun(1) AAS
>>65
ありがとう
この辺（型付けとホットスワップの関連）よく知らないのでweb上に参考になる文書とかありませんか？
69: 2015/09/19(土)18:37 ID:I9CWDfzW(1) AAS
>>68
静的型付けだとコンパイル時に決まるから堅いコードが書けるという事は周知の事だよね。
でもその場合実行コードにバグがあったり、想定外の事態がおきたときに現場でプロセスを生かしたまま差し替えとかできないでしょ。
動的型付けな言語だと実行時でもコードの差し替えが効くって事だと思っておいてよいよ(動的言語でも開発環境ごととかVM制御コンソールもってない言語だとできないのだけど)
たとえば、想定外のデータが来てエラー状態で保留になったスレッドに対して他のスレッドに影響を与えずに実行時スタックトレースの途中から型に修正を入れたコードを実行とかするってこと。
それがよいことかどうかっていう議論は静的型付け言語と動的型付け言語の論争の一つではあるけど動的型付け言語の一部はこの機能があるから好まれているってのは事実(CommonLispとかSmalltalkね)
70(1): 2015/09/19(土)21:17 ID:dgpmJE92(2/2) AAS
>>68
ごく大雑把に言うと、静的型付けの言語は基本的に実行時には型情報を捨ててしまっているので、
メモリ破壊を引き起こさずに実行時にある関数の型を差し替えるとかいうことが難しい
動的型付けの言語は実行時に型情報を持ってるので、
データのシェイプが実行時に変動してもなんとかなる。
＃ まあ、コード内で実行時型検査システムをまるまる作れば静的型付けでもできるけどな
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s