OS
truffle как бы вроде технически мог бы
Size: a a a
2018 August 08
ПФ
но почему? Это же очевижным образом делается для простых случаев! (см. котлин)
OC
в трюфеле вроде есть механизм, который позволяет кастомно обработать хвостовую рекурсию, если ты (как создатель конкретного DSL) знаешь - как
OS
да, там через эксепшны сделано
ПФ
да, там через эксепшны сделано
как эксепшны?
ПФ
там вроде дополнительная переменная и вечный цикл
OC
причем там очень хитрые экзепшены, если трюфель при сборке видит, что они не нужны, он их заменяет на условные переходы
OC
емнип в simple language так сделан оператор return. Кажется что он с оверхедом, потому что экзепшен, а на самом деле нет
OS
короче скоро уже же в джаве будут, через год например
ПФ
tailrec fun findFixPoint(x: Double = 1.0): Double
= if (x == Math.cos(x)) x else findFixPoint(Math.cos(x))
ПФ
Compiled from "test.kt"
public final class TestKt {
public static final double findFixPoint(double);
descriptor: (D)D
Code:
0: dload_0
1: dload_0
2: invokestatic #11 // Method java/lang/Math.cos:(D)D
5: dcmpg
6: ifne 13
9: dload_0
10: goto 21
13: dload_0
14: invokestatic #11 // Method java/lang/Math.cos:(D)D
17: dstore_0
18: goto 0
21: dreturn
public static double findFixPoint$default(double, int, java.lang.Object);
descriptor: (DILjava/lang/Object;)D
Code:
0: iload_2
1: iconst_1
2: iand
3: ifeq 8
6: dconst_1
7: dstore_0
8: dload_0
9: invokestatic #17 // Method findFixPoint:(D)D
12: dreturn
}
ПФ
казалось бы — что может быть проще?
ПФ
Я тут думал судокусолвер написать и посмотреть ускорит ли его граль )
OC
Идея в том, что на уровне Трюфеля мы можем понять, стоит ли нода AST в позиции tail call. Если да, то мы кидаем экзепшен, что обрывает стандартное исполнение и обрабатываем специальным образом. (Если нет, то обрабатываем как обычно)
ПФ
Идея в том, что на уровне Трюфеля мы можем понять, стоит ли нода AST в позиции tail call. Если да, то мы кидаем экзепшен, что обрывает стандартное исполнение и обрабатываем специальным образом. (Если нет, то обрабатываем как обычно)
но это должно быть адово плохо по перфомансу, нет?
ПФ
или оно ток один раз кидается?
ПФ
проблема котлина в том, что факториал уже не оптимизируется
OC
при записи оно выглядит как будто бы это адовейший перфоманс хит
OC
в реальности трюфель использует какие-то хитрые метаоптимизации, и в простых случаях элиминирует экзепшены, заменяя обычными вызовами функций, условными переходами и циклами