pyetras / relaks Goto Github PK

(VarSpace => Wynik) => (zmaterializowana) Tabelka

funkcja typu Nondet => Tabelka

(f(x) as 'result, x as 'parameter), przydatne do wierszy (tabelek). Obecnie kolumny dostają generyczne nazwy x{N}

Typ wyniku operacji map jest dokładnie określony przez wyjściową krotkę. Typ operacji flatMap może być złożony i w generalnym przypadku będzie nieznany, więc powinna być na nim wywołana kolejna operacja rzutowania

val x = choose between 1 and 10 
foo(x)
...

gdzie foo to dowolna funkcja scali Int => *

store(t: Tabelka)

Interpreter podstawowych operacji (wywoływanie funkcji, operacje arytmetyczne i boolowskie) i opisów optymalizacji

Gdzie atrybuty w drzewie mają więcej sensu.

Obecnie typ zmiennych trzeba podać explicite w definicji parametru funkcji mapującej, a nazwy wybieranych kolumn osobno: q.filter(Tuple1('nIteration))({(iter: Row[Int]) => iter(0) <= 10}). Składnia typu q.filter('nIteration is[Int])({row => row(0) <= 10}) powinna być do zrobienia i być przyjemniejsza w użyciu

z orderBy na by

via http://stackoverflow.com/questions/25474325/infer-hlist-type-when-building-the-list-with-a-macro