看板 PLT 關於我們 聯絡資訊
看懂了,不過不知道該說什麼,那就隨意閒聊一下...希望能拋磚引玉 :p ※ 引述《noctem (noctem)》之銘言: : 把 type 和 value 混一起到底好不好,則是目前仍沒有定論的。 我在一開始知道把 type 和 value 混在一起的這種作法後, 直接就覺得這樣做肯定能夠帶來多上許多的表達能力。 不過後來漸漸又覺得,這樣做其實帶來非常大量的複雜性, 使得我開始有些搞不清楚 type 和 value 之間的差異... 簡單地說其實就是有點困惑,總覺得應該是很好的東西, 但好像非常有障礙似的...。 不知道這是代表有著更高許多的門檻,或是機制還不夠成熟呢? :p -- Hear me exalted spirits. Hear me, be you gods or devils, ye who hold dominion here: I am a wizard without a home. I am a wonderer seeking refuge. Sacrifice -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 220.135.28.18
noctem:我現在也還是常弄錯。除了需要時間熟悉,我想一個問題是越 12/01 11:11
noctem:抽象的 type system 越難產生看得懂的 error message.. 12/01 11:13