М
В парити так сильно впечатлились этими своими "хаками", что начали всерьез работать над тем, чтобы уйти от Solidity и EVM к чему-то, что компилится в WebAssembly. Хотя по-моему это тупик, и просто более ответственных людей надо брать на смарт-контракты
Евгений
я не очень шарю в последних тенденциях, но это все ещё про Haskell?
Это из расточата набег (судя по обсуждению)
М
а не JS макак
Vladimir
Там тупик хотябы в том, что они доказывают завершаемость лимитом "газа" и подсчетом инструкций
a66ath
М
Там тупик хотябы в том, что они доказывают завершаемость лимитом "газа" и подсчетом инструкций
с этим как раз все норм, ведь этот код будет крутиться потом на каждой машине, кототрая будет этот контракт проверять
М
тут уже не до чистоты и reasoning'а
Евгений
с этим как раз все норм, ведь этот код будет крутиться потом на каждой машине, кототрая будет этот контракт проверять
В блокчейн-мире всё как у Жарова: "Поэтому, если выбирать между комфортом и безопасностью, я выбираю безопасность"
Cheese
В блокчейн-мире всё как у Жарова: "Поэтому, если выбирать между комфортом и безопасностью, я выбираю безопасность"
...не заслуживает ни того, ни другого
М
никто не хочет переложить ethereum yellow paper на хаскель?
Cheese
М
я вот сижу думаю как бы провернуть эту штуку, свой эфир
Слава
...не заслуживает ни того, ни другого
Классический аналог мира блокчейна вообще живёт на мейнфреймах и коболе.
М
М
в двух словах все в этой бумажке
М
но к сожалению не всё, куски документации разбросаны по всему интернету
Слава
Поприветствуем HR
Leonid 🦇
Say blockchain once again, motherfucker. I dare you! I double dare you!
Слава
Тут в соседнем чате го-вакансий два эйчара сцепились.
Leonid 🦇
у метро по объявлению "работа для вас"
Cheese
здесь
Cheese
откровенно спамная формулировка
Сергей
никто не хочет переложить ethereum yellow paper на хаскель?
http://hackage.haskell.org/package/ethereum-client-haskell
Сергей
всяко уже есть реализация
Слава
Кого ищете и на какие вакансии?
Евгений
Все хаскель-работодатели здесь представлены хотя бы сотрудниками
Dmitry
офтоп
Andrei
Все хаскель-работодатели здесь представлены хотя бы сотрудниками
ну мало ли, вдруг там можно писать на чём хочешь
Dmitry
Пайтон и ПХП. только Хаскель, Идрис и Coq.
Andrei
а здесь это зачем?
Dmitry
и окамл.
Евгений
Предлагаю это стереть
Dmitry
у руста свой чатик же есть
Cat
Евгений
Я думаю и у окамла есть
A64m
у окамла совмещенный с ризоном
Cheese
@dinadzho, если нужны будут хаскелисты, приходите. питон и пхп здесь не комильфо
Dmitry
ну нам не жалко
Dmitry
или жалко?
Евгений
Да вроде не жалко
Andrei
Дина сюда с питона/пхп обычно cбегают
Дина
Не ругайтесь , мальчики . Я с первого раза понимаю
Евгений
Это от эффекта ложной надежды
Leonid 🦇
Вот я ругался на сервант и сваггер. Но когда таки запилена основная бойлерплейт инфраструкрута - то в общем ничего. И свагерский апи-эксплорер очень полезен для сторонних разрабов оказался. Не зря мучался. (Но мучений должно быть меньше)
Aleksei (astynax)
когда всё написано, то уже ничего. Как только что-то трогаешь, сразу вспоминаешь всё то "чего", что было при написании :)
Leonid 🦇
не. добавлять эндпоинты уже меньшая боль.
Aleksei (astynax)
Ты привык к боли и принял её?
Leonid 🦇
ну это уже не та боль. То была боль как когда колено сломал. А это уже похоже на то как ноет потом в дождливую погоду, или если неудачно встал
Aleksei (astynax)
фантомные типы :)
Cheese
боль фантомного типа
Leonid 🦇
marker: PhantomData<&'a T>,
Aleksei (astynax)
на улице опять полило. Вздохнув, я попытался вставить новый эндпоинт, но тут кольнуло фантомным типом. "Это ничего", подумал я, тогда сильнее болело...
Leonid 🦇
Кто сервант прошел, тот мертвый боейлерплейт со стола не смахивает на пол. А собирает в пакетик.
саша
marker: PhantomData<&'a T>,
я наверное тупой, но я до сих пор не понял зачем это надо
Cheese
знатоки C-H/d-p вообще и @qnikst в особенности! этот инструмент применим в рамках одного процесса (ОС)? то есть только чтобы между сущностями внутри одной ноды общаться
Leonid 🦇
я наверное тупой, но я до сих пор не понял зачем это надо
это нужно затем что часто компилятору не докажешь что ты прав и приходится обмазываться указателями. Но и все гарантии терять не хочется
Alexander
применим, но оверкил
Alexander
с другой стороны я не знаю полноценных других готовых реализаций
Alexander
с @irezvov мы что-то делали давно, может рабочее
Cheese
всякие Queue и Chan разных цветов?
саша
это нужно затем что часто компилятору не докажешь что ты прав и приходится обмазываться указателями. Но и все гарантии терять не хочется
а, теперь понял (не факт), спасибо
Leonid 🦇
в книжке же есть
Leonid 🦇
TBMChan