Size: a a a

WebAssembly — русскоговорящее сообщество

2021 September 03

AC

Alexander Chichigin in WebAssembly — русскоговорящее сообщество
> исключать очевидные ошибки дизайна системы

Вот это очень сомнительное утверждение. 😊

Кроме того, о какой системе типов мы говорим? Как в Java/C#/AssemblyScript или как в OCaml/Haskell? Для первой категории статистические данные говорят, что они точно не дают измеримых преимуществ по сравнению с динамическими языками. Насчёт OCaml/Haskell лично у меня есть определённые сомнения, но это связано с тем, что они мне нравятся. 😊

Про TypeScript вообще говорить не приходится — там система типов дырявая как дуршлаг.
источник

DB

Dmitry Bezhetskov in WebAssembly — русскоговорящее сообщество
про систему типов TS согласен
источник

AC

Alexander Chichigin in WebAssembly — русскоговорящее сообщество
> можете не беспокоиться что сложите килограммы с фунтами

В мире существует примерно два языка программирования, которые реально проверяют размерности, и позволяют делать это удобно. 😉
источник

AC

Alexander Chichigin in WebAssembly — русскоговорящее сообщество
Насчёт тестов, мне лично больше нравится тот факт, что при наличии типов можно автоматически получить генераторы случайных данных для property-based тестов, но Python-энтузиасты пишут генераторы руками, и не парятся. 😁
источник

DM

Dmitry M in WebAssembly — русскоговорящее сообщество
получается C++ самый лучший ЯП?
источник

M

MaxGraey in WebAssembly — русскоговорящее сообщество
C++ ужасный язык из-за слабой системы типов и наличия множества UB
источник

DB

Dmitry Bezhetskov in WebAssembly — русскоговорящее сообщество
как вы к этому пришли?)
источник

DM

Dmitry M in WebAssembly — русскоговорящее сообщество
нельзя сложить килограммы и фунты
источник

M

MaxGraey in WebAssembly — русскоговорящее сообщество
Зато позволяет делать это с int и bool
https://godbolt.org/z/znzGE4Mzn

А потом еще и заоптимизировать это =)
источник

DB

Dmitry Bezhetskov in WebAssembly — русскоговорящее сообщество
мое утверждение было таким - "если система типов T хорошая, то она помогает вам не допускать тупых ошибок". В C++ далеко не самая хорошая система типов, но даже с ней вы можете облегчать себе жизнь, если будете ей пользоваться
источник

DB

Dmitry Bezhetskov in WebAssembly — русскоговорящее сообщество
без системы типов вы обречены писать больше тестов, больше документации и каждый раз при изменении структуру чего-либо в вашем проекте молиться чтобы тесты это покрывали)
источник

FL

First Last in WebAssembly — русскоговорящее сообщество
Ну добавьте уже бота чтоб не давал писать без проверки
источник
2021 September 04

AC

Alexander Chichigin in WebAssembly — русскоговорящее сообщество
ОК, спасибо за бдительность. 😄
источник

Constantine ʕ◔ϖ◔ʔ🦀... in WebAssembly — русскоговорящее сообщество
Marine is a general purpose Wasm runtime that could be used in different scenarios, especially in programs based on the ECS pattern or plugin architecture. It runs multi-module WebAssembly applications with interface-types and shared-nothing linking scheme.

https://github.com/fluencelabs/marine 🧐
источник

Constantine ʕ◔ϖ◔ʔ🦀... in WebAssembly — русскоговорящее сообщество
А, так тут и создатель сидит оказывается...
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Ага, а как ты наткнулся на него?:)
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
хм, 14 звёзд за ночь, где-то на reddit чтоли ссылка?
источник

Constantine ʕ◔ϖ◔ʔ🦀... in WebAssembly — русскоговорящее сообщество
Совершенно случайно, читая новостную рассылку https://rustinblockchain.org/newsletters/rib-newsletter-27/
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
хм, интересно, спасибо
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
если будут какие-то вопросы, то с удовольствием отвечу
источник