>>64
ホットコードローディングには動的型付けによる実行時型検査が必須
ダウンタイムの極小化を目指すOTPの目的から、動的型付け以外は無理
ホットローディングが必要な業務系で昔からCommonLispが使われてきたのと同じ