K
Size: a a a
2018 April 11
λO
переходить на IRC?
RS
На всякий случай
АГ
Здравствуйте, теплые страны
u
Предлагаем перенести на май доклад "Возможности использования формальных верификаций на Coq для простейших моделей смарт-контрактов" и послушать про Flow.
Да, хочу послушать про Flow – 21
👍👍👍👍👍👍👍 49%
Нет, не могу ждать до мая - хочу послушать про Coq в апреле – 14
👍👍👍👍👍 33%
Ook. Ook? Ook! Ook. – 8
👍👍👍 19%
👥 43 people voted so far.
Да, хочу послушать про Flow – 21
👍👍👍👍👍👍👍 49%
Нет, не могу ждать до мая - хочу послушать про Coq в апреле – 14
👍👍👍👍👍 33%
Ook. Ook? Ook! Ook. – 8
👍👍👍 19%
👥 43 people voted so far.
AZ
Давайте разбавим.
Y
Ребята, у нас внезапно появилась возможность послушать про Flow, его компилятор и оптимизацию. Язык давно используется в продакшене, сочетает в себе особенности функциональных и императивных языков и в чём-то похож на такие языки как F#, OCaml, Haskell, Scala.
Так вот что за таинственный язык из некоторой вакансии на hh.
2018 April 14
RR
я бы про смарт-контракты на Coq послушал лучше сначала
Y
Это не язык, а линтер для жс 🌚 на стероидах
Правда его компилятор на писан на ocaml, но вряд там много про него будет.
Правда его компилятор на писан на ocaml, но вряд там много про него будет.
Ололол. А в вакансии про жс стыдливо умалчивают: https://spb.hh.ru/vacancy/24334688?query=haskell
RG
Ребята, у нас внезапно появилась возможность послушать про Flow, его компилятор и оптимизацию. Язык давно используется в продакшене, сочетает в себе особенности функциональных и императивных языков и в чём-то похож на такие языки как F#, OCaml, Haskell, Scala.
и чем же он похож на хаскель?
RG
тем, что типы есть, наверно