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

"Выпуск языка программирования OCaml 4.14.2"	+/–
Сообщение от opennews (??), 20-Мрт-24, 11:42
Доступен новый выпуск языка программирования OCaml 4.14.2, поддерживающего концепции функционального, императивного и объектно-ориентированного программирования, и нацеленного на создание безопасных  и надёжных программ. В языке применяются статическая типизация, сборка мусора, исключающие переполнения буферов типы, проверка и статический анализ на стадии компиляции. Код инструментария для языка OCaml распространяется под лицензией LGPL... Подробнее: https://www.opennet.me/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
	Я тоже не умею читать ничего, кроме bash.
	Ответить | Правка | Наверх | Cообщить модератору

	20. Скрыто модератором	+2 +/–
	Сообщение от Вы забыли заполнить поле Name (?), 20-Мрт-24, 13:02
	Встречаю много любителей функциональщины, которые твердят, что она лучше подходит для всего, начиная с обучения и заканчивая продом. Только вот сами они на ней не пишут, а когда спрашиваешь "как сделать X" или есть ли "библиотека для X" - разводят руками.
	Ответить | Правка | К родителю #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 +/–
	Сообщение от decaprox (?), 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
	Для разработки таргетов транспайлера Haxe: https://www.linux.org.ru/forum/talks/17550911?cid=17556919
	Ответить | Правка | Наверх | 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
	> И даже диктатура оказалась вовсе не пролетарьята, как обещали, а коммунистических функционеров Технически они обещали именно диктатуру коммунистических функционеров. Ленин официально продавил именно такую трактовку диктатуры пролетариата ещё где-то в 1904 или около того. Если кто-то не читал что мелким шрифтом написано, то, как говоr'ица, ССЗБ. Это как с "безопасностью" раста. Звучит огого как, а если копнуть, то только от нескольких классов ошибок спасает и при выполнении ряда условий, перечисленных на страницах 429..785 приложения A3.
	Ответить | Правка | Наверх | 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"	+/–
	Сообщение от 111 (??), 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 | Индекс форумов | Темы | Пред. тема | След. тема