在書中編寫函數`selfApp` *類型和編程語言*在scala中

Question

可以寫這個函數是Scala嗎？或者其他語言？

Answer 1

我不認爲這是可能的在Scala沒有包裝在一個額外的對象的功能。這樣做的一個方法是：

type XtoX = {def apply[X](x: X): X } 
def selfApp(f: XtoX): XtoX = f(f) 

現在，您可以定義一個對象具有適當類型的應用方法是這樣的：

object ID { def apply[X](x: X): X = x } 

並調用selfApp爲selfApp(ID)，這將直接返回它給出的對象。然而，這不起作用：

def id[X](x: X): X = x 

selfApp(id) 

你也不能使用匿名函數x => x。這是因爲當傳遞方法或匿名函數時，表示爲FunctionN對象，並且FunctionN特徵具有單態（即非泛型）功能。所以你需要自己使用一個通用的apply方法明確地創建一個對象。

---

在Haskell中，你可以通過使用RankNTypes擴展這樣做沒有任何包裝：

{-# LANGUAGE RankNTypes #-} 
selfApp :: (forall x. x -> x) -> (forall x. x -> x) 
selfApp f = f f 

---

，當然還有在動態類型語言，你可以只寫功能，無需擔心類型。例如在Python中：

def id(x): return x 
def selfApp(f): return f(f) 
print(selfApp(id)(42)) # Just works - no extensions, no wrapping, no nothing