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

Выпуск языка программирования OCaml 4.14.2, opennews (??), 20-Мрт-24, (0) [смотреть все] Кто его использует на проде Есть истории успеха , MrAnderson (?), 11:59 , 20-Мрт-24, (2) // Да, Rust на нём был когда-то давно написан , Аноним (4), 12:03 , 20-Мрт-24, (4) +7 // Спасибо - расходимся , Vivaswat (?), 12:33 , 20-Мрт-24, (10) –4 Думаю не только он Уж больно очень подходит для написания компиляторов , Пряник (?), 14:33 , 21-Мрт-24, (106) Скрыто модератором, Аноним (5), 12:04 , 20-Мрт-24, (5) +1 // Скрыто модератором, n00by (ok), 12:43 , 20-Мрт-24, (14) +10 Скрыто модератором, Вы забыли заполнить поле Name (?), 13:02 , 20-Мрт-24, (20) +2 Скрыто модератором, Аноним (26), 13:50 , 20-Мрт-24, (26) +1 // Скрыто модератором, Аноним (5), 14:25 , 20-Мрт-24, (36) MLDonkey же, Axel (??), 12:20 , 20-Мрт-24, (7) +3 // Кстати, как в компиляторе с поддержкой генерации кода для MIPS Вроде, выпилили , Аноним (26), 13:35 , 20-Мрт-24, (24) // Из более-менее новых роутеров собссно сам MIPS выпилили, на ARM убежали , ryoken (ok), 14:22 , 20-Мрт-24, (34) –1 Ну ещё встречаются с MIPS-ядрами А в эксплуатации ранее выпущенных ещё вагон и , Аноним (26), 14:51 , 20-Мрт-24, (43) Сам MIPS выпилился, если что , Aleksander256 (?), 19:31 , 20-Мрт-24, (65) +2 Уже лицензированные производителями ядра SoC никуда не делись , Аноним (72), 20:23 , 20-Мрт-24, (72) Не спорю, но это вопрос времени , Aleksander256 (?), 20:56 , 20-Мрт-24, (75) AhrefsThezosТысячи их, Ratt (?), 12:21 , 20-Мрт-24, (8) –1 // Метод индукции используешь Летне работает в данном случае , Вы забыли заполнить поле Name (?), 09:21 , 21-Мрт-24, (96) В соседней теме про GnuCOBOL такая история https opennet ru 60802-gnucobol, n00by (ok), 12:35 , 20-Мрт-24, (12) –1 Много кто использует libguestfs Оно частично на OCaml , Аноним (15), 12:46 , 20-Мрт-24, (15) Это же шутка да Bloomberg, Jane Street и еще десяток хэдж фондов поменьше , Аноним (16), 12:46 , 20-Мрт-24, (16) // Что они на нем пишут , Вы забыли заполнить поле Name (?), 13:05 , 20-Мрт-24, (21) // DSL, backend финансовых системЯ так понимаю им важна система типов и подтвержден, Hck3r (?), 14:47 , 20-Мрт-24, (42) +2 Ну тот же баг с ХуперТхреаданг в Штеудопроцах отлавливался месяцами , Аноним (48), 15:35 , 20-Мрт-24, (48) –2 И что, лучше месяц ловить ошибку из-за которой не проходит операция, чем ты дона, Aleksander256 (?), 19:36 , 20-Мрт-24, (66) Законы сохранения в экономике не действуют с , AKTEON (?), 19:52 , 20-Мрт-24, (69) Ну, кто-то работу будет искать, а кто-то будет обвинен в намереном внедрении уяз, Aleksander256 (?), 20:55 , 20-Мрт-24, (74) –1 да им пофиг на чём писать босс сказал используем то-то и всё, Аноним (5), 16:53 , 20-Мрт-24, (53) –1 Не совсем Но, конечно, вы правы отчасти , Vkni (ok), 07:18 , 22-Мрт-24, (123) +1 OCaml считается лучшим языком для написания прототипа компилятора Jane Street пи, Vkni (ok), 07:17 , 22-Мрт-24, (122) А вообще, Микрософт создали F Это местные эксперты привыкли мыслить шаблоном , n00by (ok), 12:48 , 20-Мрт-24, (17) +1 // Это и есть проявление NIH-синдрома, Вы забыли заполнить поле Name (?), 14:26 , 20-Мрт-24, (38) +1 // Сказал человек на форуме, где пишут новости про новые дистрибутивы для почты,, Вы забыли (-), 16:21 , 20-Мрт-24, (50) +3 Это и есть местные эксперты привыкли мыслить шаблоном , n00by (ok), 17:03 , 20-Мрт-24, (54) у fb на нем много проектов, можно на шитхабе посмотреть, Вы забыли заполнить поле Name (?), 13:00 , 20-Мрт-24, (19) Ну, к примеру, на нем написаны многие инструменты для формальной веривификации , decaprox (?), 14:45 , 20-Мрт-24, (41) +4 Зачем нужен легаси предок Rust Он даже не может работать на bare metal , Аноним (4), 12:03 , 20-Мрт-24, (3) –1   // Скрыто модератором, Haxen (?), 12:17 , 20-Мрт-24, (6)   // Скрыто модератором, Аноним (22), 13:23 , 20-Мрт-24, (22)   На самом деле байт-код OCaml может исполняться на тех процессорах, для которых к, n00by (ok), 12:34 , 20-Мрт-24, (11) +1   // Например , Вы забыли заполнить поле Name (?), 14:22 , 20-Мрт-24, (35)   // Даже и не знаю, что можно ответить на такой вопрос Например, можно посмотреть и, n00by (ok), 17:10 , 20-Мрт-24, (56) –4   а если внимательно посмотреть на таргеты раста, то можно среди них увидеть wasm , Советский инженер (ok), 10:12 , 21-Мрт-24, (97)   Поясни, как портировать хотя бы coreutils на wasm , Аноним (100), 12:28 , 21-Мрт-24, (100)   https en wikipedia org wiki WebAssembly WASI, Советский инженер (ok), 13:38 , 21-Мрт-24, (105)   Конечно, поясни У тебя сейчас, как обычно, пятница Или ты хотел пояснить, как , n00by (ok), 15:39 , 21-Мрт-24, (107) –1   А как ты будешь запускать ocaml на голом железе Вот точно так же и wasm, берёшь , Аноним (-), 15:57 , 21-Мрт-24, (108) +1   На вопрос про пятницу ты почему не ответил Опять пьян и полагаешь, что через То, n00by (ok), 16:28 , 21-Мрт-24, (110) –1   Скрыто модератором, Аноним (-), 17:48 , 21-Мрт-24, (111)   Скрыто модератором, n00by (ok), 08:14 , 22-Мрт-24, (125)   А твоя мамка знает что ты дурачek Если если написал то откуда вопросы как за, Советский инженер (ok), 18:34 , 21-Мрт-24, (113)   Я знаю, что ты систематически тут пишешь, находясь в состоянии алкогольного опья, n00by (ok), 08:19 , 22-Мрт-24, (126)   И-и-и Пьяным,с твоих слов, пишу я, а тупишь тут ты не суди по себе пытаюсь , Советский инженер (ok), 08:34 , 22-Мрт-24, (128)   Если ты сам признался, то -- с твоих слов Как выпьешь, так все вокруг тупеют , n00by (ok), 09:06 , 22-Мрт-24, (129)   SPARC, Vkni (ok), 07:19 , 22-Мрт-24, (124)   https rustc-dev-guide rust-lang org backend codegen html, Sw00p aka Jerom (?), 16:23 , 20-Мрт-24, (51)   // И что Где твой бэкенд , n00by (ok), 17:06 , 20-Мрт-24, (55)   а LLVM что за зверь И раст может исполняться на тех процессорах которые поддер, Sw00p aka Jerom (?), 17:31 , 20-Мрт-24, (59)   Растодельцы Хорошо сказали, Аноним (72), 17:48 , 20-Мрт-24, (60)   Растоподельники, Аноним (62), 18:29 , 20-Мрт-24, (62)   Ты всю эту чушь пишешь, что бы заболтать исходный тезис для которых компилят, n00by (ok), 08:12 , 21-Мрт-24, (93)   Алё, раст вообще не генерирует код ни для каких архитектур Раст это фронтенд, с, Sw00p aka Jerom (?), 00:57 , 22-Мрт-24, (119)   Я понимаю, что тебе очень хочется оспорить всякое моё утверждение Недостаток оп, n00by (ok), 08:32 , 22-Мрт-24, (127)   не ставил перед собой такой целиСтрогость определений формулировок основа-осно, Sw00p aka Jerom (?), 12:49 , 22-Мрт-24, (131)   Абажди, но ведь в современных х86 процессорах cisc-код внутри процессора преобра, Минона (ok), 13:57 , 22-Мрт-24, (136)   ну подайте на вход х86 процессора risc-код, будет он его исполнять - нет Почем, Sw00p aka Jerom (?), 14:49 , 22-Мрт-24, (141)   Ок ЦПУ для ЯП это исполнительное устройство - LLVM для ЯП это исполнительно, Минона (ok), 15:39 , 22-Мрт-24, (146)   В принципе да, ток устройство в контексте ллвм надо взять в кавычки, входными да, Sw00p aka Jerom (?), 17:07 , 22-Мрт-24, (147)   Зачем в кавычки, LLVM это software defined processor unit , Минона (ok), 23:08 , 22-Мрт-24, (148)   исполнить - вычислить, получить результат Генерация кода - не процесс исполнени, Sw00p aka Jerom (?), 00:32 , 23-Мрт-24, (149)   Я тебе не верю Особенно после твоей экспертизы по PathGuard, где ты спутал 32-х, n00by (ok), 14:12 , 22-Мрт-24, (138)   все правильно, вера для тех кто не умеет сомневаться ага я спутал, и забыл что 3, Sw00p aka Jerom (?), 14:57 , 22-Мрт-24, (142)   Ты банально не имеешь понятия, что руткит - это драйвер намеренно пишу некоррек, n00by (ok), 15:06 , 22-Мрт-24, (144)   а че не модуль , Sw00p aka Jerom (?), 15:08 , 22-Мрт-24, (145)   Потому что он - сервис режима ядра , n00by (ok), 14:19 , 25-Мрт-24, (152)   он не нужен, есть F , Советский инженер (ok), 12:50 , 20-Мрт-24, (18) –3   // Rust , Аноним (26), 13:54 , 20-Мрт-24, (27)   // тоже ничего, Советский инженер (ok), 13:58 , 20-Мрт-24, (29)   В смысле, ответ на вопрос - ненужен , Аноним (26), 14:01 , 20-Мрт-24, (30)   Скрыто модератором, Аноним (100), 12:31 , 21-Мрт-24, (101)   Функциональные фишки F переползают в C , Минона (ok), 14:02 , 22-Мрт-24, (137)   // и это правильно , Советский инженер (ok), 14:38 , 22-Мрт-24, (140)   это не предок Rust Разберитесь в теме, ваш пост выглядит нелепо, Аноним (61), 18:12 , 20-Мрт-24, (61) +1   C ленинским прищуром Зачем нужен раст, который не работает на Эльбрусе И та, AKTEON (?), 19:38 , 20-Мрт-24, (67) –2   // Стыдно должно быть Эльбрус 8211 жуткая проприетарщина с NDA Он бесконечно д, Аноним (80), 22:46 , 20-Мрт-24, (80) +3   // Да Владимир Ильич тоже знаешь ли оказался вовсе не про шва6одку и демократию, а , нах. (?), 07:40 , 21-Мрт-24, (91) +2   Скрыто модератором, Аноним (-), 23:20 , 21-Мрт-24, (118)   и с коих пор влив ваше скрепное , Sw00p aka Jerom (?), 15:05 , 22-Мрт-24, (143)   Так точно, товарищ майор На й нам ненужон этот хруст Он еще и запрещенную тира, нах. (?), 07:35 , 21-Мрт-24, (88) +1   4 x - это LTS ветка В ней ничего интересного уже не будет Все вкусняшки появляю, Аноним (15), 12:39 , 20-Мрт-24, (13) // С нем же такое было что в новую версию добавили так много нового что пришлось н, Аноним (22), 13:25 , 20-Мрт-24, (23) // Не, тут другой случай , Аноним (15), 13:44 , 20-Мрт-24, (25) +1 Вполне приятный синтаксис Не то что колючий раст или загогулистый плюс-плюс , Аноним (31), 14:04 , 20-Мрт-24, (31) +1 // Сколько по десятибалльной шкале , Вы забыли заполнить поле Name (?), 14:28 , 20-Мрт-24, (39) +1 // 6500 K Экв цветовая температура , Аноним (52), 16:34 , 20-Мрт-24, (52) +1 // К вечеру надо снижать, чтобы глазки не были красными , Вы забыли заполнить поле Name (?), 18:35 , 20-Мрт-24, (63) Главное, в инфракрасную область не скатиться, а то выходы за пределы буферов не , Аноним (72), 20:28 , 20-Мрт-24, (73) –1 Не страшно, фанаты безопастности все заметят и напомнят, еще и новость на опенхо, Аноним (100), 12:42 , 21-Мрт-24, (102) embedded операционка на нём есть и всякие вкусности к ней, уже много лет пилят, , Cradle (?), 15:11 , 20-Мрт-24, (46) +3 // Это libos, про embedded там ни слова , Минона (ok), 22:15 , 20-Мрт-24, (76) –1 // MirageOS is a library operating system that constructs unikernels for secure, hi, Пельменелюб (?), 19:13 , 21-Мрт-24, (114) https github com mirage mirage MirageOS is a library operating system that con, Минона (ok), 10:22 , 22-Мрт-24, (130) –1 Не там смотришь Попробуй еще поискать, я верю в тебя, ты справишься , Пельменелюб (?), 12:59 , 22-Мрт-24, (132) Если для тебя описание от её авторов это не там - ССЗБ 129335 8205 9794 , Минона (ok), 13:10 , 22-Мрт-24, (134) –1 Plus, we improved the cross-compilation support, added more compilation targets , Пельменелюб (?), 13:10 , 22-Мрт-24, (133) Ты бы поменьше новостные сайты читал Мало ли кто куда чего в 2018 копал , Минона (ok), 13:17 , 22-Мрт-24, (135) –1 Внимательный читатель страницы MirageOS на гитхабе, обязательно обнаружит ссылку, Пельменелюб (?), 13:42 , 23-Мрт-24, (150) Юношеский максимализм очень плохая штука, и никого до добра не доведет , Пельменелюб (?), 13:43 , 23-Мрт-24, (151) Кроме Си языков нет Есть Асм и коды, но это не языки Есть специализированные, , Аноним (37), 14:26 , 20-Мрт-24, (37) // Кроме морковки пирожных нет , Аноним (26), 14:54 , 20-Мрт-24, (44) +7 Ну вот сабж и есть французский ответ Бейсику и Паскалю, на котором можно и учить, Cradle (?), 15:06 , 20-Мрт-24, (45) +1 // Остальному миру так же не очень понятны языки семейства Паскаль Любой здешний э, n00by (ok), 17:21 , 20-Мрт-24, (58) // Почему Адептов Паскаля много по всему Миру Здешние эксперты критикуют тебя за т, Аноним (-), 19:27 , 20-Мрт-24, (64) Потому что много это манечка, а не цифра И давно эксперт по трансскипированию , n00by (ok), 08:20 , 21-Мрт-24, (94) –2 Си это шутка, воспринятая всерьёз Во времена холодной войны они эту дурь хотели, Аноним (48), 15:35 , 20-Мрт-24, (47) // Во времена холодной войны сюда Си особо и неначто было пихать ЕС ЭВМ - там всё , Аноним (52), 15:44 , 20-Мрт-24, (49) +1 // Про СМ3,4,1420,1700 - нееееа, не слышал Первая - это 78й год , нах. (?), 07:30 , 21-Мрт-24, (86) А последняя только формально в той же серии СМ А в отличие от них, 32-битная V, Аноним (98), 11:17 , 21-Мрт-24, (98) в смысле СМ - это огромный ряд совершенно разных серий Как и ЕС, в общем-то, г, нах. (?), 11:35 , 21-Мрт-24, (99) Конечно нет - ЕСТЬ ФОРТРАН - ВЕЛИКИЙ И УЖАСНЫЙ - до Unix возникший и после смер, AKTEON (?), 19:47 , 20-Мрт-24, (68) +1 // Времена идут, языки меняются, а математики пишут на Фортране И в чем они неправ, Аноним (100), 12:44 , 21-Мрт-24, (103) // Скрыто модератором, Аноним (-), 18:27 , 21-Мрт-24, (112) –2 Лисп Все остальное от лукавого 128526 , Минона (ok), 22:18 , 20-Мрт-24, (77) +1 // defquote Ибо воистину Первый Язык, жемчужина посреди простых камней, и нет я, anonymos (?), 03:09 , 21-Мрт-24, (83) +1 Недостаточно зрелый, слишком часто выходят изменения , Аноним (57), 17:11 , 20-Мрт-24, (57) // Скрыто модератором, Аноним (-), 19:59 , 20-Мрт-24, (71) Сейчас модно быть в струе , Минона (ok), 22:22 , 20-Мрт-24, (78) +1 // Cтандарта - нет, сторонних реализаций нет Незрелый язык программирования , AKTEON (?), 23:04 , 20-Мрт-24, (81) // Хм, интересно, не имеется ли планов или обсуждений о добавлении OCaml-фронтэнда , Аноним (92), 07:42 , 21-Мрт-24, (92) Совсем другое дело Rust, обкатанный по самые небалуйся И комитет по стандартизц, Аноним (92), 07:34 , 21-Мрт-24, (87) +4 Есть работа для программистов на этом языке , zog (??), 22:43 , 20-Мрт-24, (79) // Есть , xcbxcbxabzc (?), 01:00 , 21-Мрт-24, (82) +1 // Но не для подсанционной , Аноним (92), 07:36 , 21-Мрт-24, (89) –1 // На хэ-хэ-хантере забанили Там периодически появляются вакансии Не то чтобы пря, Пельменелюб (?), 19:53 , 21-Мрт-24, (117) +1 Можете привести конкретные примеры Скажем, объявления о найме в ту или иную ком, zog (??), 13:31 , 21-Мрт-24, (104) // навскидку, к примеру на https jobs thelocal com задайте в поиск просто ocaml, , Cradle (?), 16:08 , 21-Мрт-24, (109) https ocaml org jobs, 111 (??), 14:20 , 22-Мрт-24, (139) Проверка переполнения буфера сниджает производительность более, чем на порядок , adolfus (ok), 21:07 , 01-Апр-24, (153) // От BOUND отказались, когда Intel и AMD перешли к RISC ядру, исполняющему микрооп, n00by (ok), 10:26 , 02-Апр-24, (154) 2,3,13,31,37,57,79,153

Сообщения

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

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ообщить модератору

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

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