ага

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

что за пирс

а на haskell это совсем не хардкор

типы в языках программирования

https://www.cis.upenn.edu/~bcpierce/tapl/

еслиу нас не mut то все детерминировано

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

1 решение

смотри допустим у нас бы был разрешен defer в матче

но время работы не понятное

Foo(*(Foo(_,7),_) было бы валидно

где * обозначает что это поле мы дереференсим

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

кол-во * = кол-во dereference которые нужно сделать

да я понял

от обычного матча отличается только их количеством

что твой алгоритм, т.е. конечное действие

оно детерминировано

я говорю про "шаг" автомата

он не детерминирован

я не уверен что могу согласиться, но может просто много времени и я туплю

ну или я туплю и не правильно воспринимаю понятия

в любом случае - раст это не умеет

Я обжился в го чате, теперь сам как бабушка ворчу что троллят

Хех

Ору

Оп

Эта хня на расте иф чё. Ну что, кто попрется?

Я видать там проходом буду, так что мб приду пораньше даже.

Ну @alisabents хотел

Остальные вроде не признавались

Короч приходите СПБ https://goto.msk.ru/camp_autumn/

>спб

Видимо не так много питерцев активных

Активных в том плане чтоб запись увидеть хоть

Может в Гиттере больше

Хмм, надо туда запостить наверн

Приходишь, а там говорят, что писать можно только на го, гото же Но я бы сходил, жаль спб

goto go

Чуть раньше в СПБ был митап по геймдеву на расте. Вся движуха в Питере =)

Ага, только вроде тогда было не сильно очень, иди норм?

От своих знакомых слышал что уж слишком какие-то личные проблемы рассказывали

Не всем понять их боль

Ну так, +-, но народу было дофига

Там вроде по видосу судя зал был не большой

Ммм, любопытно

Или фотки я видел, где мужик с пивом

Ммм, любопытно

Хайповая ж тема

Хайповая ж тема

https://i.ytimg.com/vi/Q6kqUvb4I3Y/maxresdefault.jpg

Попытался распарсить его текст сонными глазами как chain, ну а внизу увидел В подумал блокчейн

Хайповая ж тема

У нас тут Антихайп как бе

Раст гавно

У меня цикл фор по 20к элементам 1,5 минуты занимает

Понял да

У меня цикл фор по 20к элементам 1,5 минуты занимает

Может ты на каком-то плохом подмножестве раста пишешь

Например на го

/stat@combot

combot.org/chat/-1001082778544

норм шутка

Даже не знаю, куда еще шуточки про го скидывать, как не сюда

Охуеть я тоже до утра сижу на работе, сейчас я шо теперь охуееный?

Нет, ты же гофер

Гофер просто пишет if err

Много раз

Поэтому так долго сидит

https://ic.pics.livejournal.com/_43_/5271848/35788/35788_original.jpg

Ну, блин, как можно пользоваться докером в 2к17, когда православный vagga завезли?

Ну ка подробнее

Ну, блин, как можно пользоваться докером в 2к17, когда православный vagga завезли?

Мне тоже стало интересно

> specialized for development environments.

разговор закрыт крч.

https://github.com/tailhook/vagga

> This is beta quality software лол

Эта хрень просто написана на расте, а не на го, поэтому некоторые особо фанатичные чересчур упарываются

разговор закрыт крч.

Поясни

Поясни

в то время как докер активно юзается в проде с масштабированием и прочими уже в общем то отработанными техниками, тут предлагают только дев окружение

Эта хрень просто написана на расте, а не на го, поэтому некоторые особо фанатичные чересчур упарываются

поясни свою мысль

поясни свою мысль

Vagga на расте, докер на го. Местные растофанбои топят за всё на расте. Остальное пофигу

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

разве что docker userland proxy какой