Профиль: Аноним (вход | регистрация)
OpenNET

[ новости /+++ | форум | теги |    ]



"В компиляторе Nimony для будущего Nim 3.0 реализованы самокомпиляция и JavaScript-бэкенд"
Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Изначальное сообщение [ Отслеживать ]

"В компиляторе Nimony для будущего Nim 3.0 реализованы самокомпиляция и JavaScript-бэкенд"  +/–
Сообщение от opennews (??), 17-Окт-26, 10:03 
Андреас Румпф (Andreas Rumpf, Araq), автор языка программирования Nim,  опубликовал серию отчётов о прогрессе разработки компилятора Nimony, создаваемого как основа для будущего релиза Nim 3.0. На данный момент уже доступен восьмой отчёт. Ключевое достижение последнего времени - переход к самокомпиляции: весь стек инструментов, включая фронтенд, прослойку (middle-end), оптимизатор и бэкенд, теперь может быть собран самим Nimony. Дополнительно реализованы JavaScript-бэкенд, поддержка всех четырёх актуальных режимов управления памятью и работа на платформе FreeBSD. Код проекта написан на Nim и распространяется под лицензией MIT...

Подробнее: https://www.opennet.ru/opennews/art.shtml?num=66488

Ответить | Правка | Cообщить модератору

Оглавление

Сообщения [Сортировка по ответам | RSS]

1. Сообщение от Аноним (1), 17-Окт-26, 10:03   –8 +/–
К сожалению, Румпф не удержался, и уже почти год вайбкодит компилятор и всё остальное :( Очень ухудшилось качество изменений
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #2, #9, #44, #61

2. Сообщение от Аноним (2), 17-Окт-26, 10:26   –3 +/–
Увы, но он слабый лидер, и его проект так и останется никому ненужной игрушкой. Имхо у того же Zig куда больше шансов преуспеть!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1 Ответы: #3, #4

3. Сообщение от Смузихеб забывший пароль (?), 17-Окт-26, 11:21   –1 +/–
шансов вроде бы больше, но что одно, что другое - дно, без перспективы применения на проде кем угодно кроме фанатиков
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #10, #33, #52

4. Сообщение от Аноним (4), 17-Окт-26, 11:36   –2 +/–
Он видимо ищет смысл жизни через свой язык.
Главное что ему хорошо.
А я не люблю отступы и женерики.
Смысл прост: спасибо Господи что ты сделал нужное простым, а сложное ненужным.
Когда-нибудь и он это поймет. У каждого свой путь.
Я планирую сходить с ума по другому - поверх Forth прикрутить простой синтаксис со скобками. Было бы интересно посмотреть как оно. Навайбкодьте кому не лень, а то я не знаю когда руки дойдут.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #43

7. Сообщение от Axonic (ok), 17-Окт-26, 12:06   +/–
Понятно, что любой язык программирования — лишь инструмент, и в руках хорошего инженера-программиста он будет использован эффективно. Однако Nim  даёт дополнительную возможность программировать с удовольствием. А результаты, как по скорости выполнения, так и по памяти, весьма впечатляют.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #23

9. Сообщение от Аноним (9), 17-Окт-26, 12:42   +3 +/–
> Сборка тех же компонентов компилятором Nim 2 требует примерно в пять раз больше памяти, что в значительной мере обусловлено применением clang.

Настолько ухудшилось, что стало потреблять в пять раз меньше памяти? Ох уж, этот новояз.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1

10. Сообщение от разрабemail (?), 17-Окт-26, 12:54   +1 +/–
зиг выглядит профессионально
это же швейцарский нож для сборки си и плюсов
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3 Ответы: #14

12. Сообщение от разрабemail (?), 17-Окт-26, 12:57   –2 +/–
я тут чекнул привет мир на гоу ран и дотнет ран (запуск исходника) под виндой. оказалось что гоу в 4 раза медленней при первом запуске, и практически одинаково второй запуск.
Так зачем страдать? думаю что IL-сборки все еще обладают огромным потенциалом перед нэйтивом
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #45, #46

13. Сообщение от аниме эксперт (-), 17-Окт-26, 12:58   +1 +/–
Язык, где можно сбиться со счёта, сколько раз ломали совместимость (что в целом красная метка для такого проекта и его команды разрабов).
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #40

14. Сообщение от Аноним (14), 17-Окт-26, 13:07   –2 +/–
Перечисли кто его профессионально использовал кроме форка ноды и какого то мутного терминала?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #10 Ответы: #16, #18, #24, #49, #58

16. Сообщение от Аноним (16), 17-Окт-26, 13:16   +5 +/–
Bun не форк ноды, он с нуля написан, у них мало общего.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #14 Ответы: #28

17. Сообщение от Alexey Torgashin (?), 17-Окт-26, 13:18   +1 +/–
> автор языка программирования Nim, опубликовал серию отчётов о прогрессе разработки компилятора Nimony, создаваемого как основа для будущего релиза Nim 3.0. На данный момент уже доступен восьмой отчёт.

Ну не знаю..
Что-то как-то Ним себя не зрекомендовал.
Ну что на нем есть? ну есть конечно какие-то проги но я их не знаю.

Вот FreePascal он "такой устаревший" но на нём есть.
Есть проги. На нём.
я его тоже юзаю.

А Ним...

Ответить | Правка | Наверх | Cообщить модератору

18. Сообщение от Аноним (18), 17-Окт-26, 13:22   +1 +/–
TigerBeetle
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #14

20. Сообщение от Сергей Макаровemail (?), 17-Окт-26, 13:38   +1 +/–
Я все жду появление языка программирования созданного ии для ИИ через самосовершенствование. Без необходимости понимания кода людьми.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #21, #29, #51

21. Сообщение от Аноним (-), 17-Окт-26, 13:56   +/–
Opus 5.5 уже проходит тесты на написание машинного кода без использования языков программирования. Правда пока только на 7%, но всего год назад это было немыслимо.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #20

22. Сообщение от Аноним (22), 17-Окт-26, 14:09   +/–
Похоже энергичный отличник автор запутался в выкладках. Потерял цель. Что-то теперь могу - тут же это делаю. Зачем? Не важно. Важно что могу. И энергия ксть. "Давно я так не раскидывал мозгами" - подумал профессор Плейшнер, выпрыгивая из окна. А ведь это мог бы быть просто Си (а еще лучше Паскаль) с синтаксисом Питона.
Ответить | Правка | Наверх | Cообщить модератору

23. Сообщение от Инопланетянин (?), 17-Окт-26, 15:16   +/–
> А результаты, как по скорости выполнения, так и по памяти, весьма впечатляют.

А еще впечаталяют результаты по утечкам памяти и нежеланиям автор их исправлять годами https://github.com/nim-lang/Nim/issues?q=is%3Aissue+sta...

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #7 Ответы: #53

24. Сообщение от Аноним (24), 17-Окт-26, 15:17   +3 +/–
У меня дисплейный менеджер на zig, ly :)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #14

25. Сообщение от DEF (?), 17-Окт-26, 15:27   +1 +/–
В чём смысл этого языка? Зачем он нужен? Как он собирается конкурировать с Python, Rust и TypeScript в соответствующих нишах?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #26, #30, #60

26. Сообщение от Аноним (26), 17-Окт-26, 16:08   –1 +/–
питон не компилируется никак, любой проект по компиляции птона разбивается о бдфл, функциональное программирование на нём же разбивается о юзербазу с её отвращением к слову lambda
раст - решил переплюнуть c++ по переусложнённости
тайпскрипт - это просто жс с навешанными аннотациями типов "мам, смотри, я тоже умею в C++"

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

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #25

27. Сообщение от DEF (?), 17-Окт-26, 16:51   –6 +/–
В нише Web царствует TypescriptScript как full-stack язык, вытесняя PHP.
В системной нише - Rust, вытесняя C и C++.
В нише Data Science - Python.

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

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #31, #32, #34

28. Сообщение от Nimoy (?), 17-Окт-26, 16:52   +2 +/–
Bun на Rust недавно переехал
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #16

29. Сообщение от Аноним (29), 17-Окт-26, 17:37   –2 +/–
Проснись уже есть Jev.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #20

30. Сообщение от Аноним (29), 17-Окт-26, 17:38   +5 +/–
Представать что ты когда то прочитал книгу в двух томах как написать компилятор. И после прочтения с этим знанием нужно что-то сделать.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #25

31. Сообщение от Аноним (31), 17-Окт-26, 17:55   +/–
Пора уже писать специальный язык адаптированный для удобства ИИ-агентов который ускорит генерацию на много процентов наплевав на людей, всё равно большую часть нейро(слоп)кода никто не ревювит а отлаживает с помощью других ИИ.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #27 Ответы: #38

32. Сообщение от Гуманоид (?), 17-Окт-26, 18:25   +/–
По пунктам 1 и 2 смешно получилось.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #27

33. Сообщение от Аноним (33), 17-Окт-26, 19:28   +2 +/–
На прод тащат всё, что у фанатиков плохо лежит, не глядя. Фанатики, всё-таки, умеют программировать в отличие от корпоративных щёkoнадувателей. Так что, у Zig-а есть все шансы победить в этой паралимпиаде. Но зачем?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3

34. Сообщение от Аноним (33), 17-Окт-26, 19:35   –3 +/–
> Чем Nim, Zig и прочие языки собираются побеждать

Выразительностью. (Теперь) есть языки на которых хочется писать. А есть, на которых станешь писать только когда заставляют под угрозой насилия: Си, С++, Python, PHP и, прости г-ди, Typescript. Этих хоть сахаром посыпай, хоть перцем с солью, хоть земличкой присыпай, выразительнее они от этого не становятся. В следущий раз соглашайтесь на насилие, как более гуманный выбор.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #27 Ответы: #35, #59

35. Сообщение от DEF (?), 17-Окт-26, 20:14   –3 +/–
>Выразительностью

Выразительность - это субъективная ерунда, которую невозможно объективно измерить.

>А есть, на которых станешь писать только когда заставляют под угрозой насилия: Си, С++, Python, PHP и, прости г-ди, Typescript

Спокойно писал на C и PHP 8+, сейчас также спокойно пишу на Python и TypeScript.

>В следущий раз соглашайтесь на насилие, как более гуманный выбор.

Интересный у тебя жизненный опыт, но я пойду своим путём.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #34 Ответы: #37, #47

36. Сообщение от Инопланетянин (?), 17-Окт-26, 23:02   +/–
> Добавлена параллельная форма цикла for ("for i in 0 || 1"), реализованная в виде плагина, интегрированного с пулом потоков и циклом событий.

Зачем?

Ответить | Правка | Наверх | Cообщить модератору

37. Сообщение от Skala (??), 18-Окт-26, 01:26   +/–
Go is the best!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #35 Ответы: #42

38. Сообщение от Аноним (38), 18-Окт-26, 02:47   +/–
Уже есть такой — Rust же.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #31

39. Сообщение от Аноним (40), 18-Окт-26, 02:54   +/–
>По умолчанию задействованы типы ref и ptr, не допускающие значения nil. Для совместимости со старым кодом предназначена прагма {.feature: "lenientnils".}.

Это какой-то позор. Вместо того, чтобы унаследовать язык от StadardML, и реализовать ADT ещё во время POC, автор изобретает велосипед до сих пор.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #56

40. Сообщение от Аноним (40), 18-Окт-26, 02:57   +/–
Так это же хорошо. Поскольку индустрия обожате плохие языки, то для того, чтобы это недоразумение не набрало популярность, написание кода на нём должно быть максимально неудобным.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #13

41. Сообщение от Аноним (38), 18-Окт-26, 02:58   +/–
> Архитектура перестроена вокруг промежуточного представления NJ ("No Jumps"), не содержащего операции break, continue и goto.

Может кто–нибудь объяснить, какой профит от подобного извращения? Это терминальная стадия покусанности Дейкстрой или что? Под капотом у всех ветвлений всё равно джампы и фиксапы так и так придётся править на следующем проходе.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #48, #50, #57, #62

42. Сообщение от Someone (??), 18-Окт-26, 03:39   +/–
почему идти куда-то является лучшим?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #37 Ответы: #55

43. Сообщение от Аноним (43), 18-Окт-26, 08:58    Скрыто ботом-модератором–3 +/–
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #4

44. Сообщение от Axonic (ok), 18-Окт-26, 09:33   +1 +/–
> Румпф не удержался, и уже почти год вайбкодит компилятор и всё остальное :( Очень ухудшилось качество изменений

А до этого в течение 20 лет работал головой и руками. Сейчас больше работает головой, потому-что рутину переложил LLM.

Что значит «ухудшилось качество изменений»? Сам-то понимаешь, о чём говоришь? Или просто поспешил что-нибудь написать?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1

45. Сообщение от Аноним (45), 18-Окт-26, 10:45   +2 +/–
а с echo hello world не сравнил? зачем страдать фигней?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #12

46. Сообщение от Анонимemail (46), 18-Окт-26, 12:05   +1 +/–
> я тут чекнул привет мир на гоу ран и дотнет ран (запуск исходника) под виндой. оказалось что гоу в 4 раза медленней при первом запуске, и практически одинаково второй запуск.

потому что при первом запуске исходник ВНЕЗАПНО компилируется

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #12

47. Сообщение от черпало (?), 18-Окт-26, 13:09   +2 +/–
> Спокойно писал на C

где? в училище, сортировку пузырьком? ты тут распинался, какой смешной си, потому что ему библиотека для malloc/free нужна, это ж делирий. Шо ты там писал?

> PHP 8+, сейчас также спокойно пишу на
> Python и TypeScript.

бггг, а я всегда говорил, что в ветках про раст (основная масса спецыалистов) или про дырчатость си громче всех кричат пхпшники и джсеры. И как так постоянно получается-то, а?

одичавшие веб-синьоры

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #35

48. Сообщение от Аноним (48), 18-Окт-26, 19:48   +/–
Было много багов. Автор языка решил, что из-за jump'ов. Решил избавиться, его право.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #41

49. Сообщение от Аноним (49), 18-Окт-26, 21:24   +1 +/–
Насколько знаю, его используют в Uber и Vercel для сборки Си-проектов (/gcc/zig cc/i). Видимо сильно удобнее всяких *make
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #14

50. Сообщение от Инопланетянин (?), 18-Окт-26, 22:53   +/–
> Может кто–нибудь объяснить, какой профит от подобного извращения?

Я не компиляторщик, но так проще CFG анализировать.

>  Под капотом у всех ветвлений всё равно джампы и фиксапы так и так придётся править на следующем проходе.

Смысл IR, чтобы на более высоком уровне делать суждения о коде.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #41

51. Сообщение от Аноним (51), 19-Окт-26, 06:49   +/–
В целом подходят языки навроде TypeScript и Rust, где компилятор четко сообщает ошибки, что позволяет ИИ самостоятельно исправлять. Хотя возможно язык с еще более строгими ограничениями будет оптимальнее для ИИ
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #20

52. Сообщение от Аноним (52), 19-Окт-26, 18:04   +1 +/–
Zig используется в Uber. Правда в качестве тулинга для c/c++.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3

53. Сообщение от Axonic (ok), 19-Окт-26, 20:46   +/–
Ссылка ведёт на поиск подстроки «mem» среди всех открытых issue, а это не список утечек. Под такой запрос попадают и memory, и member, и memcpy, и memfiles, и запросы на улучшения, и вопросы по отдельным платформам.

Количество открытых тикетов в проекте с такой историей само по себе говорит о размере трекера, но не о качестве рантайма.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #23 Ответы: #54

54. Сообщение от Инопланетянин (?), 19-Окт-26, 20:58   +/–
> Ссылка ведёт на поиск подстроки «mem» среди всех открытых issue, а это
> не список утечек. Под такой запрос попадают и memory, и member,
> и memcpy, и memfiles, и запросы на улучшения, и вопросы по
> отдельным платформам.

Нет, в запросе "memory+leak". Возможно у вас как-то ссылка обрезалась.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #53

55. Сообщение от _ (??), 19-Окт-26, 22:38   +/–
Хе-хе ... потому что жизнь - это движение!(С) :)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #42

56. Сообщение от _ (??), 19-Окт-26, 22:42   +/–
> StadardML

оно не взлетело, увы :(
Оно конечно не мёртвое, что то там даже делается, но это так - tier 3 ...

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #39

57. Сообщение от _ (??), 19-Окт-26, 22:45   +/–
> Может кто–нибудь объяснить, какой профит от подобного извращения?

Ну дык эта ... чтобы святой кЫш не сбрасывать и пайплайны тоже ...
Нонешние процы - оне все такое сильно не любят :)

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #41

58. Сообщение от User (??), 20-Окт-26, 11:01   +/–
"Форк ноды(ТМ) вычеркивай - они накушались
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #14

59. Сообщение от Аноним (60), 20-Окт-26, 14:26   –1 +/–
> Выразительностью. (Теперь) есть языки на которых хочется писать

Да, такой же "выразительностью" что и у ruby с perl'ом. На словах написано сертифицированными лингвистами, на деле - одно неюзабельный бейсик, другой write once, но и на эти сорта находятся мухи, в итоге я языки взлетят только для них, а нормальные люди продолжат программировать на языках программирования - например, Rust. Которые для программистов, внезапно, более чем выразительны.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #34

60. Сообщение от Аноним (60), 20-Окт-26, 14:28   +/–
> В чём смысл этого языка? Зачем он нужен?

Доставлять удовольствоие своему автору процессом своей разработки.

> Как он собирается конкурировать с Python, Rust и TypeScript в соответствующих нишах?

Никак не собирается.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #25

61. Сообщение от Axonic (ok), 20-Окт-26, 22:35   +/–
> Румпф не удержался, и уже почти год вайбкодит компилятор и всё остальное

Профессионал со специальным образованием, занимающийся более 20 лет проектированием компиляторов, вкупе с возможностями LLM — адская машина. Не плачь. Он справится.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1

62. Сообщение от Аноним (62), 21-Окт-26, 13:32   +/–
Это промежуточное представление, которое должно быть удобным для анализа и оптимизаций. Без джампов это, очевидно, делать проще.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #41


Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




XSQUARE
Inferno Solutions
Hosting by Hoster.ru
Хоcтинг: