7,400 followers
What is the formal definition of "expression" in functional programming? It's referenced in this article on colored Petri nets. https://t.co/RDRM0wsSkC
What is the formal definition of "expression" in functional programming? It's referenced in this article on colored Petri nets. https://t.co/RDRM0wsSkC
http://t.co/V2HlJowbpP LamportはFloydとHaoreの功績をプログラムを「state transformer」として認識させてくれたこととしてる。関数ていうのは言い過ぎなんだろうか。