Re: [閒聊] Scala 超短介紹(續1)

看板PLT (程式語言與理論)作者godfat (godfat 真常)時間15年前 (2009/08/17 12:00)推噓0(0推 0噓 0→)

留言0則, 0人參與討論串2/3 (看更多)

※ 引述《Schelfaniel (Schelfaniel)》之銘言： : def 是定義函式，它的格式是 : def 函式名稱(函數傳入值 : 型別) : 傳回值型別 = { 內容 } ^^^^^^^^^^^^ 有等號的話，回傳是 type inference 決定 : 但是傳回值型別，其實有時候編譯器可以判斷時可以省略的 : 而後面的 = 在沒有傳回值型別時可以省略，所以就變成 : def 函式名稱(函數傳入值 : 型別) { 內容 } ^^ 沒有等號的話，回傳一律是 Unit scala 定義 function/method 的寫法一堆，這邊講得似乎不太清楚。用舉例的應該比講解快... def f: Int = 10 其實這相近於 val f: Int = 10, 因為呼叫他時也不能加括號。在 scala 裡，如果 function/method 定義沒有 parameter 的括號，則呼叫時不能給括號。 f // 回傳 10 f() // error: f of type Int does not take parameters 但是如果當初寫： def f(): Int = 10 f // ok f() // ok 也就是說括號可打可不打。我不知道這樣設計的理由是什麼... def f = {return 123} // error: // method f has return statement; needs result type def f = {123} // ok, 大括號有打跟沒打一樣，return type 由 // type inference 決定 def f {return 123} // ok, 但沒有加 = 的結果是，return type 一律是 Unit // 這邊呼叫 f 並不會回傳 123 def f {123} // 同上 def f: Int {123} // error: illegal start of declaration 也就是說，有加 = 的話，return type 由 type inference 決定。有寫 type 的話，要和 type inference 結果符合。但如果沒加 = 的話，不管回傳是什麼，一律忽略，回傳 Unit. : 為什麼不用 <> 來表示樣板呢? : 因為 Scala 中，有內建 XML 型別的 val a = <test>test</test> 這是可以過的， : 所以它樣板全部改用 [] 來定義，而原本陣列等使用 [] 的， : 則變為和函數用的 () 一樣。原來是這樣啊？ XD 這也難怪 D 用了奇怪的符號，而 C++ 為了這個 <> parser 搞半天，出現一堆詭異的狀況... 而 scala 把 () 和 apply method 綁在一起，其實也滿清楚的。 ruby 是把 [] 和 call method 綁在一起，有時候看起來怪怪的。而 ruby 1.9 更引進了這種： f.() === f[] === f.call 混著亂用的話，應該會出現很難看懂的狀況。 : 眼細的人可能會注意到 (函數傳入值:型別)(函數傳入值:型別) 這樣兩個定義，這跟 curried function 有關，不過我覺得 scala 這個有點難用，不知道是不是有搞錯什麼... : 而第二個是程式區塊，型別是 T => Unit ( 輸入 T ，而輸出 Unit 表示不輸出 ) Unit 是表示不關心他的結果，但還是有結果，那個結果就是 Unit, 這個 Unit 只有一個唯一的 instance, 是 () 因此任何 return type 是 Unit 者，必然是回傳 () 可以看成 OOP 中的 singleton : Scala 把 A 拆成兩項，一個 object 一個 class。其實這個 object 和 class 本身應該是沒關係的，只是可以用同一個名字，因此看起來會像是 java static 似的？ : 注意的是這邊 Scala 預設下 public， : 而 object 中的 count 如果設 private 會讓 class A 也讀不到，因為其實是無關的東西，正好同名，才會出現這樣的狀況（吧？） : 其實，在對物件導向的初學者講解 static 時，常常會有人弄不懂， : 不管是說 static 是屬於 class 的，而非屬於 instance 的， : 或是說 static 時不用傳入 this，但 instance 時需要傳入 this。我覺得這來自 C 的包袱... C++ 為了少用 keyword, 避免佔用 programmer 可用的字眼，所以常常重複利用 keyword. 因此 static 就被這樣拿來用了。接著 Java 又為了跟 C++ 相似，所以繼續拿 static 來用... 我一直覺得應該換個名字。雖然他相對於 method, 確實是 static. 但仍然覺得這個名字乍看之下，很難讓人理解。 : 而這邊 Scala 就乾脆拆成兩個定義，靜態的放 object，動態的放 class，這樣講似乎有點怪，因為 object 應該比較像是 singleton, 倒不是動態靜態的差別。例如： class Base{ def f = "Base" } class Derived extends Base{ override def f = "Derived" } object Derived extends Base{ override def f = "object Derived" } val base: Base = Derived base.f // 回傳 object Derived 畫成繼承樹是像這樣： Base / \ Derived object Derived (singleton) 兩者其實沒有關係，而且都是動態的。 : 其次是 class A 的部份，咦??建構子呢?? : 其實 Scala 中，直接包在 class 的部份就算是建構子了， : 這邊我們連建構子的宣告定義都省了，就直接把內容包在 class 中， : 看起來也清爽多了吧。需要 overloading constructor 的話，用 def this(...) = ... : 另外 Scala 的陣列和 Java 有點不同。 : Java: : int[] a = new int[10]; : Scala: : var a : Array[Int] = new Array[Int](10) 這比較是因為 scala 沒有 primitive, 應該跟 java ArrayList 等相比 : 型態可省略 : var a = new Array[Int](10) type inference : Java 程式師要轉為 Scala 程式師，並不是很大的障礙， : 這障礙其實感覺比 C 轉到 C++ 還來得小。我不覺得咧 XD Java 很單純，但 Scala 性質很多，語法也很多變。也許可以這樣說：對於很熟悉 Java 的人，轉到 Scala 會比對於很熟悉 C 的人，轉到 C++ 來得容易些。對於不夠熟的人的話... Scala 應該會暈頭轉向 XD -- Nobody can take anything away from him. Nor can anyone give anything to him. What came from the sea, has returned to the sea. Chrono Cross -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 220.128.121.85