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