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

Выпуск языка программирования 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]

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

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

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