@fsharp_flood - страница 1024

Vasily

Чем им не угодила та же Lua, остается только догадываться

x

Fift? это как Swift но без передних зубов?

Doge

Чем им не угодила та же Lua, остается только догадываться

Меня скорее удивляет, что никто не берет для смарт контрактов что-то с зав типами. Отличное же применение было бы: тебе и проверка на тотальность, и возможность получить смарт контракт с док-ом корректности и т.д. и т.п. Небось и примерный расчет стоимости операций на indexed монадах можно сделать

Vasily

Меня скорее удивляет, что никто не берет для смарт контрактов что-то с зав типами. Отличное же применение было бы: тебе и проверка на тотальность, и возможность получить смарт контракт с док-ом корректности и т.д. и т.п. Небось и примерный расчет стоимости операций на indexed монадах можно сделать

Лично меня это не удивляет, потому как вряд ли люди, занимающиеся криптой, вообще слышали про завтипы

Doge

Лично меня это не удивляет, потому как вряд ли люди, занимающиеся криптой, вообще слышали про завтипы

Это конечно, да, но те же проверки на тотатльность так и просятся

Vasily

Это конечно, да, но те же проверки на тотатльность так и просятся

Это они тебе на ум приходят, там же критерии другие

Ayrat

Бля, почитал описание https://test.ton.org/fiftbase.pdf Как мне это развидеть?

Какой-то Форт

Sergey

Меня скорее удивляет, что никто не берет для смарт контрактов что-то с зав типами. Отличное же применение было бы: тебе и проверка на тотальность, и возможность получить смарт контракт с док-ом корректности и т.д. и т.п. Небось и примерный расчет стоимости операций на indexed монадах можно сделать

Сделай покажи им как то мб популяризируешь

Ayrat

А чем хорош Форт - очень просто портируется на любой ассемблер.

Doge

Сделай покажи им как то мб популяризируешь

Ну уже до меня пробовали. Есть статья про порт идриса на EVM, есть formality который под эгидой эфира тоже делается.

Vasily

А чем хорош Форт - очень просто портируется на любой ассемблер.

Ну вот этим и руководствовались, походу. Обратная польская запись, вот это вот все

Ayrat

Ну вот этим и руководствовались, походу. Обратная польская запись, вот это вот все

Ну даже точка, которая выводит на экран - оттуда

Ayrat

1 2 + .

Ayrat

Не путать с фортраном

Vasily

В общем, сойдемся на том, что это форк FORTH

Ayrat

В общем, сойдемся на том, что это форк FORTH

Ну по названию даже похоже

Doge

В общем, сойдемся на том, что это форк FORTH

И это, кстати, не худший вариант из возможных. Форт - достаточно милый небольшой язык, очень выразительный для своих размеров.

Ayrat

Forth - четвертый (Fourth) Fift - пятый (fifth)

Vasily

http://lurkmore.to/Forth

Oleg

Бля, почитал описание https://test.ton.org/fiftbase.pdf Как мне это развидеть?

самое главное в описание встречается Blockchain

Oleg

можно сразу после этого закрывать

Oleg

и забыть

Vasily

Хайп же

Ayrat

Я ниибу, но может в этом и прикол - иметь адовую кроссплатформенность. Потому что это единственное преимущество форта

Ayrat

Все остальное - недостатки

Oleg

каждая программа на форте это как новый язык

Oleg

проще уж ассемблер читать

Ayrat

Да фпесду, проще уж на С наваять

Ayrat

Там хотя бы читабельно

Ayrat

Форт похуже лиспа

Ayrat

Там хотя бы ясно что куда применяется. Функции же

Oleg

лисп это дело привычки

Ayrat

(+ 1 2) никак по-другому не прочитать

Ayrat

И скобки обязательны

Vasily

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

Vasily

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

Yury

ну так платформа же, что нам язык без платформы

Ayrat

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

да эт понятно, но это парсится с трудом на формулах сложнее (a + b), особенно где приоритет операций и ассоциативность разная

Vasily

да эт понятно, но это парсится с трудом на формулах сложнее (a + b), особенно где приоритет операций и ассоциативность разная

А для этого там придуман swap

Vasily

Короче, мамкины майнеры осилят с трудом

Vasily

Багов скорее всего тоже будет достаточное количество

Анна

Смотрите, какое мимими 😊

Анна

Кенгуру с детёнышем в сумке. Повезло увидеть!

Vasiliy

https://dtf.ru/51922

Vasily

https://dtf.ru/51922

Мерси

Vasiliy

👌

Ayrat

https://dtf.ru/51922

Механика отрубания конечностей была ещё в бородатом Jedi Outcast

Vasiliy

Она и в Dead Space была.

Sergey

Где механика постал2 😞

Vasiliy

но тебе от этого не было ни жарко, ни холодно. А тут при отрубании конечности у тебя повышается шанс дропа.

Vasiliy

Ну и они не говорят, что это прям ФИЧА., а просто фича и интересная геймплейная механика

Vladislav

Механика отрубания конечностей была ещё в бородатом Jedi Outcast

В обливионе с модами

AlexxSt

Бля, почитал описание https://test.ton.org/fiftbase.pdf Как мне это развидеть?

По традиции на это дело напишут компилятор с гава-скрипта в фифт и ситуация, в целом, станет еще веселей - на грамм портируют тонны говнокода для работы в смарт-контрактах.

Vasily

Механика отрубания конечностей была ещё в бородатом Jedi Outcast

Я больше скажу. В die by the sword

Ayrat

Я больше скажу. В die by the sword

Ну ты вспомнил

Ayrat

Rune

Ayrat

Кажется эта постарее будет

Vasily

Die by the sword вроде 99,и там на ней все построено