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

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

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 | Индекс форумов | Темы | Пред. тема | След. тема