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

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

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

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

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