The OpenNET Project / Index page

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



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

"Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от opennews (??), 20-Мрт-24, 11:42 
Доступен новый выпуск языка программирования OCaml 4.14.2, поддерживающего концепции функционального, императивного и объектно-ориентированного программирования, и нацеленного на создание безопасных  и надёжных программ. В языке применяются статическая типизация, сборка мусора, исключающие переполнения буферов типы, проверка и статический анализ на стадии компиляции. Код инструментария для языка OCaml распространяется под лицензией LGPL...

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

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

Оглавление

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


2. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от MrAnderson (?), 20-Мрт-24, 11:59 
Кто его использует на проде? Есть истории успеха?
Ответить | Правка | Наверх | Cообщить модератору

4. "Выпуск языка программирования OCaml 4.14.2"  +7 +/
Сообщение от Аноним (4), 20-Мрт-24, 12:03 
> Есть истории успеха?

Да, Rust на нём был когда-то давно написан.

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

10. "Выпуск языка программирования OCaml 4.14.2"  –4 +/
Сообщение от Vivaswat (?), 20-Мрт-24, 12:33 
Спасибо - расходимся...
Ответить | Правка | Наверх | Cообщить модератору

106. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Пряник (?), 21-Мрт-24, 14:33 
Думаю не только он. Уж больно очень подходит для написания компиляторов.
Ответить | Правка | К родителю #4 | Наверх | Cообщить модератору

5. Скрыто модератором  +1 +/
Сообщение от Аноним (5), 20-Мрт-24, 12:04 
Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

14. Скрыто модератором  +10 +/
Сообщение от n00by (ok), 20-Мрт-24, 12:43 
Ответить | Правка | Наверх | Cообщить модератору

20. Скрыто модератором  +2 +/
Сообщение от Вы забыли заполнить поле Name (?), 20-Мрт-24, 13:02 
Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

26. Скрыто модератором  +1 +/
Сообщение от Аноним (26), 20-Мрт-24, 13:50 
Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

36. Скрыто модератором  +/
Сообщение от Аноним (5), 20-Мрт-24, 14:25 
Ответить | Правка | Наверх | Cообщить модератору

7. "Выпуск языка программирования OCaml 4.14.2"  +3 +/
Сообщение от Axel (??), 20-Мрт-24, 12:20 
MLDonkey же
Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

24. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Аноним (26), 20-Мрт-24, 13:35 
Кстати, как в компиляторе с поддержкой генерации кода для MIPS? Вроде, выпилили? Это насчёт возможности сборки MLDonkey для роутеров.
Ответить | Правка | Наверх | Cообщить модератору

34. "Выпуск языка программирования OCaml 4.14.2"  –1 +/
Сообщение от ryoken (ok), 20-Мрт-24, 14:22 
Из более-менее новых роутеров собссно сам MIPS выпилили, на ARM убежали.
Ответить | Правка | Наверх | Cообщить модератору

43. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Аноним (26), 20-Мрт-24, 14:51 
Ну ещё встречаются с MIPS-ядрами. А в эксплуатации ранее выпущенных ещё вагон и маленькая тележка. И благодаря OpenWRT ещё долго будут в эксплуатации.
Ответить | Правка | Наверх | Cообщить модератору

65. "Выпуск языка программирования OCaml 4.14.2"  +2 +/
Сообщение от Aleksander256 (?), 20-Мрт-24, 19:31 
Сам MIPS выпилился, если что.
Ответить | Правка | Наверх | Cообщить модератору

72. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Аноним (72), 20-Мрт-24, 20:23 
Уже лицензированные производителями ядра SoC никуда не делись.
Ответить | Правка | Наверх | Cообщить модератору

75. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Aleksander256 (?), 20-Мрт-24, 20:56 
Не спорю, но это вопрос времени.
Ответить | Правка | Наверх | Cообщить модератору

8. "Выпуск языка программирования OCaml 4.14.2"  –1 +/
Сообщение от Ratt (?), 20-Мрт-24, 12:21 
Ahrefs
Thezos
Тысячи их
Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

96. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Вы забыли заполнить поле Name (?), 21-Мрт-24, 09:21 
> Ahrefs
> Thezos
> Тысячи их

Метод индукции используешь? Летне работает в данном случае.

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

12. "Выпуск языка программирования OCaml 4.14.2"  –1 +/
Сообщение от n00by (ok), 20-Мрт-24, 12:35 
В соседней теме про GnuCOBOL такая история. https://opennet.ru/60802-gnucobol
Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

15. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Аноним (15), 20-Мрт-24, 12:46 
Много кто использует libguestfs. Оно частично на OCaml.
Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

16. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Аноним (16), 20-Мрт-24, 12:46 
Это же шутка да?)
Bloomberg, Jane Street и еще десяток хэдж фондов поменьше =)
Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

21. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Вы забыли заполнить поле Name (?), 20-Мрт-24, 13:05 
> Bloomberg, Jane Street и еще десяток хэдж фондов поменьше

Что они на нем пишут?

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

42. "Выпуск языка программирования OCaml 4.14.2"  +2 +/
Сообщение от Hck3r (?), 20-Мрт-24, 14:47 
DSL, backend финансовых систем
Я так понимаю им важна система типов и подтверждение корректности за этот счёт (чтобы баги всплывали сразу, а не после сделки на много нулей)
Ответить | Правка | Наверх | Cообщить модератору

48. "Выпуск языка программирования OCaml 4.14.2"  –2 +/
Сообщение от Аноним (48), 20-Мрт-24, 15:35 
Ну тот же баг с ХуперТхреаданг в Штеудопроцах отлавливался месяцами.
Ответить | Правка | Наверх | Cообщить модератору

66. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Aleksander256 (?), 20-Мрт-24, 19:36 
И что, лучше месяц ловить ошибку из-за которой не проходит операция, чем ты донатишь 0.01 цента, а человеку приходит 1 000 000$(случай из жизни)
Ответить | Правка | Наверх | Cообщить модератору

69. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от AKTEON (?), 20-Мрт-24, 19:52 
Законы сохранения в экономике не действуют (с)
Ответить | Правка | Наверх | Cообщить модератору

74. "Выпуск языка программирования OCaml 4.14.2"  –1 +/
Сообщение от Aleksander256 (?), 20-Мрт-24, 20:55 
Ну, кто-то работу будет искать, а кто-то будет обвинен в намереном внедрении уязвимости с целью финансовых махинаций. Там уже будет другой закон сохранения.
Ответить | Правка | Наверх | Cообщить модератору

53. "Выпуск языка программирования OCaml 4.14.2"  –1 +/
Сообщение от Аноним (5), 20-Мрт-24, 16:53 
да им пофиг на чём писать. босс сказал используем то-то и всё
Ответить | Правка | К родителю #42 | Наверх | Cообщить модератору

123. "Выпуск языка программирования OCaml 4.14.2"  +1 +/
Сообщение от Vkni (ok), 22-Мрт-24, 07:18 
Не совсем. Но, конечно, вы правы отчасти.
Ответить | Правка | Наверх | Cообщить модератору

122. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Vkni (ok), 22-Мрт-24, 07:17 
OCaml считается лучшим языком для написания прототипа компилятора.

Jane Street пишет всё, включая то, что писать на OCaml, кмк, не следует (low latency). Но им виднее. Другие пишут DSL, см. https://www.dslfin.org/resources.html

Собственно, вся история с формальным описанием контрактов началась со статьи Composing Contracts: An Adventure in Financial Engineering. Как несложно увидеть, авторы, за исключением SPJ, французы. Естественно, в дальнейшем они использовали решения, базирующиеся на OCaml, а не Haskell.

По-сути, OCaml - это статически типизированный Питон. Поэтому если хочется делать решения, которые значительно более стабильны, чем на Питоне, то отлично подойдёт. Но, конечно, библиотек сильно меньше.

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

17. "Выпуск языка программирования OCaml 4.14.2"  +1 +/
Сообщение от n00by (ok), 20-Мрт-24, 12:48 
А вообще, Микрософт создали F#. Это местные эксперты привыкли мыслить шаблоном "NIH-синдром", оправдывая свой профессионализм в git clone && rpmbild, а те, кто определяет развитие, создают инструменты для себя сами, что бы не зависеть от конкурентов.
Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

38. "Выпуск языка программирования OCaml 4.14.2"  +1 +/
Сообщение от Вы забыли заполнить поле Name (?), 20-Мрт-24, 14:26 
> инструменты для себя сами, что бы не зависеть от конкурентов.

Это и есть проявление NIH-синдрома

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

50. "Выпуск языка программирования OCaml 4.14.2"  +3 +/
Сообщение от Вы забыли (-), 20-Мрт-24, 16:21 
Сказал человек на форуме, где пишут новости про "новые" дистрибутивы:
для почты, для хакеров, для админа, для домохозяйки, для музыканта, для пердолинга, просто потому что не любим системмд, с новыми нескучными обоями и тд.
Где у каждой либы есть тонны форков переписьканных на разных языках или просто "потому что".
Ответить | Правка | Наверх | Cообщить модератору

54. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от n00by (ok), 20-Мрт-24, 17:03 
>> инструменты для себя сами, что бы не зависеть от конкурентов.
> Это и есть проявление NIH-синдрома

Это и есть "местные эксперты привыкли мыслить шаблоном".

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

19. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Вы забыли заполнить поле Name (?), 20-Мрт-24, 13:00 
у fb на нем много проектов, можно на шитхабе посмотреть
Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

41. "Выпуск языка программирования OCaml 4.14.2"  +4 +/
Сообщение от decaproxemail (?), 20-Мрт-24, 14:45 
Ну, к примеру, на нем написаны многие инструменты для формальной веривификации. Например coq. А ком написанный на coq умеет экстрагироваться  в код на ocaml для последующей сборки компилятором ocaml. Например такой подход используется в разработке формально верифицированного компилятора C – CompCert.
Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

3. "Выпуск языка программирования OCaml 4.14.2"  –1 +/
Сообщение от Аноним (4), 20-Мрт-24, 12:03 
Зачем нужен легаси предок Rust? Он даже не может работать на bare metal.
Ответить | Правка | Наверх | Cообщить модератору

6. Скрыто модератором  +/
Сообщение от Haxen (?), 20-Мрт-24, 12:17 
Ответить | Правка | Наверх | Cообщить модератору

22. Скрыто модератором  +/
Сообщение от Аноним (22), 20-Мрт-24, 13:23 
Ответить | Правка | Наверх | Cообщить модератору

11. "Выпуск языка программирования OCaml 4.14.2"  +1 +/
Сообщение от n00by (ok), 20-Мрт-24, 12:34 
На самом деле байт-код OCaml может исполняться на тех процессорах, для которых компилятор Rust не может генерировать код.
Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

35. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Вы забыли заполнить поле Name (?), 20-Мрт-24, 14:22 
Например?
Ответить | Правка | Наверх | Cообщить модератору

56. "Выпуск языка программирования OCaml 4.14.2"  –4 +/
Сообщение от n00by (ok), 20-Мрт-24, 17:10 
Даже и не знаю, что можно ответить на такой вопрос. Например, можно посмотреть исходники ocamlrun. Увидеть, что он написан на Си. Догадаться, что его можно собрать под целевой процессор. Можно даже написать свой интерпретатор, это явно проще, чем делать бэкенд компилятору. Например, написанный на ассемблере лежит у меня на гитхапе.
Ответить | Правка | Наверх | Cообщить модератору

97. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Советский инженер (ok), 21-Мрт-24, 10:12 
>Например, можно посмотреть исходники ocamlrun. Увидеть, что он написан на Си.

а если внимательно посмотреть на таргеты раста, то можно среди них увидеть wasm.
еще чтото надо пояснить?

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

100. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Аноним (100), 21-Мрт-24, 12:28 
Поясни, как портировать хотя бы coreutils на wasm.
Ответить | Правка | Наверх | Cообщить модератору

105. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Советский инженер (ok), 21-Мрт-24, 13:38 
> Поясни, как портировать хотя бы coreutils на wasm.

https://en.wikipedia.org/wiki/WebAssembly#WASI

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

107. "Выпуск языка программирования OCaml 4.14.2"  –1 +/
Сообщение от n00by (ok), 21-Мрт-24, 15:39 
Конечно, поясни. У тебя сейчас, как обычно, пятница? Или ты хотел пояснить, как будешь запускать wasm на голом железе?
Ответить | Правка | К родителю #97 | Наверх | Cообщить модератору

108. "Выпуск языка программирования OCaml 4.14.2"  +1 +/
Сообщение от Аноним (-), 21-Мрт-24, 15:57 
А как ты будешь запускать ocaml на голом железе?

Вот точно так же и wasm, берёшь и пишешь интерпретатор байткода. Или берёшь готовый: https://github.com/wasm3/wasm3

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

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

110. "Выпуск языка программирования OCaml 4.14.2"  –1 +/
Сообщение от n00by (ok), 21-Мрт-24, 16:28 
На вопрос про пятницу ты почему не ответил? Опять пьян и полагаешь, что через Тор можешь заспамить в ответ ссылками, как ты что-то там гипотетически сможешь сделать, если вдруг протрезвеешь? Если я сборщик мусора написал на асме вместе с ВМ OCaml, я уж как нибудь и знакомые исходники на Си смогу подпилить. А ты иди, напиши, потом возвращайся.
Ответить | Правка | Наверх | Cообщить модератору

111. Скрыто модератором  +/
Сообщение от Аноним (-), 21-Мрт-24, 17:48 
Ответить | Правка | Наверх | Cообщить модератору

125. Скрыто модератором  +/
Сообщение от n00by (ok), 22-Мрт-24, 08:14 
Ответить | Правка | Наверх | Cообщить модератору

113. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Советский инженер (ok), 21-Мрт-24, 18:34 
>На вопрос про пятницу ты почему не ответил?

А твоя мамка знает что ты дурачek ?

>Если я сборщик мусора написал на асме вместе с ВМ OCaml

Если ...

если написал то откуда вопросы как запускать wasm?

> ... можешь заспамить в ответ ссылками, как ты что-то там гипотетически сможешь сделать ...

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

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

126. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от n00by (ok), 22-Мрт-24, 08:19 
>>На вопрос про пятницу ты почему не ответил?
> А ?

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

>>Если я сборщик мусора написал на асме вместе с ВМ OCaml
> Если ...

Вот именно. Мой опыт позволяет мне судить о сложности. А те ссылки, что ты тут спамишь - ты сам не понимаешь, что там написано.

> если написал то откуда вопросы как запускать wasm?

Это к тебе вопросы. Ты не написал, зачем ты это суёшь? Хочешь, что бы я за тебя оценил сложность?

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

Нашёл за тебя: "байт-код OCaml может исполняться на тех процессорах, для которых компилятор Rust не может генерировать код."

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

128. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Советский инженер (ok), 22-Мрт-24, 08:34 
>Я знаю, что ты систематически тут пишешь, находясь в состоянии алкогольного опьянения.

И-и-и... ?
Пьяным,с твоих слов, пишу я, а тупишь тут ты.

>А те ссылки, что ты тут спамишь - ты сам не понимаешь, что там написано.

не суди по себе.

>Это к тебе вопросы. Ты не написал, зачем ты это суёшь? Хочешь, что бы я за тебя оценил сложность?

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


>Нашёл за тебя: "байт-код OCaml может исполняться на тех процессорах, для которых компилятор Rust не может генерировать код."

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

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

129. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от n00by (ok), 22-Мрт-24, 09:06 
>>Я знаю, что ты систематически тут пишешь, находясь в состоянии алкогольного опьянения.
> И-и-и... ?
> Пьяным,с твоих слов, пишу я, а тупишь тут ты.

Если ты сам признался, то -- с твоих слов. Как выпьешь, так все вокруг тупеют?

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

124. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Vkni (ok), 22-Мрт-24, 07:19 
SPARC
Ответить | Правка | К родителю #35 | Наверх | Cообщить модератору

51. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Sw00p aka Jerom (?), 20-Мрт-24, 16:23 
https://rustc-dev-guide.rust-lang.org/backend/codegen.html
Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору

55. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от n00by (ok), 20-Мрт-24, 17:06 
> https://rustc-dev-guide.rust-lang.org/backend/codegen.html

И что? Где твой бэкенд?

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

59. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Sw00p aka Jerom (?), 20-Мрт-24, 17:31 
> И что? Где твой бэкенд?

а LLVM что за зверь?

И раст "может исполняться на тех процессорах" которые поддерживаются LLVM. Растодельцы избавили себя от машиннозависимой кодогенерации.  

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

60. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Аноним (72), 20-Мрт-24, 17:48 
Растодельцы: Хорошо сказали
Ответить | Правка | Наверх | Cообщить модератору

62. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Аноним (62), 20-Мрт-24, 18:29 
Растоподельники
Ответить | Правка | Наверх | Cообщить модератору

93. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от n00by (ok), 21-Мрт-24, 08:12 
Ты всю эту чушь пишешь, что бы заболтать исходный тезис "...для которых компилятор Rust не может генерировать код"?

Как Rust, скомпилированный при помощи LLVM, будет исполняться на процессорах, если LLVM не генерирует под них код?

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

119. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Sw00p aka Jerom (?), 22-Мрт-24, 00:57 
> Ты всю эту чушь пишешь, что бы заболтать исходный тезис "...для которых
> компилятор Rust не может генерировать код"?

Алё, раст вообще не генерирует код ни для каких архитектур. Раст это фронтенд, с ллвм бекендом. Раст только генерирует ИР представление для ллвм-а. По ссылке все написано.

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

И вам задали прямой вопрос, какая это такая архитектура, которая не поддерживается в ллвм, но виртмашина окамла для нее есть.


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

127. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от n00by (ok), 22-Мрт-24, 08:32 
>> Ты всю эту чушь пишешь, что бы заболтать исходный тезис "...для которых
>> компилятор Rust не может генерировать код"?
> Алё, раст вообще не генерирует код ни для каких архитектур. Раст это
> фронтенд, с ллвм бекендом. Раст только генерирует ИР представление для ллвм-а.
> По ссылке все написано.

Я понимаю, что тебе очень хочется оспорить всякое моё утверждение. Недостаток опыта вынуждает выискивать проколы в формулировках. Очевидно (прочитай оглавление Драгонбук, хотя бы), что компилятор Rust состоит из фронт-энда и бэк-енда. Таким образом он генерирует код. При помощи LLVM или ещё чего в бэкенде - это вообще дело десятое. Суть в том, что пока не сгенерирован код, нет возможности его исполнить (разве что в маня-мирке "инженера", где он гипотетически работает в виде wasm).

> И вам задали прямой вопрос, какая это такая архитектура, которая не поддерживается
> в ллвм, но виртмашина окамла для нее есть.

Кто "задали"? Если это был ты, то твои вопросы хорошо бы начать игнорировать, а тебя занести в ЧС ради экономии времени.

Тебе ведь бесполезно второй раз объяснять, что ocamlrun написан на Си, который собирается не только бэкендом LLVM. Кроме того, ВМ достаточно проста; если я написал вариант на асме, то и другие смогут.

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

131. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Sw00p aka Jerom (?), 22-Мрт-24, 12:49 
> Я понимаю, что тебе очень хочется оспорить всякое моё утверждение.

не ставил перед собой такой цели

> Недостаток опыта вынуждает выискивать проколы в формулировках.

Строгость определений (формулировок) основа-основ любой науки, и не надо точную науку превращать в искусство разговорного жанра (по великому-могучему - пиз...Ъ). И именно допуск таких "проколов" порой говорит не о недостатке опыта, а о незнании предмета (области). "Дураком" быть, "дурака" судить за незнание.

> Очевидно (прочитай оглавление Драгонбук,
> хотя бы), что компилятор Rust состоит из фронт-энда и бэк-енда. Таким
> образом он генерирует код. При помощи LLVM или ещё чего в
> бэкенде - это вообще дело десятое.

Читаем внимательно первый абзац из ссылки выше:

Code generation (or "codegen") is the part of the compiler that actually generates an executable binary. Usually, rustc uses LLVM for code generation, but there is also support for Cranelift and GCC. The key is that rustc doesn't implement codegen itself. It's worth noting, though, that in the Rust source code, many parts of the backend have codegen in their names (there are no hard boundaries).

Вот первое предложение вырвано из той самой "Красной книги Дракона". А суть в том, что кодогенерация есть процесс получения машиннозависимого готового к исполнению кода, именно такое определение в "Красной книге Дракона".

Отсюда возникают вопрос, а можно ли называть процесс получения промежуточного представления (кода) - кодогенерацией? Как по мне - нет, ибо тогда и построение АСД (AST) можно назвать кодогенерацией, так как это такое же промежуточное представление.

> Суть в том, что пока
> не сгенерирован код, нет возможности его исполнить (разве что в маня-мирке
> "инженера", где он гипотетически работает в виде wasm).

Ну да, а теперь ответьте себе на вопрос, генерирует ли раст код? Занимается ли он кодогенерацией по определению данной в "Красной книге Дракона"?

Отсюда и возникают "проколы в формулировках", которые нельзя проигнорировать, и это вовсе не придирка.


> Кто "задали"? Если это был ты, то твои вопросы хорошо бы начать
> игнорировать, а тебя занести в ЧС ради экономии времени.

дело ваше.

> Тебе ведь бесполезно второй раз объяснять, что ocamlrun написан на Си

This raises a chicken-and-egg paradox: where did the first compiler come from? It must have been written in a different language. In Rust's case it was written in OCaml. :)

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

136. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Минона (ok), 22-Мрт-24, 13:57 
> А суть в том, что кодогенерация есть процесс получения машинозависимого готового к исполнению кода
> Отсюда возникают вопрос, а можно ли называть процесс получения промежуточного представления (кода) - кодогенерацией? Как по мне - нет, ибо тогда и построение АСД (AST) можно назвать кодогенерацией, так как это такое же промежуточное представление.

Абажди, но ведь в современных х86 процессорах cisc-код внутри процессора преобразуется в risc-код.
Т.е. х86-код это тоже промежуточное представление.🤔

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

141. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Sw00p aka Jerom (?), 22-Мрт-24, 14:49 
> Т.е. х86-код это тоже промежуточное представление.🤔

ну подайте на вход х86 процессора risc-код, будет он его исполнять? - нет. Почему? потому-что на вход он ждет совсем другое представление. А что он (ЦПУ) с ним там сделает, не важно с точки зрения ЯП. ЦПУ для ЯП это исполнительное устройство. И х86-код промежуточным никак нельзя назвать с точки зрения ЯП. А с точки зрения ЦПУ это входные данные, как для ЯП - исходный текст на языке.


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

146. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Минона (ok), 22-Мрт-24, 15:39 
>> Т.е. х86-код это тоже промежуточное представление.🤔
> ну подайте на вход х86 процессора risc-код, будет он его исполнять? -
> нет. Почему? потому-что на вход он ждет совсем другое представление. А
> что он (ЦПУ) с ним там сделает, не важно с точки
> зрения ЯП. ЦПУ для ЯП это исполнительное устройство. И х86-код промежуточным
> никак нельзя назвать с точки зрения ЯП. А с точки зрения
> ЦПУ это входные данные, как для ЯП - исходный текст на
> языке.

Ок.
"ЦПУ для ЯП это исполнительное устройство." -> "LLVM для ЯП это исполнительное устройство."
"А что он (ЦПУ) с ним там сделает, не важно с точки зрения ЯП." -> "А что он (LLVM) с ним там сделает, не важно с точки зрения ЯП."

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

147. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Sw00p aka Jerom (?), 22-Мрт-24, 17:07 
> "ЦПУ для ЯП это исполнительное устройство." -> "LLVM для ЯП это исполнительное устройство."

В принципе да, ток устройство в контексте ллвм надо взять в кавычки, входными данными для которого будет IR представление, а выходными - ЦПУ машинные коды.

> "А что он (ЦПУ) с ним там сделает, не важно с точки
> зрения ЯП." -> "А что он (LLVM) с ним там сделает,
> не важно с точки зрения ЯП."

таки да, и в этом контексте говорить, что "раст не сгенерирует там код какой-то, для какого-то там ЦПУ" - ересь чистой воды.


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

148. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Минона (ok), 22-Мрт-24, 23:08 
Зачем в кавычки, LLVM это software defined processor unit.
Ответить | Правка | К родителю #147 | Наверх | Cообщить модератору

149. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Sw00p aka Jerom (?), 23-Мрт-24, 00:32 
> Зачем в кавычки, LLVM это software defined processor unit.

исполнить - вычислить, получить результат. Генерация кода - не процесс исполнения, и тем более не исполнительное устройство.

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

138. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от n00by (ok), 22-Мрт-24, 14:12 
>> Я понимаю, что тебе очень хочется оспорить всякое моё утверждение.
> не ставил перед собой такой цели

Я тебе не верю. Особенно после твоей экспертизы по PathGuard, где ты спутал 32-х и 64-х разрядные системы и что-то мне доказывал.

>> Недостаток опыта вынуждает выискивать проколы в формулировках.
> Строгость определений (формулировок) основа-основ любой науки, и не надо точную науку превращать
> в искусство разговорного жанра (по великому-могучему - пиз...Ъ).

Вот и не превращай. Открою тебе секрет: сгенерированный твоим LLVM код не пригоден для запуска. Там совершенно внезапно нужен еще и линкер. Кому важна суть моего сообщения, тот это понимает без лишних объяснений. Кому интересен спор ради спора, тот будет строчить мне кучу бессмысленных сообщений.

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

142. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Sw00p aka Jerom (?), 22-Мрт-24, 14:57 
> Я тебе не верю.

все правильно, вера для тех кто не умеет сомневаться.

> Особенно после твоей экспертизы по PathGuard, где ты
> спутал 32-х и 64-х разрядные системы и что-то мне доказывал.

ага я спутал, и забыл что 32-битные программы могут исполняться на 64-битных ОС.

> Вот и не превращай. Открою тебе секрет: сгенерированный твоим LLVM код не
> пригоден для запуска. Там совершенно внезапно нужен еще и линкер.

а ну да, нуда, еще и всякие ЛТО и прочая приблуда.

> Кому важна суть моего сообщения, тот это понимает без лишних объяснений.

увы не телепат, ясно.

> Кому интересен спор ради спора, тот будет строчить мне кучу бессмысленных сообщений.

я только "придираюсь" :)

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

144. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от n00by (ok), 22-Мрт-24, 15:06 
>> Особенно после твоей экспертизы по PathGuard, где ты
>> спутал 32-х и 64-х разрядные системы и что-то мне доказывал.
> ага я спутал, и забыл что 32-битные программы могут исполняться на 64-битных
> ОС.

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

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

145. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Sw00p aka Jerom (?), 22-Мрт-24, 15:08 
> Ты банально не имеешь понятия, что руткит - это драйвер (намеренно пишу
> некорректный, но всем понятный термин). Так что вот этот сарказм малость
> мимо кассы.

а че не модуль ?

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

152. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от n00by (ok), 25-Мрт-24, 14:19 
>> Ты банально не имеешь понятия, что руткит - это драйвер (намеренно пишу
>> некорректный, но всем понятный термин). Так что вот этот сарказм малость
>> мимо кассы.
> а че не модуль ?

Потому что он - сервис режима ядра.

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

18. "Выпуск языка программирования OCaml 4.14.2"  –3 +/
Сообщение от Советский инженер (ok), 20-Мрт-24, 12:50 
он не нужен, есть F#
Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

27. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Аноним (26), 20-Мрт-24, 13:54 
Rust?
Ответить | Правка | Наверх | Cообщить модератору

29. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Советский инженер (ok), 20-Мрт-24, 13:58 
тоже ничего
Ответить | Правка | Наверх | Cообщить модератору

30. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Аноним (26), 20-Мрт-24, 14:01 
В смысле, ответ на вопрос - ненужен.
Ответить | Правка | Наверх | Cообщить модератору

101. Скрыто модератором  +/
Сообщение от Аноним (100), 21-Мрт-24, 12:31 
Ответить | Правка | К родителю #27 | Наверх | Cообщить модератору

137. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Минона (ok), 22-Мрт-24, 14:02 
Функциональные фишки F# переползают в C#.
Ответить | Правка | К родителю #18 | Наверх | Cообщить модератору

140. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Советский инженер (ok), 22-Мрт-24, 14:38 
> Функциональные фишки F# переползают в C#.

и это правильно.

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

61. "Выпуск языка программирования OCaml 4.14.2"  +1 +/
Сообщение от Аноним (61), 20-Мрт-24, 18:12 
это не предок Rust. Разберитесь в теме, ваш пост выглядит нелепо
Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

67. "Выпуск языка программирования OCaml 4.14.2"  –2 +/
Сообщение от AKTEON (?), 20-Мрт-24, 19:38 
(C ленинским прищуром) Зачем нужен раст, который не работает на Эльбрусе ?? И тащит потенциальную малварь с серверов вражеского государства ??
Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

80. "Выпуск языка программирования OCaml 4.14.2"  +3 +/
Сообщение от Аноним (80), 20-Мрт-24, 22:46 
Стыдно должно быть. Эльбрус – жуткая проприетарщина с NDA. Он бесконечно далёк от свободы и от чего-либо левого.
Ответить | Правка | Наверх | Cообщить модератору

91. "Выпуск языка программирования OCaml 4.14.2"  +2 +/
Сообщение от нах. (?), 21-Мрт-24, 07:40 
Да Владимир Ильич тоже знаешь ли оказался вовсе не про шва6одку и демократию, а вовсе даже наоборот.

И даже диктатура оказалась вовсе не пролетарьята, как обещали, а коммунистических функционеров, ни один из которых и близко к станку не стоял. (Ну на митинге только разьве. Отверточку вот-с, заодно сп-л.) Зато как он отомстил за своего брата!

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

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

118. Скрыто модератором  +/
Сообщение от Аноним (-), 21-Мрт-24, 23:20 
Ответить | Правка | Наверх | Cообщить модератору

143. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Sw00p aka Jerom (?), 22-Мрт-24, 15:05 
> Так что ель-брус - наше, скрепное, вот только подучимся чипы производить, и
> дрожите, проклятые англосукси!

и с коих пор влив "ваше скрепное"?

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

88. "Выпуск языка программирования OCaml 4.14.2"  +1 +/
Сообщение от нах. (?), 21-Мрт-24, 07:35 
Так точно, товарищ майор! На..й нам ненужон этот хруст!

Он еще и запрещенную тираристическую секту Л..чтотатам пропагандирует! (потому что придумать такой синтаксис - могли только конченные п-сы)

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

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

13. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Аноним (15), 20-Мрт-24, 12:39 
4.x - это LTS ветка. В ней ничего интересного уже не будет.
Все вкусняшки появляются в 5.x
Ответить | Правка | Наверх | Cообщить модератору

23. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Аноним (22), 20-Мрт-24, 13:25 
С нем же такое было что в новую версию  добавили так много нового что пришлось называть как новый язык. Не с Перлом ли?
Ответить | Правка | Наверх | Cообщить модератору

25. "Выпуск языка программирования OCaml 4.14.2"  +1 +/
Сообщение от Аноним (15), 20-Мрт-24, 13:44 
Не, тут другой случай.

>OCaml 5 as a language is fully compatible with OCaml 4 down to the performance characteristics of your programs. In other words, any code that works with OCaml 4 should work the same with OCaml 5.

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

31. "Выпуск языка программирования OCaml 4.14.2"  +1 +/
Сообщение от Аноним (31), 20-Мрт-24, 14:04 
Вполне приятный синтаксис. Не то что колючий раст или загогулистый плюс-плюс.
Ответить | Правка | Наверх | Cообщить модератору

39. "Выпуск языка программирования OCaml 4.14.2"  +1 +/
Сообщение от Вы забыли заполнить поле Name (?), 20-Мрт-24, 14:28 
Сколько по десятибалльной шкале?
Ответить | Правка | Наверх | Cообщить модератору

52. "Выпуск языка программирования OCaml 4.14.2"  +1 +/
Сообщение от Аноним (52), 20-Мрт-24, 16:34 
6500 K (Экв. цветовая температура)
Ответить | Правка | Наверх | Cообщить модератору

63. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Вы забыли заполнить поле Name (?), 20-Мрт-24, 18:35 
> 6500 K (Экв. цветовая температура)

К вечеру надо снижать, чтобы глазки не были красными.

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

73. "Выпуск языка программирования OCaml 4.14.2"  –1 +/
Сообщение от Аноним (72), 20-Мрт-24, 20:28 
Главное, в инфракрасную область не скатиться, а то выходы за пределы буферов не заметите.
Ответить | Правка | Наверх | Cообщить модератору

102. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Аноним (100), 21-Мрт-24, 12:42 
Не страшно, фанаты безопастности все заметят и напомнят, еще и новость на опенхоле опубликуют.
Ответить | Правка | Наверх | Cообщить модератору

46. "Выпуск языка программирования OCaml 4.14.2"  +3 +/
Сообщение от Cradle (?), 20-Мрт-24, 15:11 
embedded операционка на нём есть и всякие вкусности к ней, уже много лет пилят, видимо кто-то пользуется: https://github.com/mirage
Ответить | Правка | К родителю #31 | Наверх | Cообщить модератору

76. "Выпуск языка программирования OCaml 4.14.2"  –1 +/
Сообщение от Минона (ok), 20-Мрт-24, 22:15 
Это libos, про embedded там ни слова.  
Ответить | Правка | Наверх | Cообщить модератору

114. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Пельменелюб (?), 21-Мрт-24, 19:13 
MirageOS is a library operating system that constructs unikernels for secure, high-performance, low-energy footprint applications across various hypervisor and embedded platforms.
Ответить | Правка | Наверх | Cообщить модератору

130. "Выпуск языка программирования OCaml 4.14.2"  –1 +/
Сообщение от Минона (ok), 22-Мрт-24, 10:22 
> MirageOS is a library operating system that constructs unikernels for secure, high-performance,
> low-energy footprint applications across various hypervisor and embedded platforms.

https://github.com/mirage/mirage
"MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across various cloud computing and mobile platforms."

И вообще то это не "embedded операционка" как писал товарищ выше.

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

132. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Пельменелюб (?), 22-Мрт-24, 12:59 
Не там смотришь. Попробуй еще поискать, я верю в тебя, ты справишься.
Ответить | Правка | Наверх | Cообщить модератору

134. "Выпуск языка программирования OCaml 4.14.2"  –1 +/
Сообщение от Минона (ok), 22-Мрт-24, 13:10 
> Не там смотришь. Попробуй еще поискать, я верю в тебя, ты справишься.

Если для тебя описание от её авторов это "не там" - ССЗБ 🤷‍♂️

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

133. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Пельменелюб (?), 22-Мрт-24, 13:10 
Plus, we improved the cross-compilation support, added more compilation targets to MirageOS (for instance, for bare-metal Raspberry-Pi 4), and made it easier to integrate MirageOS with non-OCaml libraries.

А если хорошо поищешь, то найдешь работы в направлении esp32 еще с 2018 года.
Главное не опускай руки. Вперед навстречу знаниям и развитию.

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

135. "Выпуск языка программирования OCaml 4.14.2"  –1 +/
Сообщение от Минона (ok), 22-Мрт-24, 13:17 
> Plus, we improved the cross-compilation support, added more compilation targets to MirageOS
> (for instance, for bare-metal Raspberry-Pi 4), and made it easier to
> integrate MirageOS with non-OCaml libraries.

Ты бы поменьше новостные сайты читал.

> А если хорошо поищешь, то найдешь работы в направлении esp32 еще с
> 2018 года.

Мало ли кто куда чего в 2018 копал.

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

150. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Пельменелюб (?), 23-Мрт-24, 13:42 
Внимательный читатель страницы MirageOS на гитхабе, обязательно обнаружит ссылку на домашнюю страницу этой ОС. И именно там, от "отцов основателей" узнает о embedded, bare-metal, esp32 и вообще, кто и куда копал.
Как бы "MirageOS is a Xen and Linux Foundation incubator project"  явно не новостная лента.
Ответить | Правка | Наверх | Cообщить модератору

151. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Пельменелюб (?), 23-Мрт-24, 13:43 
Юношеский максимализм очень плохая штука, и никого до добра не доведет.
Ответить | Правка | К родителю #135 | Наверх | Cообщить модератору

37. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Аноним (37), 20-Мрт-24, 14:26 
Кроме Си языков нет. Есть Асм и коды, но это не языки. Есть специализированные, вроде учебных вроде Бейсика и Паскаля, на которых вполне можно писать, или всякие баз данных, вроде SQL и 1С. Остальное всё тлен.  
Ответить | Правка | Наверх | Cообщить модератору

44. "Выпуск языка программирования OCaml 4.14.2"  +7 +/
Сообщение от Аноним (26), 20-Мрт-24, 14:54 
Кроме морковки пирожных нет.
Ответить | Правка | Наверх | Cообщить модератору

45. "Выпуск языка программирования OCaml 4.14.2"  +1 +/
Сообщение от Cradle (?), 20-Мрт-24, 15:06 
Ну вот сабж и есть французский ответ Бейсику и Паскалю, на котором можно и учиться и писать профессионально. Другое дело что этот их французский остальному миру не очень понятен.
Ответить | Правка | К родителю #37 | Наверх | Cообщить модератору

58. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от n00by (ok), 20-Мрт-24, 17:21 
Остальному миру так же не очень понятны языки семейства Паскаль. Любой здешний эксперт скажет, что мир должен говорить на Бейсик Инглиш. Ну и писать на языках программирования, созданных в США.
Ответить | Правка | Наверх | Cообщить модератору

64. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Аноним (-), 20-Мрт-24, 19:27 
>Остальному миру так же не очень понятны языки семейства Паскаль.

Почему? Адептов Паскаля много по всему Миру.

>Любой здешний эксперт скажет, что мир должен говорить на Бейсик Инглиш.

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

>Ну и писать на языках программирования, созданных в США.

Э-э не гони минипулятор ты наш. Люди пишут прежде всего на популярных и востребованных языках программирования.

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

94. "Выпуск языка программирования OCaml 4.14.2"  –2 +/
Сообщение от n00by (ok), 21-Мрт-24, 08:20 
>>Остальному миру так же не очень понятны языки семейства Паскаль.
> Почему? Адептов Паскаля много по всему Миру.

Потому что "много" это манечка, а не цифра.

>>Любой здешний эксперт скажет, что мир должен говорить на Бейсик Инглиш.
> Здешние эксперты критикуют тебя за то, что ты пытаешься не признавать устоявшиеся
> правила транскрибирования. Твои аргументы навроде поисковых запросов смешны.

И давно эксперт по трансскипированию транскрипции стал говорить о себе во множественном числе? До того, как узнал о частотном анализе, или после?

>>Ну и писать на языках программирования, созданных в США.
> Э-э не гони минипулятор ты наш. Люди пишут прежде всего на популярных
> и востребованных языках программирования.

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

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

47. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Аноним (48), 20-Мрт-24, 15:35 
Си это шутка, воспринятая всерьёз. Во времена холодной войны они эту дурь хотели сюда пропихнуть, но "не рой другому яму"...
Ответить | Правка | К родителю #37 | Наверх | Cообщить модератору

49. "Выпуск языка программирования OCaml 4.14.2"  +1 +/
Сообщение от Аноним (52), 20-Мрт-24, 15:44 
Во времена холодной войны сюда Си особо и неначто было пихать. ЕС ЭВМ - там всё оботечествлённое межделмашевское своё. КР580 - Бейсики разные.
Ответить | Правка | Наверх | Cообщить модератору

86. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от нах. (?), 21-Мрт-24, 07:30 
Про СМ3,4,1420,1700 - нееееа, не слышал? Первая - это 78й год.

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

98. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Аноним (98), 21-Мрт-24, 11:17 
А последняя только формально в той же серии СМ. А в отличие от них, 32-битная (VAX).
Ответить | Правка | Наверх | Cообщить модератору

99. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от нах. (?), 21-Мрт-24, 11:35 
в смысле?
СМ - это огромный ряд совершенно разных серий. (Как и ЕС, в общем-то, где 1045 это мэйнфрейм, а 1845 писюк с-ный) CM1 и 2 - вообще ни разу не клоны DEC и ничего общего не имеют с 3 кроме типоразмеров и разъемов.
1421 - если я не ошибаюсь в названии (ни одной такой не видел и их не сохранилось, но слухи о них ходили) - содержала внутри встроенный МИР1 вместе с алмиром в качестве периферийного узла.

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

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

68. "Выпуск языка программирования OCaml 4.14.2"  +1 +/
Сообщение от AKTEON (?), 20-Мрт-24, 19:47 
Конечно  нет - ЕСТЬ ФОРТРАН - ВЕЛИКИЙ И УЖАСНЫЙ - до Unix возникший и после смерти  C  паки грядущий !
Ответить | Правка | К родителю #37 | Наверх | Cообщить модератору

103. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Аноним (100), 21-Мрт-24, 12:44 
Времена идут, языки меняются, а математики пишут на Фортране. И в чем они неправы? Там хоть синтаксис более-менее нормальный.
Ответить | Правка | Наверх | Cообщить модератору

112. Скрыто модератором  –2 +/
Сообщение от Аноним (-), 21-Мрт-24, 18:27 
Ответить | Правка | Наверх | Cообщить модератору

77. "Выпуск языка программирования OCaml 4.14.2"  +1 +/
Сообщение от Минона (ok), 20-Мрт-24, 22:18 
Лисп.
Все остальное от лукавого. 😎
Ответить | Правка | К родителю #37 | Наверх | Cообщить модератору

83. "Выпуск языка программирования OCaml 4.14.2"  +1 +/
Сообщение от anonymos (?), 21-Мрт-24, 03:09 
(defquote '(Ибо воистину. Первый Язык, жемчужина посреди простых камней, и нет языков кроме Него. Скобки, в которых пустота — тело Его, мистическое двуединство кода и данных — дух Его, божественная рекурсия — сердце Его. Истинно говорю вам, избегающий света Его есть безумец, вот, свершается кара над главой его, и убогостью отмечены поделия его, подобные пустым глиняным горшкам рядом с хрустальным сосудом благодати Его. Принявший же и постигший истинный свет Его подобен прямой и отточенной стреле, чисты помыслы его и крепка рука его, и благословенны творения его, дарующие радость и утоляющие печали, ибо одухотворены духом Его и отмечены благодатью Его.))
Ответить | Правка | Наверх | Cообщить модератору

57. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Аноним (57), 20-Мрт-24, 17:11 
Недостаточно зрелый, слишком часто выходят изменения.
Ответить | Правка | Наверх | Cообщить модератору

71. Скрыто модератором  +/
Сообщение от Аноним (-), 20-Мрт-24, 19:59 
Ответить | Правка | Наверх | Cообщить модератору

78. "Выпуск языка программирования OCaml 4.14.2"  +1 +/
Сообщение от Минона (ok), 20-Мрт-24, 22:22 
Сейчас модно быть "в струе".
Ответить | Правка | К родителю #57 | Наверх | Cообщить модератору

81. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от AKTEON (?), 20-Мрт-24, 23:04 
Cтандарта - нет, сторонних реализаций нет. Незрелый язык программирования.
Ответить | Правка | Наверх | Cообщить модератору

92. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Аноним (92), 21-Мрт-24, 07:42 
Хм, интересно, не имеется ли планов или обсуждений о добавлении OCaml-фронтэнда в состав GCC?
Ответить | Правка | Наверх | Cообщить модератору

87. "Выпуск языка программирования OCaml 4.14.2"  +4 +/
Сообщение от Аноним (92), 21-Мрт-24, 07:34 
Совсем другое дело Rust, обкатанный по самые небалуйся. И комитет по стандартизции, состоящий из выкинутых Мурзиллой на мороз, имеется.
Ответить | Правка | К родителю #57 | Наверх | Cообщить модератору

79. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от zog (??), 20-Мрт-24, 22:43 
Есть работа для программистов на этом языке?
Ответить | Правка | Наверх | Cообщить модератору

82. "Выпуск языка программирования OCaml 4.14.2"  +1 +/
Сообщение от xcbxcbxabzc (?), 21-Мрт-24, 01:00 
Есть.
Ответить | Правка | Наверх | Cообщить модератору

89. "Выпуск языка программирования OCaml 4.14.2"  –1 +/
Сообщение от Аноним (92), 21-Мрт-24, 07:36 
Но не для подсанционной.
Ответить | Правка | Наверх | Cообщить модератору

117. "Выпуск языка программирования OCaml 4.14.2"  +1 +/
Сообщение от Пельменелюб (?), 21-Мрт-24, 19:53 
На хэ-хэ-хантере забанили?
Там периодически появляются вакансии. Не то чтобы прям много, но бывают.
Ответить | Правка | Наверх | Cообщить модератору

104. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от zog (??), 21-Мрт-24, 13:31 
Можете привести конкретные примеры? Скажем, объявления о найме в ту или иную компанию?
Ответить | Правка | К родителю #82 | Наверх | Cообщить модератору

109. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от Cradle (?), 21-Мрт-24, 16:08 
навскидку, к примеру на https://jobs.thelocal.com задайте в поиск просто ocaml, получите сразу несколько достаточно интересных вакансий, вроде "Research and Development Engineer (M/F), Formal Verification of Rust Programs"
Ответить | Правка | Наверх | Cообщить модератору

139. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от 111email (??), 22-Мрт-24, 14:20 
https://ocaml.org/jobs
Ответить | Правка | К родителю #104 | Наверх | Cообщить модератору

153. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от adolfus (ok), 01-Апр-24, 21:07 
Проверка переполнения буфера сниджает производительность более, чем на порядок. В ISA x86_64 когда-то были инструкции BOUND, от которых, слава богу, нахер отказались из-за того, что нет эффективного решения таких проверок даже с аппартной подпоркой. Проблема переполнения буфера живет исключительно в головах программистов -- она из той серии, где "sudo rm -rf /".
Ответить | Правка | Наверх | Cообщить модератору

154. "Выпуск языка программирования OCaml 4.14.2"  +/
Сообщение от n00by (ok), 02-Апр-24, 10:26 
От BOUND отказались, когда Intel и AMD перешли к RISC ядру, исполняющему микрооперации, в которые декодировались инструкции IA32/AMD64. Эта команда оказалась на порядок медленнее аналогичного по результату набора простых инструкций. Та же участь постигла и ENTER/LEAVE.
Ответить | Правка | Наверх | Cообщить модератору

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

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




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру