Представлен релиз языка системного программирования Nim 1.4. Язык Nim использует статическую типизацию и создан с оглядкой на Pascal, C++, Python и Lisp. Исходный код на языке Nim компилируется в представление на C, C++ или JavaScript. В дальнейшем полученный C/C++ код компилируется в исполняемый файл при помощи любого доступного компилятора (clang, gcc, icc, Visual C++), что позволяет добиться производительности близкой к Си, если не учитывать затраты на выполнение сборщика мусора. По аналогии с Python в Nim в качестве разделителей блоков применяются отступы. Поддерживаются средства метапрограммирования и возможности для создания предметно-ориентированных языков (DSL). Код проекта поставляется под лицензией MIT...Подробнее: https://www.opennet.me/opennews/art.shtml?num=53909
>По аналогии с Python в Nim в качестве разделителей блоков применяются отступы.В топку. Дальше про язык можно ничего не знать. Даже если в нём реализованы какие-то действительно интересные возможности.
Это до какой же степени нужно себя не уважать чтобы стандарт языка регламентировал внешний вид листинга?
а мне нравится, очень удобно
знаете, на форумах всякие пишут без абзацев и знаков препинания, вот
а в целом, конечно, фигурные скобки и точка с запятой - лютое говно, какой-то очередной "творец" придумывал
> знаете, на форумах всякие пишут без абзацев и знаков препинания, вотДа, когда не ставят точки, не используют прописные буквы и начинают каждое предложение с новой строки — это дико бесит.
> а в целом, конечно, фигурные скобки и точка с запятой - лютое говно, какой-то очередной "творец" придумывалАга, очень говно, возможность моментально глазами увидеть локальную область это очень говно, ага.
А ничего, что языку уже 12 лет ?
Какая разница сколько ему лет? Питон тоже не вчера появился.
> Какая разница сколько ему лет? Питон тоже не вчера появился.Ну, тогда вы самая уважающая себя персона, в отличии от гугла, университетов...
>уже 12 летhttps://www.opennet.me/openforum/vsluhforumID3/122143.html#79
Если убрать пихоно-синтаксис, даже дуракам станет очевидно, что сабж -- просто еще один недоязычок без каких-либо выраженных преимуществ. Ну а прямо сейчас дуракам это не очевидно, -- их подкупает программирование пробельчиками.
покажи-ка свой гитхаб, трепло, посмотрим, действительно ли ты что-то представляешь из себя, или типично ничтожество мнение имеющее, как в 98% случаев данного ресурса
Гитхаб это такая новая социальная сеть?
> Ну а прямо сейчас дуракам это не очевидно, -- их подкупает программирование пробельчиками.Если хотите, чтобы ваше мнение уважали, - запомните пожалуйста простейшую человеческую истину:
никогда не переходите на личности, дискусируйте о сабжекте, а не о людях с которыми вы дискусируете. Читать ваше "единственно правильное мнение", которое ничем не подкрепленно кроме как обзываниями - абсолютно не интересно и главное противно.
> Если хотите, чтобы ваше мнение уважалиУ меня нет нужды в том, чтобы дураки уважали мое мнение. Я говорю то, что думаю на самом деле, а не то, что от меня хотят услышать.
> никогда не переходите на личности
Пока и не начинал, но все равно спасибо за совет.
> дискусируйте о сабжекте
Ну я про Nim и писал в общем-то. Перечитай комментарий, но на этот раз в режиме думания головой.
> а не о людях с которыми вы дискусируете
Я ни с кем не дискутировал. И писал не "людям" во множественном числе, а астахлу, с чьим мнением я изначально был согласен, поэтому никакая "дискуссия" тут в общем-то с ним и не состоялась.
> ваше "единственно правильное мнение"
Не только мое. Оно также может стать и твоим.
> абсолютно не интересно
«Три дня я гналась за вами, да! чтобы сказать вам как вы мне безразличны» (c) Обыкновенное чудо
> и главное противно.
«Хах, противно ему» (c) Особенности национальной охоты
>> Macros run at compile time and they operate on nim's abstract syntax tree (AST) directly
> Если убрать пихоно-синтаксис, даже дуракам станет очевидно, что сабж -- просто еще один недоязычок без каких-либо выраженных преимуществ. Ну а прямо сейчас дуракам это не очевидно, -- их подкупает программирование пробельчиками.Отличная демонстрация знания предмета, как впрочем и квалификации.
Так держать!
о, чрезвычайно важное мнение типичного опеннет-иксперта, держи в курсе
Тебя на ЛОРе забанили за троллинг. Ты и здесь хочешь? Можем повторить.
особенно Аннон :-D
со словами "можем повторить" и надписью "НА ЛОР!" туда можешь и поехать
Ох, тебя-то и не спросили. Но ничего, в следующий раз ты разработаешь правильный, уважающий тебя язык.
Python воспринимаю нормально, поэтому и в Nim блоки кода оступами тоже норм.
Скобочный синтаксис устарел. Ты просто боишься признать это. Все сишники прячут скобки в конец строки что бы их не было видно, разделяя области видимости отступами. Посмотри исходники ААА+++ проектов, это не я придумал, а такова жизнь. Смирись с этим.Вот типичный код, 90% скобки ставят именно так (хотя я сам не ставлю так, но всё же):
for(int i = 0; i < 10; i++) {
print("%i\n", i);}Чем же пример выше, хуже этого:
for i in range(10):
print(i)?
Остальные языки будто маломощные, по сравнению с ним.
Nim будущее системного программирования, а никакой не раст.
Быстрого ещё может. Но не системного. Языки со сборкой мусора не могут претендовать на системное программирования. Ну то есть технически может и могут, но на практике не выходит.
А так да, язык хороший.
Это некорректное утверждение. Nim не просто подходит как язык для системного программирования, он _позиционируется_ как язык для системного программирования."Nim is a statically typed compiled systems programming language".
А вот тебе живой пример ядра на ниме:
> Это некорректное утверждение. Nim не просто подходит как язык для системного программирования,
> он _позиционируется_ как язык для системного программирования.
> https://nim-lang.org/
> "Nim is a statically typed compiled systems programming language".Нда, у systems programming language слишком значений. Я не знаю, что здесь имелось в виду.
> А вот тебе живой пример ядра на ниме:
> https://github.com/dom96/nimkernelПример хороший, пока не находишь в конфиге вот это : "--gc:none". В самом примере это обходится очень просто -- там память не выделяется. А придётся. Наверное, стоит написать свой собственный сборщик мусора, например, подогнав arc или orc под ядро. Вполне выполнимо, и после этого язык можно назвать пригодным для создания ядер.
Но даже с этими гипотетическими изменениями, в языке вообще нет поддержки ручной работы с памятью. И рано или поздно для адекватной производительности этом может понадобиться. В Расте есть. В C и C++ есть. В паскале даже есть. В Nim нет. Следовательно, прежде чем писать на нём, потребуется создать такую поддержку. Наверняка это даже возможно. Но как-то слишком много возни, чтобы называться системным в плане "пригоден для создания ядер и драйверов".
Впрочем, на всяких ардуинах и микроконтроллерах в целом, где память и так обычно не выделяется, nim может сработать не только в "потому что могу" проектах. Тоже системненько.А так даже питон можно напрямую из ядра запускать: https://www.youtube.com/watch?v=bYQ_lq5dcvM
> Пример хороший, пока не находишь в конфиге вот это : "--gc:none". В
> самом примере это обходится очень просто -- там память не выделяется.
> А придётся....
> работы с памятью. И рано или поздно для адекватной производительности этом
> может понадобиться. В Расте есть. В C и C++ есть.Т.е. использование "ручных" типов ссылок (первая же строчка)
PVIDMem* = ptr array[0..65_000, TEntry]
> Traced references are declared with the ref keyword, untraced references are declared with the ptr keyword.Вы предпочли не заметить?
>> Пример хороший, пока не находишь в конфиге вот это : "--gc:none". В
>> самом примере это обходится очень просто -- там память не выделяется.
>> А придётся.
> ...
>> работы с памятью. И рано или поздно для адекватной производительности этом
>> может понадобиться. В Расте есть. В C и C++ есть.
> Т.е. использование "ручных" типов ссылок (первая же строчка)
> PVIDMem* = ptr array[0..65_000, TEntry]
>> Traced references are declared with the ref keyword, untraced references are declared with the ptr keyword.
> Вы предпочли не заметить?Конечно заметил. Я заметил и каст на блок памяти чуть ниже. Это не выделение памяти. Я не знаю деталей, но это явно жёстко заданный блок, видимо привязанный к BIOS'у.
Какой есть аналог malloc/free? Как их привязать к стандартной модели выделения/развыделения? Не превратится ли язык в более красивый C, если написать их самому?
> Конечно заметил. Я заметил и каст на блок памяти чуть ниже. Это
> не выделение памяти. Я не знаю деталей, но это явно жёстко
> заданный блок, видимо привязанный к BIOS'у.
> Какой есть аналог malloc/free? Как их привязать к стандартной модели выделения/развыделения?
> Не превратится ли язык в более красивый C, если написать их
> самому?Как и везде - написать/использовать аллокатор.
Я хотел указать на то, что ваши рассуждения строятся на изначально неверной предпосылке - GC в nim опционален не "возможностью отключить" сам сборщик, а возможностью использования "ручных" аллокаторов, для чего там два вида указателей (ref для GC и ptr)https://nim-lang.org/docs/manual.html#types-reference-and-po...
>>>Nim distinguishes between traced and untraced references. Untraced references are also called pointers. Traced references point to objects of a garbage collected heap, untraced references point to manually allocated objects or to objects somewhere else in memory. Thus untraced references are unsafe. However for certain low-level operations (accessing the hardware) untraced references are unavoidable.
...
To allocate a new traced object, the built-in procedure new has to be used. To deal with untraced memory, the procedures alloc, dealloc and realloc can be used.
(это из примера "Mixing GC memory with ptr")
type
Data = tuple[x, y: int, s: string]# allocate memory for Data on the heap:
var d = cast[ptr Data](alloc0(sizeof(Data)))# create a new string on the garbage collected heap:
d.s = "abc"# tell the GC that the string is not needed anymore:
reset(d.s)# free the memory:
dealloc(d)
> Как и везде - написать/использовать аллокатор.
> Я хотел указать на то, что ваши рассуждения строятся на изначально неверной
> предпосылке - GC в nim опционален не "возможностью отключить" сам сборщик,
> а возможностью использования "ручных" аллокаторов, для чего там два вида указателей
> (ref для GC и ptr)
> https://nim-lang.org/docs/manual.html#types-reference-and-po...Ответил чуть ниже, но всё равно повторюсь. Я не знал, что это возможно. Тогда да, Nim можно называть системным без оговорок.
https://nim-lang.org/docs/gc.htmlIn addition to GC_ref and GC_unref you can avoid the garbage collector by manually allocating memory with procs like alloc, alloc0, allocShared, allocShared0 or allocCStringArray. The garbage collector won't try to free them, you need to call their respective dealloc pairs (dealloc, deallocShared, deallocCStringArray, etc) when you are done with them or they will leak.
> https://nim-lang.org/docs/gc.html
> In addition to GC_ref and GC_unref you can avoid the garbage collector
> by manually allocating memory with procs like alloc, alloc0, allocShared, allocShared0
> or allocCStringArray. The garbage collector won't try to free them, you
> need to call their respective dealloc pairs (dealloc, deallocShared, deallocCStringArray,
> etc) when you are done with them or they will leak.Что сделает язык красивым C++. Так-то тоже неплохо, но rust с его проверками на этапе компиляции и явной маркировкой unsafe для подобных вызовов всё же лучше.
Но, ладно, раз есть такая низкоуровневая возможность, как и возможность написать свою версию alloc/dealloc прямо на Nim, я признаю язык системным.
За Nim стоит чуть ли не один человек, за rust целая команда, большая популярность, и заинтересованность больших корпораций.
как понял, GC у него опционально вкл/выкл
> как понял, GC у него опционально вкл/выклЭто да. Но в режиме gc:none память никогда не будет освобождена. К счастью, там много разных сборщиков, в т.ч. легковесный arc и чуть менее легковесный orc.
На практике он по потреблению памяти сравним с C / C++ / Rust. По быстродействию тоже. Причём на разных тестах от разных авторов.Что говорит что он отлично подходит для embedded из коробки.
> На практике он по потреблению памяти сравним с C / C++ /
> Rust. По быстродействию тоже. Причём на разных тестах от разных авторов.
> Что говорит что он отлично подходит для embedded из коробки.Тут согласен. Указатели есть, выделение/развыделение не нужно и вообще вредно и опасно. Для встройки его можно и попробовать, хотя бы как красивую альтернативу плюсам.
Как раз с этим сейчас идёт работа - https://habr.com/ru/post/523674/ и так далее. Если использовать чисто ARC, то никакого трейсинга нет - просто RAII и подсчёт ссылок.
> Языки со сборкой мусора не могут претендовать на системное программирования.А зачем вам мусор в системе? Не все под винду разрабатывают. В nim нельзя опционально отключить сборщик мусора?
>> Языки со сборкой мусора не могут претендовать на системное программирования.
> А зачем вам мусор в системе? Не все под винду разрабатывают. В
> nim нельзя опционально отключить сборщик мусора?Я там чуть выше писал, что сменил свою точку зрения. Сборщик мусора можно отключить, и можно использовать ручное выделение и развыделение (о чём я не знал, когда писал, что не системный). Так мы получаем красивый C, системный язык наравне с C,C++ И D.
>Исходный код на языке Nim компилируется в представление на C, C++ или JavaScript.кажется это называется не компиляция, а трансляция
Трансляция - общее определение. Исходный код может быть скомпилирован или интерпретирован. В данном случае - скомпилирован, так как интерпретация подразумевает ещё и его выполнение.
не путайте, процесс ПОДГОТОВКИ к исполнению с самим процессом исполнения. А сам процесс исполнения уже делиться на непосредственное машинное исполнение (нативное - то есть в роли интерпретатора выступает ЦПУ) и программное исполнение (то есть в роли интерпретатора выступает сам язык программирования или виртуальная машина).> Трансляция - общее определение.
В общем определении - ПРОЦЕСС перевода.
> Исходный код может быть скомпилирован или интерпретирован.
Тут два разный ПРОЦЕССА и или между ними - ни к месту.
Вот тут интерпретирован - общее понятие ПРОЦЕССА исполнения, а скомпилирован - ПРОЦЕСС подготовки к исполнению.
Транспиляция точнее
https://ru.wikipedia.org/wiki/%D0%A2%D1%...
Этот термин придумали смузихлебы, а весь процесс есть S2S трансляция.
> Этот термин придумали смузихлебы, а весь процесс есть S2S трансляция.И как это расшифровывается? Нашёл только Speech-to-speech translation, и это голосовой перевод.
кхмм, пройдите по англоязычной версии ссылки которую вы указали.
> кхмм, пройдите по англоязычной версии ссылки которую вы указали.
> https://en.wikipedia.org/wiki/Source-to-source_compilerЧёрт! Спасибо.
Смотрел на Nim. Потрясающий язык программирования. Наверное максимально близок к идеальному из существующих.Удивительно быстр, быстрее Rust. При этом с GC. Лаконичен.
Позволяет бесшовную интеграцию с C / C++, опять же, в отличие от Rust.
Код выглядит очень понятно, в отличие от C++.
Жаль что пока не популярен.
Лучшая замена C и C++.
Есть еще zig
Он с каждой версией всё лучше и лучше. Вот этот пост прочитай:https://nim-lang.org/blog/2020/10/15/introduction-to-arc-orc...
Русский, кстати, забавно:На хабре есть перевод той статьи: https://habr.com/ru/post/523674/
Да, здрасте :) Пост вообще спонтанно написал, сначала на dev.to запостил, но людям понравилось, поэтому потом на официальный блог запостили (https://github.com/nim-lang/website/pull/230) и я уж перевёл на русский на Хабр (а другой человек на итальянский ещё сделал перевод).Сам я Nim просто как хобби занимаюсь, потому что пока студент, времени много :)
>Потрясающий
>Жаль что пока не популярен.Ну так при современной языковой конкуренции без богатой корпорации языку мало что светит на рынке.
Согласен. Но есть возможность что кто-то вложится.Особенно если стартап его будет использовать и вырастет во что-то большее как Facebook тянул PHP / MySQL.
12 лет ему, говорят. Это уже хороший знак что вкладываться можно.
>12 лет емуhttps://www.opennet.me/openforum/vsluhforumID3/122143.html#79
А мощные игры на нем делать можно, как на С++? Уже сделали хоть одну?
> А мощные игры на нем делать можно, как на С++? Уже сделали
> хоть одну?Да. Скорость позволяет и удобная интеграция с C++ позволяет.
Нет. О движках тоже не слышно.Увы, nim не на хайпе, так что вряд ли кто уже напишет.
Зачем ты комментируешь о том, в чём не разбираешься?
> Зачем ты комментируешь о том, в чём не разбираешься?
> https://github.com/nim-lang/Nim/wiki/Curated-Packages#gamesОК, начнём с определений. Мощные игры -- это в первую очередь 3D игры с отличной графикой и кучей контента. Те самые AAA игры. Я не нашёл даже AaaaaAAaaaAAAaaAAAAaAAAAA игр.
Я даже не сомневался, что есть просто игры. Тетрис и шахматы, в нашем случае. И эмулятор NES, что отлично.
Для таких игр нужен достойный движок как в техническом плане, так и плане удобства. Ну или инди команда, которая решила, что будет делать на Nim. Вроде пока ни того ни другого нет.Если знаешь такую -- с радостью поменяю мнение. Затем и пишу.
Как у него с ООП и графикой?
>ООПhttps://nim-lang.org/docs/tut2.html#object-oriented-programming
>графикой
Плюс поддерживает горячую замену кода https://nim-lang.org/docs/hcr.html
Опять путают ООП с наследованием, ну что ж такое.
Да.
1) Какие именно ОСОБЕННОСТИ ЭТОГО ЯЗЫКА не дадут программисту сделать ошибки которые он мог бы сам понаделать в результирующих языках "C, C++ или JavaScript"? 2) Или может есть некие **особенности Nim-языка** которые просто позволили создать некие эффективные СРЕДСТВА машинной проверки **именно** Nim-кода (т.е. такие средства которые в других языках попросту не возможны! или в других языках - часто лажают, или не эффекивны там)?
> 1) Какие именно ОСОБЕННОСТИ ЭТОГО ЯЗЫКА не дадут программисту сделать ошибки которые
> он мог бы сам понаделать в результирующих языках "C, C++ или
> JavaScript"? 2) Или может есть некие **особенности Nim-языка** которые просто позволили
> создать некие эффективные СРЕДСТВА машинной проверки **именно** Nim-кода (т.е. такие средства
> которые в других языках попросту не возможны! или в других языках
> - часто лажают, или не эффекивны там)?Он всё же не об этом. Считай, что это такой быстрый питон с нормальным многопотоком.
в состав GCC не собираются ли его вкрутить?
Ним и так поддерживает любые компиляторы С."How do I use a different C compiler than the default one?"
> Ним и так поддерживает любые компиляторы С.
> https://nim-lang.org/faq.html
> "How do I use a different C compiler than the default one?"да, я в курсе. но меня интересует именно встраивание в GCC
Зачем? Что это по-твоему должно дать?
>> Ним и так поддерживает любые компиляторы С.
>> https://nim-lang.org/faq.html
>> "How do I use a different C compiler than the default one?"
> да, я в курсе. но меня интересует именно встраивание в GCCНе знаю, но вряд ли. GCC под GPL, Nim под MIT.
А сам чего не вкрутишь? Силенок ни-ни? ;)
мне он не на столько сильно нужен, чтобы этим заниматься.по факту включения в GCC я сужу о полезности языка, коим Nim не считаю.
> мне он не на столько сильно нужен, чтобы этим заниматься.
> по факту включения в GCC я сужу о полезности языка, коим Nim
> не считаю.Языки gcc
C (адски полезен, используется во всех остальных языках)
C++ (адски полезен в сфере сложных и быстрых проектах. Не особо в остальных сферах)
Objective-C (не особо полезен, кроме Apple. Но там он может очень полезен)
Objective-C++ (не знаю. Что это вообще такое?)
Fortran, (не особо полезен, кроме BLAS. И то скорее легаси)
Ada, (не особо полезен, кроме NASA, и тоже легаси)
Go (довольно полезен, надо отдать должное)За пределами gcc:
Python (адски полезен везде, где скорость разработки много важнее скорости выполнения)
C# (полезен для кошелька, но честно, сфер применения не знаю)
Java (полезен для кошелька и очень полезен для Android-разработки)
Lua (полезен как скриптовый язык)
Swift (полезен для разработки под Apple. Сфера специфична, но рынок большой)
TypeScript (полезен хотя бы тем, что не JavaScript)Я думаю, так себе критерий. В gcc хотят добавить фронт для Раста. Будет ли он лично для тебя нормальным языком, если добавят?
>фронт для Растадобавят - хорошо. перспективный и многообещающий язык и технология.
D - забыл
> D - забылЭто вроде сторонний фронт. Тогда можно и паскаль с модулой до кучи.
Не сторонний. При сборке gcc включается опцией --enable-languages=c,c++,ada,fortran,go,lto,objc,obj-c++,d
Кстати, у D тоже можно без сборщика мусора https://dlang.org/spec/betterc.html
Но без стандартной библиотеки.
Компилятор Nim (https://www.archlinux.org/packages/community/x86_64/nim/) не такой жирный по сравнению с тем же Rust, которому нужен llvm. В репах поддерживать Nim довольно просто.
Как он может быть с GC если транслируется в C++ код?
каком кверху, учи букварь
> Как он может быть с GC если транслируется в C++ код?При трансляции всё, что нужно чистить оборачивается в подходящие структуры для сборки и/или вызовы сборщика. Не обязательно даже свои родные, пойдут и сторонние, типа BoehmGC (он вообще для чистого C писался) или Go'шный сборщик. Потом это сборщик подключается отдельной библиотекой.
Создал форк Nimfetko, перед НГ выложу 1й релиз на гитхабчик.
За 12 лет есть какие-то значимые проекты на этом языке?
Смотря для кого значимые. Например, для меня нет ни одного значимого проекта на C# или Objective-C.
А попсы на Nim нет.
Во-первых, первая стабильная версия нима зарелизилась только в сентябре прошлого года.Во-вторых, тебе сюда:
Спасибо, почитаю.
Открыл первую интересную мне ссылку - finddit. Сайта нет.Погуглил, какой-то фейсбучек, туиттор... Социальные активности. Проекта не увидел. Наверное плохо искал.
Остальное... люди сами себе пишут библиотеки, которых в ниме, ессно, нет. Ну пишут, да. Всего этого на фортранах, сях, перлах и прочих питонах с явами написано сотнями тысяч.
Ну... Такое себе...
Хотя язык любопытный и, безусловно, заслуживает внимания.
> Открыл первую интересную мне ссылку - finddit. Сайта нет.
> Погуглил, какой-то фейсбучек, туиттор... Социальные активности. Проекта не увидел. Наверное
> плохо искал.
> Остальное... люди сами себе пишут библиотеки, которых в ниме, ессно, нет. Ну
> пишут, да. Всего этого на фортранах, сях, перлах и прочих питонах
> с явами написано сотнями тысяч.
> Ну... Такое себе...
> Хотя язык любопытный и, безусловно, заслуживает внимания.Finddit это не проект, а автор. По поводу проектов всё будет, первый стабильный релиз состоялся только года назад.
>12 летhttps://www.opennet.me/openforum/vsluhforumID3/122143.html#79
Питон в 1991 году появился. Когда на нем первый проект появился?
Вообще то сначала конвертируется, ну максимум, транслируется, в представление C++, а потом уже компилируется...
Языку не 12 лет, неправильно считаете. Надо начинать отсчёт с первой стабильной версии.Rust появился в 2007 году, версия 1.0 в 2015 году.
Go появился в 2008 году, версия 1.0 в 2012 году.
Nim появился в 2008 году, версия 1.0 в 2019 году.
А что у него с пакетной системой? Как в питоне "принеси мне модуль какой попало версии", так что про повторимые сборки можно забыть или как в расте "принеси мне модуль ровно этой версии" так что за обновлениями всего дерева зависимостей приходится следить автору кода? Или всё-таки предусмотрена нормальная интеграция с системными пакетными репами?
Пакетный менеджер называется nimble. Работает норм.
очередное засерание мозгов
табуляция определяет логику , это полная дичь.
Ля ты дикий какой, узбагойся