SS
добавлено require и многое другое
Minoru
утро!
Size: a a a
2021 February 17
c
Minoru
> <@power_mew> вообще не понимаю, почему гринфилд любят: такая же труха, как и липтон. Только присадок больше
а бывает листовой липтон? Я не помню такого
> <@power_mew> вообще не понимаю, почему гринфилд любят: такая же труха, как и липтон. Только присадок больше
а бывает листовой липтон? Я не помню такого
O
даже листовый гринфилд так себе
c
Minoru
уже да. Год назад был норм, а потом действительно стал мельчать и в итоге превратился в горькую труху
уже да. Год назад был норм, а потом действительно стал мельчать и в итоге превратился в горькую труху
D
Чай из обычного магазина, к сожалению, везде таков :(
c
Minoru
> <@ChezScheme> Друзья, я зашёл в этот канал о кодинге послушать/поговорить. Жду уже третий день, когда же про кодинг-то будет. Потому что неловко самому-то начинать, всё-таки новый незнакомый.
привет! Спасибо, что сказал — я тут пытаюсь оффтоп подавлять, но пока ещё не всех уговорил перейти на мою сторону :) Вообще, вчера мы с sergevp болтали про задачки на codewars, были упоминания про бандлеры для JS, наверняка ещё какие-то темы проскакивали… Ты просто не стесняйся встревать в беседу, если тебе интересно
> <@ChezScheme> Друзья, я зашёл в этот канал о кодинге послушать/поговорить. Жду уже третий день, когда же про кодинг-то будет. Потому что неловко самому-то начинать, всё-таки новый незнакомый.
привет! Спасибо, что сказал — я тут пытаюсь оффтоп подавлять, но пока ещё не всех уговорил перейти на мою сторону :) Вообще, вчера мы с sergevp болтали про задачки на codewars, были упоминания про бандлеры для JS, наверняка ещё какие-то темы проскакивали… Ты просто не стесняйся встревать в беседу, если тебе интересно
f
про линейные типы и proof interleaving отличный был видосик, опять же
c
Minoru
@Devel29A: я не очень гурман, так что дорогой из обычного магазина мне норм. Сейчас Ахмад такой же, каким раньше был Гринфилд. Ещё вот беру Дилму и Базилюр, они мягче и не такие крепкие
@Devel29A: я не очень гурман, так что дорогой из обычного магазина мне норм. Сейчас Ахмад такой же, каким раньше был Гринфилд. Ещё вот беру Дилму и Базилюр, они мягче и не такие крепкие
c
Minoru
@folexeyy: хардкор какой-то!
@folexeyy: хардкор какой-то!
f
ваще
f
а ты посмотри на синтаксис этого ATS
f
fun
fibats{n:nat}
(n: int (n))
: [r:int] (FIB (n, r) | int r) = let
//
fun
loop
{i:nat | i <= n}{r0,r1:int}
(
pf0: FIB(i, r0), pf1: FIB(i+1, r1)
| n_i: int(n-i), r0: int r0, r1: int r1
) : [r:int] (FIB(n, r) | int(r)) =
(
if (n_i > 0)
then
loop{i+1}
(
pf1, FIB2(pf0, pf1) | n_i-1, r1, r0+r1
) (* then *)
else (pf0 | r0)
// end of [if]
) (* end of [loop] *)
in
loop{0}(FIB0(*void*), FIB1(*void*) | n, 0, 1)
end // end of [fibats]f
мрачняк
D
fun loop!
f
f
всмысле крутейшая работа
f
но представляеете если бы она записала всё в один заход?
t
просто склеила, meh
ну зато она там "переодевается"