@devworden - страница 2711 - Telegram web archive

Если брать Idris, то мне импонирует его возможное применение в блокчейн: мы не просто пишем смарт-контракт,но и доказываем ряд свойств, типа невозможность мошенничества, или что контракт человека и фирмы соответствует КЗоТ. Почему не помечтать о будущем, где договора заменены на смарт-контракты, а юристы заменены на программисты?

Bogdan

оно подтягивает тот тип данных который справа

Bogdan

но это не тоже самое что dynamic вообще не разу

flexxxer

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

@bogdanhm короче, щас пишу библиотеку, 90% которой генерируется генераторами кода. библиотека написана для шарпа на шарпе для расширения семантических возможностей шарпа. недавно генерил, dll-ка весит 700 мегабайт. в зависимостях только System.HashCode. при компиляции требуется 140 гигов оперативы, компилятор не вывозит

Bogdan

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

Bogdan

@bogdanhm короче, щас пишу библиотеку, 90% которой генерируется генераторами кода. библиотека написана для шарпа на шарпе для расширения семантических возможностей шарпа. недавно генерил, dll-ка весит 700 мегабайт. в зависимостях только System.HashCode. при компиляции требуется 140 гигов оперативы, компилятор не вывозит

жестко

Bogdan

где ты по этому доку нашел норм

Andrii

в шарп можешь завести написав за 5 часов кастомные генераторы. а теперь завези в свой идрис, агду, и поеботу: - удобный кросс-платформенный фреймворк для написания приложух с использованием mvvm с xaml/html и биндингами - ide - сообщество - пачки и пачки интеграций с существующими платформами/базами/способами обмена данными по протоколам

Если брать Idris, то мне больше видится применение в blockchain. например. Мы пишем smart-contract и тут же доказывает (внешне или внутренне) ряд свойств. Например, что контракт работника и работодлателя удовлетворяет КЗоТ. Или что невозможно мошеннику перевести все сретсва себе. Сама эта концепция интересна. Не говоря про интересные примеры автогенерации кода. Мне это интересно.

Bogdan

@bogdanhm короче, щас пишу библиотеку, 90% которой генерируется генераторами кода. библиотека написана для шарпа на шарпе для расширения семантических возможностей шарпа. недавно генерил, dll-ка весит 700 мегабайт. в зависимостях только System.HashCode. при компиляции требуется 140 гигов оперативы, компилятор не вывозит

блин тоже хочу научится генераторы кода писать

flexxxer

блин тоже хочу научится генераторы кода писать

а примеров в интернете не хватает?

Andrii

блин тоже хочу научится генераторы кода писать

Что там военного? Бери да пиши :)

flexxxer

Если брать Idris, то мне больше видится применение в blockchain. например. Мы пишем smart-contract и тут же доказывает (внешне или внутренне) ряд свойств. Например, что контракт работника и работодлателя удовлетворяет КЗоТ. Или что невозможно мошеннику перевести все сретсва себе. Сама эта концепция интересна. Не говоря про интересные примеры автогенерации кода. Мне это интересно.

всем это интересно, потому что ошибочек меньше и меньше

flexxxer

блин тоже хочу научится генераторы кода писать

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

Bogdan

понял

Bogdan

надо будет заняться изучением этой темы

flexxxer

только если сидишь в вижле, то

flexxxer

надо будет после каждого билда (то есть генерации кода) перезагружать проект. благо 2022 вижла это делает за 3 секунды при учете nvme с pci-e 3 версии и выше