S
Я что один здесь считаю что зав типы это редукция домена состояний типа путем квантификации предикатами логики первого порядка ?
Size: a a a
2020 May 27
S
Вот
S
Смотри
S
Достаточно абстрактно
S
?
SP
все равно что чуваки которые говрят что в расте self нужно явно писать
а что не так? в статик не пишешь. топ идея же
AZ
Я что один здесь считаю что зав типы это редукция домена состояний типа путем квантификации предикатами логики первого порядка ?
разовьешь мысль?
p
все равно что чуваки которые говрят что в расте self нужно явно писать
да, нужно явно писать. чтобы знать откуда переменная - из self, или из функции.
S
разовьешь мысль?
Куда
r
Я что один здесь считаю что зав типы это редукция домена состояний типа путем квантификации предикатами логики первого порядка ?
x*2
S
red75prime
x*2
Это что тролинг
p
потому что это считай конечный автомат - важно понимать ты меняешь данные у состояния, или ты работаешь с данными которые пришли извне.
AZ
а что не так? в статик не пишешь. топ идея же
мне непонятно когда
x.foo.bar.baz() это збс и топ, аx |> foo |> bar |> baz
это сложная и нипонятнаp
с иммутабельными все проще, но иммутабельно никто не пишет.
AZ
|> вместо точечеки это пиздец и распидорасило? 1 символ который отличается ломает ментальную картину кода?
p
мне непонятно когда
x.foo.bar.baz() это збс и топ, аx |> foo |> bar |> baz
это сложная и нипонятнаэто норм
SP
мне непонятно когда
x.foo.bar.baz() это збс и топ, аx |> foo |> bar |> baz
это сложная и нипонятнаво втором случае ты теряешь контекст. но в расте он и так теряется кек
p
map (+1) foo
не норм
не норм
AZ
во втором случае ты теряешь контекст. но в расте он и так теряется кек
какой контекст ты теряешь?
DS
Тем что второе более декларативно, проще, и логичнее
Так можно вторую запись устроить и в хаскеле, было бы желание:
import Data.Function ((&))
foo = [1,2,3]
bar = foo & map (+3)