опять срач от одного упоминания Go

опять срач от одного упоминания Go

не все еще потеряно, гугл же может удушить любой свой проект в любой момент

Го - вдрядли, они его на замену питону продвигают

Вот лучше раскажите про свое отношение к другому гуглотворению Dart

Compiling playground v0.0.1 (file:///playground) warning: attempt to add with overflow —> src/main.rs:2:53 | 2 | let kolichestvo_srachikov_pro_go_v_rust_chate = <u64>::max_value()+1; | ^^^^^^^^^^^^^^^^^^^^ | = note: #[warn(const_err)] on by default Finished dev [unoptimized + debuginfo] target(s) in 0.46 secs Running target/debug/playground thread 'main' panicked at 'attempt to add with overflow', src/main.rs:2:53 note: Run with RUST_BACKTRACE=1 for a backtrace.

смишно

Вот лучше раскажите про свое отношение к другому гуглотворению Dart

Они на нём даже эмбеддед пишут вроде как. Удобненький такой жаваскрипт. Со всеми минусами жаваскрипта

Они на нём даже эмбеддед пишут вроде как. Удобненький такой жаваскрипт. Со всеми минусами жаваскрипта

вот странно, ui на нем даже пилят в эксперементальной os

и в тоже время не форсят его как го

и в тоже время не форсят его как го

Они же поначалу пытались, но не взлетело и забили

Они же поначалу пытались, но не взлетело и забили

Ну не совсем забили, внутри себЮ активно юзают походу

Ну не совсем забили, внутри себЮ активно юзают походу

Ну именно на пиар забили

Даже ангуляр на тайпскрипт сделали

Ну если они фуксию пишут на замену андройду...

Даже ангуляр на тайпскрипт сделали

ну как бы typescript > dart, особенно современный. Даже зависимые типы есть.

Вот лучше раскажите про свое отношение к другому гуглотворению Dart

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

ну как бы typescript > dart, особенно современный. Даже зависимые типы есть.

оп, а чё там про зависимые типы в тс?

typelevel-ts же

лол

а, ну там же не то чтобы зависимые типы

ну да)

я-то подумал что-то интересное в язык впилили)

а как в принципе завтипы в жс сделать?

оп, а чё там про зависимые типы в тс?

ну как же, в типе можно описать структуру мапа с конкретными ключами :)

никак же

а как в принципе завтипы в жс сделать?

я натыкался на какой-то пейпер даже где шо-то такое делоли

я могу представить, как сделать сигма-типы

typelevel-ts же

а завтипы где

но че с пи я вообще хз, это же нужно чекать тотальность (чтобы тайпчек на зависал), перенести типы на термлевел

даже полиморфзм обычный можно представить как проявление завтипов)

https://groups.google.com/forum/#!topic/puffslang/2z61mNTAMns/discussion

Сильный просев в производительности из-за проверок на выход на границу? Это настолько критичная проблема?

В очень специфических числодробилках может быть проблемой, однако

Но в 99.9% ситуаций это просто смешно

Сильный просев в производительности из-за проверок на выход на границу? Это настолько критичная проблема?

не читал

Сильный просев в производительности из-за проверок на выход на границу? Это настолько критичная проблема?

"Such bounds checks are cheap, measured in nanoseconds. But if an image decoding library has to eat this cost per pixel, and you have a megapixel image, then nanoseconds become milliseconds, and milliseconds can matter."

"Such bounds checks are cheap, measured in nanoseconds. But if an image decoding library has to eat this cost per pixel, and you have a megapixel image, then nanoseconds become milliseconds, and milliseconds can matter."

Читал, да. Просто я думал, что это экономия на спичках.

Но в 99.9% ситуаций это просто смешно

Да, именно это меня и удивило.

Но в 99.9% ситуаций это просто смешно

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

но даже не дело в проверких на выход за границу

тут фишка в формальной верификации корректности кода на любых входных данных

"""""""""""""""""""формальной"""""""""""""""""""

Разве боундчек не решается в большей степени использованием каких-то темплейтов, например в с++?

"""""""""""""""""""формальной"""""""""""""""""""

там всё очень серьёзно, почитай github.com/google/puffs/blob/master/doc/related-work.md

там всё очень серьёзно, почитай github.com/google/puffs/blob/master/doc/related-work.md

сам почитай блин

там в третьем параграфе говорят тоже самое

надо же, фаерфокс-то и правда побыстрее. вот это поворот

тут фишка в формальной верификации корректности кода на любых входных данных

ой да, не корректности а безопасности

"""""""""""""""""""формальной"""""""""""""""""""

В очень специфических числодробилках может быть проблемой, однако

И там его можно отключить

К тому же, проверки границ выкидываются везде кроме прямой индексации

То есть в итераторах например проверок границ нет

Где ты в парсерах видел итераторы?

Я видел

В парсер-комбинаторах

Где ты в парсерах видел итераторы?

При чем тут парсеры?

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

То что мешает юзать итераторы?

И баундчеков нет и сейф раст

Красота

Да и LLVM не дура

https://play.rust-lang.org/?gist=6ef951d192a02fc6d93aa391da016921&version=stable

Я не спец по асму, но баундчеков тут нет вроде как

Да, использовать индексы для итерирования - самое тупое, что можно придумать

Только одно сравнение, которое циклом управляет

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

Решь шла про парсеры, в частности для изображения

Не все форматы сохраняют последовательность байт/пиксель

Например jpg

В парсер-комбинаторах

Что они парсили

Например jpg

Декодируешь в буффер и парсишь сколько угодно. Парсить сжатые данные человечество пока все равно не научилось (а они в жпеге таки сжатые)

А декодируешь ты как без парсинга формата

А если нужно ен изображение а мета, то там на итераторах и слайсах никаких проблем нет

А декодируешь ты как без парсинга формата

А зачем тебе пиксель/байт при парсинге формата, епт?

Мне не нужен, но и итераторы там слабо применимы

Потому что нет такого отношения

Собственно

Короче

Пруф оф концепт напиши, рендера жпг на итераторах

Делать мне больше нечего

Если и напишу то на парсер-комбинаторах