Телеграмм чат группы compilerdev страница 1303

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

824 membersпожаловаться на группу

2020 May 04

KR

K R in Compiler Development

Rust, понятное дело, не из этой категории. У меня во всех проектах для микроконтроллеров и ПЛИС память выделяется статически на этапе компиляции. Ну и зачем мне тогда терпеть borrow checker? :)

А вам не надо избегать случайного aliasing'а при работе с массивами, например?

Я игрался с разными классическими сортировками на Clean - если там реализовать ArraySlice, алгоритмы типа "разделяй-и-властвуй" получаются крайне весёлыми.

источник

21:24пожаловаться #1

AK

Andrei Kurosh in Compiler Development

MaxGraey

Nim тоже транспайлится в C. Это не суть важно. Я впомнил это в продолжение темы про незаполненность ниши

Буквально пару дней назад решил ради интереса попробовать поковыряться с Nim. С удивлением узнал, что «общепринятый» в комьюнити способ разработки (плагин для вскода) до сих пор не умеет дебажить и переименовывать. Для дебага можно использовать универсальный ldb, но все идентификаторы будут прокручены через мясорубку. И сообщество до сих пор с этим ничего не сделало. В общем, знакомство не задалось

источник

21:24пожаловаться #2

MS

Mikola Summer Duck in Compiler Development

Ну ним ещё моложе раста, и менее популярный.

источник

21:25пожаловаться #3

AK

Andrei Kurosh in Compiler Development

Я к тому, что "ниша простых низкоуровневых системных ЯП далеко не заполнена." Понятно, что Rust в неё не лезет. Oberon лезет, Zig тоже.

Есть некоторые сомнения, что ниша именно простых системных языков вообще существует. Adoption у Zig и прочих «убийц си», скажем прямо, никакой

источник

21:25пожаловаться #4

PS

Peter Sovietov in Compiler Development

А вам не надо избегать случайного aliasing'а при работе с массивами, например?

Я игрался с разными классическими сортировками на Clean - если там реализовать ArraySlice, алгоритмы типа "разделяй-и-властвуй" получаются крайне весёлыми.

В целом для таких задач хватает просто DSL со строгой типизацией и строгими правилами для программиста в духе запрета на неинициализированные переменные. А от переполнения стека я вообще радикальным образом избавился — стека нет. Ну, рекурсии тоже нет — но кто ее в своем уме на МК использует? %)

источник

21:27пожаловаться #5

DS

Doge Shibu in Compiler Development

Есть некоторые сомнения, что ниша именно простых системных языков вообще существует. Adoption у Zig и прочих «убийц си», скажем прямо, никакой

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

источник

21:28пожаловаться #6

DS

Doge Shibu in Compiler Development

Увы, zig в этом плане тоже не очень подходит, т.к. в си не компилится

источник

21:28пожаловаться #7

PS

Peter Sovietov in Compiler Development

Есть некоторые сомнения, что ниша именно простых системных языков вообще существует. Adoption у Zig и прочих «убийц си», скажем прямо, никакой

Ну, вот конкретная ниша — язык, на котором Линус бы согласился переписать ядро Linux :)

источник

21:29пожаловаться #8

AK

Andrei Kurosh in Compiler Development

Я ни бельмеса не смыслю в разработке ядер, но подозреваю что Rust с его педантичными проверками был бы более подходящим вариантом, чем засахаренный Си

источник

21:31пожаловаться #9

МБ

Михаил Бахтерев... in Compiler Development

Ну, вот конкретная ниша — язык, на котором Линус бы согласился переписать ядро Linux :)

Это уже просто техничнски невозможно. Даже если Линус согласится.

Скорее тут можно о NetBSD фантазировать. Там гибче всё. Какие-то куски то ли на Lua написаны, то ли на Python

источник

21:32пожаловаться #10

МБ

Михаил Бахтерев... in Compiler Development

Я ни бельмеса не смыслю в разработке ядер, но подозреваю что Rust с его педантичными проверками был бы более подходящим вариантом, чем засахаренный Си

В ядре будет сплошной unsafe. Поэтому смысла в Rust особого нет.

источник

21:34пожаловаться #11

AG

Alex Gryzlov in Compiler Development

только сепарационка, только хардкор :)

источник

21:35пожаловаться #12

PS

Peter Sovietov in Compiler Development

Михаил Бахтерев

Это уже просто техничнски невозможно. Даже если Линус согласится.

Скорее тут можно о NetBSD фантазировать. Там гибче всё. Какие-то куски то ли на Lua написаны, то ли на Python

Ну, я просто привожу пример, чтобы было понятно, что за ЯП ожидается :) Понятно, что Линус не будет писать на Lua или Python свой любимый код для связных списков:

источник

21:36пожаловаться #13

МБ

Михаил Бахтерев... in Compiler Development

только сепарационка, только хардкор :)

Так это было бы круто, но как её компилить-то в нечто эффективное? Проверить можно, но писать-то придётся на ассемблере или том же Си. Или на DSL каком. Плюс полгода доказательств.

источник

21:39пожаловаться #14

AT

Alexander Tchitchigi... in Compiler Development

Михаил Бахтерев

Так это было бы круто, но как её компилить-то в нечто эффективное? Проверить можно, но писать-то придётся на ассемблере или том же Си. Или на DSL каком. Плюс полгода доказательств.

Автоматические решатели скинут срок до всего-то какого-нибудь месяца. 😃

источник

21:43пожаловаться #15

AG

Alex Gryzlov in Compiler Development

Михаил Бахтерев

Так это было бы круто, но как её компилить-то в нечто эффективное? Проверить можно, но писать-то придётся на ассемблере или том же Си. Или на DSL каком. Плюс полгода доказательств.

а что там компилить, только аннотации постирать

источник

21:44пожаловаться #16

МБ

Михаил Бахтерев... in Compiler Development

Alexander Tchitchigin

Автоматические решатели скинут срок до всего-то какого-нибудь месяца. 😃

Вот не факт. В F* же используются эти решатели. Так половина доказательств состоит из настроек их параметров. Я какой-то типовой диссидент :(((

источник

21:44пожаловаться #17

AG

Alex Gryzlov in Compiler Development

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

источник

21:44пожаловаться #18

МБ

Михаил Бахтерев... in Compiler Development

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

А! Это было к unsafe?

источник

21:45пожаловаться #19

YR

Yurii Rashkovskii in Compiler Development

Увы, zig в этом плане тоже не очень подходит, т.к. в си не компилится

Они уже собираются это сделать. https://github.com/ziglang/zig/issues/3772

Additional backend to generate C code · Issue #3772 · ziglang/zig

I would like to known the position of the zig team on a C backend in addition to LLVM. I known that not a lot of people will need such a backend, it's a very specific need which mostly targ...

источник

21:45пожаловаться #20