это 99% кода

причем тут хаки

такой же кейс с интеграцией с менее безопасным языком

какая разница ts<->js, или rust<->c

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

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

в ts с этим получше чем в питоне, но тоже не ахти

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

можно в ci гонять, норм

такой же кейс с интеграцией с менее безопасным языком

для того чтобы rust функции из си дергать нужно на расте писать ffi обертку

кароче я вот пишу на питоне, юзаю тайпинги, и нихуя не уверен что все типы соблюдаются. mypy пока не заюзал чуваки на TS пишут, и когда интегрируются с легаси, другой либой на типы забивают

Ну ты сравнил тайпинги и ml-ую систему типов. Хуй с пальцем

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

в расте unsafe

Как и в flow/ts есть касты в any

mem::transmute или Any и твори в рантайме что хочешь

Не, ну растовый Any довольно безопасен

Без проверки тега типа он тоже не даст кастануть ничего

но ансейф не трогает систему типов

я могу же этот код дергать из простого js

А растовую функцию можно дёрнуть из си

И где твои гарантии?

но ансейф не трогает систему типов

Эм. тот же transmute

май поинт экзактли

На вход дерьмо, на выходе нормальный тип.

Эм. тот же transmute

что transmute

С т.з. анализатора это обещание

май поинт экзактли

Действительно. Не всё прочёл )

И где твои гарантии?

Чтобы ее дернуть из си тебе придется написать ffi обертку. Т.е. опустить интерфейс до сишного уровня, а там уже сишный компилятор разберется с гарантиями.

Чтобы дёрнуть из js функцию ts/flow тебе придётся экспортировать из модуля её

Не велика разница

Да и в теории дёрнуть mangle-нную функцию можно )

экспортировать и "сконвертить интерфейс" - по-моему, огромная

можно, но это прямой выстрел в ногу

мне кажется вы стали забывать про WriteProcessMemory

мне кажется вы стали забывать про WriteProcessMemory

Пф

и никаких оберток не надо)

xd

кароче пойду дальше вебпетуханить на небезопасных языках

откуда наплыв?

что transmute

система типов работает так же как и обычно даже с ним ведь

Мелькнула ссылка в чате beerjs :) всем привет, да

Эй нет. Взять тот flow, где можно один объект замаппить в другой через $ObjMap. Вот это типобезопасно. В расте тебе нужен будет transmute

система типов работает так же как и обычно даже с ним ведь

Так же? Конвертить из любого типа в любой другой тип с таким же размером типобезопасно?

Ну, тут двоякий вопрос

Что есть тип

Если всё мн-во значений, которое в памяти может лежать в этом месте укладывается в тип, то в каком-то смысле "да".

Имеет ли это смысл — вряд ли, но может быть типобезопасно

В общем случае, конечно, это не так

Так же? Конвертить из любого типа в любой другой тип с таким же размером типобезопасно?

да

ты же сам просишь это сделать

да

Ты точно JS'ер а не сишник?

что

То

Вот есть у тебя структурка, где ссылка есть

И есть структурка (под тем же layout-ом, конечно), но с usize, условно

какая разница?

у нас логика системы типов не ломается

Конвертация нихуя не типобезопасна из-за (1) семантики ссылки (указывает на валидную для программы область памяти) и (2) не всё мн-во значений структуры может быть представлено в виде ссылке (нулевой указатель)

https://github.com/sharkdp/hyperfine

Хм. Я при переходе на quantum не заметил разницы

Видимо у товарища двойная графика и ФФ рисуется на невидии

* Не увидел разницы в батарейке

Так-то на глаз видно ускорение

Так-то ноут, встроенная интоловская

Я к тому же

Невидия жрет

Интел не особо

Ну, потому что и карточки у интела "не особо" =) обывательские. Ну, оно и правильно

Добрый вечер. Подскажите пожалуйста как бы правильнее осуществить следующее: в crate есть две функции: f1 и f2. process_f из этого же модуля использует f1. Есть код main.rs. Я хочу скомпилировать два бинарника main1 и main2, чтобы один комп лился с крейтом используя f1, а другой f2

src/bin

1.rs 2.rs

Наверное получается два вопроса:1) как в bin секции задать feature?

?

Смутило что там модули указываются, а не фичи типа : variant=v1 или v2

Не совсем понятно какую задачу решаете

Я выше описал - хочу генерить бинарники, чтобы проверять использование разных функций их своей же crate

не понятно

required-features вроде то, сейчас пытаюсь понять как задать значение feature

Я хочу ввесьи фичу, чтобы она использовала функцию f1 или f2 в крейте

И потом собрать бинарники , чтоб один собирался с фичей для f1, а другой для f2

Ну или просто разные определения f

Почему просто не передать f1 или f2 в process

Я об этом думал изначально. Но для этого надо чтоб было два файла в bin/

И они ничем не будут отличаться кроме передачи разной функции в process