ленивые определения функций в scala

Question

Я изучаю scala, и я должен сказать, что это действительно классный язык. Мне особенно нравятся его возможности сопоставления шаблонов и литералы функций, но я исхожу из javascript, рубинового фона и одного из моих любимых шаблонов на этих языках - это ленивый шаблон определения функции и метода. Пример в JavaScript является

var foo = function() { 
    var t = new Date(); 
    foo = function() { 
    return t; 
    }; 
    return foo(); 
}; 

Тем же самый код с небольшими ухищрениями работает в рубине, где вы просто использовать объект одноплодного переопределить метод после того, как вычисление выполняются. Такие вещи действительно очень полезны, когда задействованы дорогостоящие вычисления, и вы не знаете заранее, если вам понадобится результат. Я знаю, что в scala я могу использовать кеш, чтобы имитировать такой же результат, но я стараюсь избегать условных проверок, и до сих пор мои эксперименты дали отрицательные результаты. Кто-нибудь знает, есть ли в scala шаблон ленивой функции или метода?

Примечание: код javascript относится к продукту Peter Michaux's site.

Answer 1

Все, что сложный код в JavaScript, похоже, просто пытается кэшировать значение даты. В Scala, вы можете достичь того же тривиальным:

lazy val foo = new Date 

И, если даже не хотят, чтобы сделать ВАЛ, но хотите вызвать функцию, которая будет выполнять только дорогой код, если он нуждается в этом, вам может

def maybeExpensive(doIt: Boolean, expensive: => String) { 
    if (doIt) println(expensive) 
} 
maybeExpensive(false, (0 to 1000000).toString) // (0 to 1000000).toString is never called! 
maybeExpensive(true, (0 to 10).toString)  // It is called and used this time 

где картина expensive: => String называется по имени параметра, который вы можете думать, как «Дайте мне что-нибудь, что будет генерировать строку по запросу.» Обратите внимание, что если вы используете его в два раза, он будет восстанавливать его каждый раз, который является, где удобно картина Рэндалла Шульца»приходит в:

def maybeExpensiveTwice(doIt: Boolean, expensive: => String) { 
    lazy val e = expensive 
    if (doIt) { 
    println(e) 
    println("Wow, that was " + e.length + " characters long!") 
    } 
} 

Теперь можно создавать, только если это необходимо (с помощью параметра по имени) и сохраните его и повторно используйте, если вам это нужно снова (через ленивый вал).

Так сделайте это так, а не JavaScript, даже если вы можете сделать Scala очень похож на JavaScript.

Answer 2

Scala имеет lazy val s, инициализаторы которого не оцениваются до тех пор, пока не будет использован вал. Lazy vals могут использоваться как локальные переменные метода.

Scala также имеет параметры метода by-name, фактические выражения параметров которых завернуты в thunk и что thunk оценивается каждый раз, когда формальный параметр ссылается на тело метода.

Вместе они могут использоваться для достижения ленивой семантики оценки, например, по умолчанию в Haskell (по крайней мере, в моем очень ограниченном понимании Haskell).

def meth(i: => Int): Something = { 
    //  ^^^^^^ by-name parameter syntax 
    lazy val ii = i 
    // Rest of method uses ii, not i 
} 

В этом методе, выражение используется в качестве фактического параметра будет оцениваться либо ноль раз (если динамический путь выполнения тела методы никогда не использует ii) или один раз (если он использует ii один или несколько раз) ,

Answer 3

Я думаю, что вы имеете в виду «ленивую функцию», это функция буквальной или анонимной функции.

В Scala вы можете делать такие вещи, очень похожие на код javascript, который вы опубликовали.

val foo =() => { 
    val t = new Date() 
    val foo =() => {t} 

    foo() 
} 

println ("Hello World:" + foo()) 

Основное отличие заключается в том, что:

• Вы не могли бы переназначение внешнего Foo
• Там нет "функции" ключевого слова, вместо того, чтобы использовать что-то вроде (ы: String) = > {code}
• Последний оператор - это возвращаемое значение блока, поэтому вам не нужно добавлять «возврат».

Answer 4

Вы можете определить ленивый Вал, который является функцией:

lazy val foo = { 
    val d = new Date 
() => { d } 
} 

println(foo()) 

foo() теперь будет возвращать тот же дату объекта каждый раз, объект, который будет инициализирован в первый раз Foo называется.

Чтобы объяснить код немного, первый раз, когда выполняется foo Тогда foo - это функция без параметров, возвращающих d.

Answer 5

Я не известно ничего о Ruby, но Скала одноплодного шаблон объекта также:

Welcome to Scala version 2.8.0.r22634-b20100728020027 (Java HotSpot(TM) Client VM, Java 1.6.0_20). 
Type in expressions to have them evaluated. 
Type :help for more information. 

scala> object LazyInit {          
    |  val msec = { println("Hi,I'm here!"); System.currentTimeMillis } 
    | } 
defined module LazyInit 

scala> System.currentTimeMillis            
res0: Long = 1282728315918 

scala> println(System.currentTimeMillis +" : " + LazyInit.msec)    
Hi,I'm here! 
1282728319929 : 1282728319930 

scala> println(System.currentTimeMillis +" : " + LazyInit.msec) 
1282728322936 : 1282728319930 

scala> println(System.currentTimeMillis +" : " + LazyInit.msec) 
1282728324490 : 1282728319930 

scala> 

Если вы хотите, чтобы получить функцию, вы можете сделать это подтипом типа функции:

scala> object LazyFun extends (() => Long) {    
    |  val msec = System.currentTimeMillis   
    |  def apply() = msec       
    | } 
defined module LazyFun 

scala> System.currentTimeMillis       
res2: Long = 1282729169918 

scala> println(System.currentTimeMillis + " : " + LazyFun()) 
1282729190384 : 1282729190384 

scala> println(System.currentTimeMillis + " : " + LazyFun()) 
1282729192972 : 1282729190384 

scala> println(System.currentTimeMillis + " : " + LazyFun()) 
1282729195346 : 1282729190384 

Answer 6

I подумайте, что некоторые из респондентов были немного смущены тем, как вы сформулировали вопрос. Scala вы хотите построить здесь просто ленивым определение:

lazy val foo = new java.util.Date 

строительство объекта Date будет происходить не более одного раза и не будет отложено до первой ссылки на обув.