ок у меня вариадики не мапятся на то что в скале

И там до 22 элементов дописали, кажись :)

В дотти без ограничений вроде бы

Серьёзно? А как это сделано?

https://dotty.epfl.ch/docs/reference/dropped-features/do-while.html а вот тут я ни рожна не понял

Ну решили грамматику упростить, все равно do while, не очень часто в скале используются. Т.к. часто все равно приходится вместо циклов хвостовую рекурсию использовать

https://dotty.epfl.ch/docs/reference/other-new-features/explicit-nulls.html там есть и другие интересные фичи

Быстрей! Быстрей! ты с фбай?

Так у меня появился инет, отправляю пример с длиной тапла: import scala.compiletime._ object TupleExample with type Length[X] <: Int = X match case Unit => 0 case x *: xs => S[Length[xs]] inline def length(tuple: Any) <: Length[tuple.type] = constValue[Length[tuple.type]] // compiles summon[TupleExample.Length[(Int, Int, Int, Int)] =:= 4] // 4 println(TupleExample.length((1,2,3,4)))

Так у меня появился инет, отправляю пример с длиной тапла: import scala.compiletime._ object TupleExample with type Length[X] <: Int = X match case Unit => 0 case x *: xs => S[Length[xs]] inline def length(tuple: Any) <: Length[tuple.type] = constValue[Length[tuple.type]] // compiles summon[TupleExample.Length[(Int, Int, Int, Int)] =:= 4] // 4 println(TupleExample.length((1,2,3,4)))

@neftedollar @fvnever Такой пример с длиной и таплами понятен?

Ого, инт можно на тайплевел выносить?

Так у меня появился инет, отправляю пример с длиной тапла: import scala.compiletime._ object TupleExample with type Length[X] <: Int = X match case Unit => 0 case x *: xs => S[Length[xs]] inline def length(tuple: Any) <: Length[tuple.type] = constValue[Length[tuple.type]] // compiles summon[TupleExample.Length[(Int, Int, Int, Int)] =:= 4] // 4 println(TupleExample.length((1,2,3,4)))

constValue что за магический оператор?

constValue что за магический оператор?

И это не оператор а функция из scala.compiletime

Ну хорошо хоть не рекурсивную функцию

[slowpoke] let rec isNegative x = if x >= 0 then Ok x else match x with | -1 -> Error "must be non-negative" | -2 -> Error "must be non-negative" | -3 -> Error "must be non-negative" | -4 -> Error "must be non-negative" | -5 -> Error "must be non-negative" | -6 -> Error "must be non-negative" | -7 -> Error "must be non-negative" | v -> x + 5 |> isNegative

Надеюсь ты это придумал!

Надеюсь ты это придумал!

Реальность страшнее. http://govnokod.ru/

http://govnokod.ru/fsharp на f# говнокода нет официально!

Потому что на нём никто не пишет!

Я пишу

Не видал!

@fvnever ты поверишь @omgszer ?

А чего я не вижу — того нет

у меян даже гит есть

Давай расшарю тебе экран

Выдумки!

@DogeShibu а что сейчас вместо акки использують?

Мне тоже интересно. Появились другие крутые фреймворки, или просто другой подход используют?

Давай расшарю тебе экран

У наших загорелых братьев научился? Те тоже всё норовят скрин расшарить

фу опять БД

не надо писать свою бд

Так как только будут нужны какие-то запросы по многим сущностям, то и в орлинс придется свои подпорки городить.

по заветам cqrs

Тогда на каждый запрос городить какое-то свое мат представление, причем руками Очень удобно, прям зашибись