Т8
а что, плюсовики физиологически не должны воспринимать хаскель?
не то, что не должны. Но просто это довольно странное сочетание
Size: a a a
2020 April 28
AZ
Т-34 85
не то, что не должны. Но просто это довольно странное сочетание
цитируя великих "редкие вещи происходят постоянно"
AZ
мне вот нравится хаскель, но я 100% времени пишу сишарп, и чуть-чуть раст
AZ
чем больше знаю про типчики тем больше горю что шарп такое говно
AZ
но продолжаю писать
Т8
но продолжаю писать
ну ты же ХОЧЕШЬ свитчинуться?
AL
все в курсе же? https://github.com/gluon-lang/gluon
AL
На замену Lua?
G
хзхз
AL
Вообще не вижу никак проблем в их существовании
AZ
Т-34 85
ну ты же ХОЧЕШЬ свитчинуться?
хочу, тем не менее я шарпист. А челик даже с плюсов уходить не хочет
AZ
энивей, его желания никак не преуменьшают то что он классный плюсовик
AZ
и круто шарит в теме
AZ
и команда у него крутая
AZ
но чето они все равно уб через уб делают
Т8
но чето они все равно уб через уб делают
и что? Делает и делает - и ладно
SP
царь говорит он просто слабак
AZ
@hirrolot почему не компилится?
AZ
add : (a: Int) -> (b: Int) -> (c: Int, c >= a && c >= b)
add a b = (a + b, Refl)