作為程序員的我們用不同編程語言寫程序多年了。 我們是否反思過，為什么需要程序，為什么我們需要編程語言，究竟什么是編程語言，它們是怎樣運作的？同時，函數(shù)式編程范式現(xiàn)在是一門很熱...
發(fā)簡信
IP屬地：廣東
-
對類型理論(Type Theory)的理解
作為程序員的我們用不同編程語言寫程序多年了。 我們是否反思過，為什么需要程序，為什么我們需要編程語言，究竟什么是編程語言，它們是怎樣運作的？同時，函數(shù)式編程范式現(xiàn)在是一門很熱...