最近の検索
検索オプション
セマンティクスを理解してない言語なんて「書ける」うちに入らないし、セマンティクスを理解するためには抽象機械をイメージできる必要があるし、結局「いいからローレベルな機械を勉強しろ」になるんだよな……
いやべつに純粋関数型言語とかをやるならローレベルな機械である必要はないけど……項書換え系がわかるなら普通に意味論読めるでしょ
セマンティクスを理解してない言語なんて「書ける」うちに入らないし、セマンティクスを理解するためには抽象機械をイメージできる必要があるし、結局「いいからローレベルな機械を勉強しろ」になるんだよな……
いやべつに純粋関数型言語とかをやるならローレベルな機械である必要はないけど……項書換え系がわかるなら普通に意味論読めるでしょ