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

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

Сообщения

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

2. Сообщение от MrAnderson (?), 20-Мрт-24, 11:59	+/–
Кто его использует на проде? Есть истории успеха?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #4, #5, #7, #8, #12, #15, #16, #17, #19, #41

3. Сообщение от Аноним (4), 20-Мрт-24, 12:03	–1 +/–
Зачем нужен легаси предок Rust? Он даже не может работать на bare metal.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #6, #11, #18, #61, #67

4. Сообщение от Аноним (4), 20-Мрт-24, 12:03	+7 +/–
> Есть истории успеха? Да, Rust на нём был когда-то давно написан.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #10, #106

5. Сообщение от Аноним (5), 20-Мрт-24, 12:04    Скрыто ботом-модератором	+1 +/–
вижу функциональщину - посылаю в сад
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #14, #20, #26

6. Сообщение от Haxen (?), 20-Мрт-24, 12:17    Скрыто ботом-модератором	+/–
Для разработки таргетов транспайлера Haxe: https://www.linux.org.ru/forum/talks/17550911?cid=17556919
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3 Ответы: #22

7. Сообщение от Axel (??), 20-Мрт-24, 12:20	+3 +/–
MLDonkey же
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #24

8. Сообщение от Ratt (?), 20-Мрт-24, 12:21	–1 +/–
Ahrefs Thezos Тысячи их
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #96

10. Сообщение от Vivaswat (?), 20-Мрт-24, 12:33	–4 +/–
Спасибо - расходимся...
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #4

11. Сообщение от n00by (ok), 20-Мрт-24, 12:34	+1 +/–
На самом деле байт-код OCaml может исполняться на тех процессорах, для которых компилятор Rust не может генерировать код.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3 Ответы: #35, #51

12. Сообщение от n00by (ok), 20-Мрт-24, 12:35	–1 +/–
В соседней теме про GnuCOBOL такая история. https://opennet.ru/60802-gnucobol
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2

13. Сообщение от Аноним (15), 20-Мрт-24, 12:39	+/–
4.x - это LTS ветка. В ней ничего интересного уже не будет. Все вкусняшки появляются в 5.x
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #23

14. Сообщение от n00by (ok), 20-Мрт-24, 12:43	+10 +/–
Я тоже не умею читать ничего, кроме bash.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

15. Сообщение от Аноним (15), 20-Мрт-24, 12:46	+/–
Много кто использует libguestfs. Оно частично на OCaml.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2

16. Сообщение от Аноним (16), 20-Мрт-24, 12:46	+/–
Это же шутка да?) Bloomberg, Jane Street и еще десяток хэдж фондов поменьше =)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #21

17. Сообщение от n00by (ok), 20-Мрт-24, 12:48	+1 +/–
А вообще, Микрософт создали F#. Это местные эксперты привыкли мыслить шаблоном "NIH-синдром", оправдывая свой профессионализм в git clone && rpmbild, а те, кто определяет развитие, создают инструменты для себя сами, что бы не зависеть от конкурентов.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #38

18. Сообщение от Советский инженер (ok), 20-Мрт-24, 12:50	–3 +/–
он не нужен, есть F#
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3 Ответы: #27, #137

19. Сообщение от Вы забыли заполнить поле Name (?), 20-Мрт-24, 13:00	+/–
у fb на нем много проектов, можно на шитхабе посмотреть
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2

20. Сообщение от Вы забыли заполнить поле Name (?), 20-Мрт-24, 13:02	+2 +/–
Встречаю много любителей функциональщины, которые твердят, что она лучше подходит для всего, начиная с обучения и заканчивая продом. Только вот сами они на ней не пишут, а когда спрашиваешь "как сделать X" или есть ли "библиотека для X" - разводят руками.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

21. Сообщение от Вы забыли заполнить поле Name (?), 20-Мрт-24, 13:05	+/–
> Bloomberg, Jane Street и еще десяток хэдж фондов поменьше Что они на нем пишут?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #16 Ответы: #42, #122

22. Сообщение от Аноним (22), 20-Мрт-24, 13:23	+/–
Спасены и сюда добрались.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #6

23. Сообщение от Аноним (22), 20-Мрт-24, 13:25	+/–
С нем же такое было что в новую версию  добавили так много нового что пришлось называть как новый язык. Не с Перлом ли?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #13 Ответы: #25

24. Сообщение от Аноним (26), 20-Мрт-24, 13:35	+/–
Кстати, как в компиляторе с поддержкой генерации кода для MIPS? Вроде, выпилили? Это насчёт возможности сборки MLDonkey для роутеров.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #7 Ответы: #34

25. Сообщение от Аноним (15), 20-Мрт-24, 13:44	+1 +/–
Не, тут другой случай. >OCaml 5 as a language is fully compatible with OCaml 4 down to the performance characteristics of your programs. In other words, any code that works with OCaml 4 should work the same with OCaml 5.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #23

26. Сообщение от Аноним (26), 20-Мрт-24, 13:50	+1 +/–
Там  жеж не только фунциональщина. Первая буква в названии языка ни очём не говорит?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5 Ответы: #36

27. Сообщение от Аноним (26), 20-Мрт-24, 13:54	+/–
Rust?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #18 Ответы: #29, #101

29. Сообщение от Советский инженер (ok), 20-Мрт-24, 13:58	+/–
тоже ничего
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #27 Ответы: #30

30. Сообщение от Аноним (26), 20-Мрт-24, 14:01	+/–
В смысле, ответ на вопрос - ненужен.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #29

31. Сообщение от Аноним (31), 20-Мрт-24, 14:04	+1 +/–
Вполне приятный синтаксис. Не то что колючий раст или загогулистый плюс-плюс.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #39, #46

34. Сообщение от ryoken (ok), 20-Мрт-24, 14:22	–1 +/–
Из более-менее новых роутеров собссно сам MIPS выпилили, на ARM убежали.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #24 Ответы: #43

35. Сообщение от Вы забыли заполнить поле Name (?), 20-Мрт-24, 14:22	+/–
Например?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #11 Ответы: #56, #124

36. Сообщение от Аноним (5), 20-Мрт-24, 14:25	+/–
ага, намешаем стилей на любой вкус, вдруг хоть кто-то позарится
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #26

37. Сообщение от Аноним (37), 20-Мрт-24, 14:26	+/–
Кроме Си языков нет. Есть Асм и коды, но это не языки. Есть специализированные, вроде учебных вроде Бейсика и Паскаля, на которых вполне можно писать, или всякие баз данных, вроде SQL и 1С. Остальное всё тлен.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #44, #45, #47, #68, #77

38. Сообщение от Вы забыли заполнить поле Name (?), 20-Мрт-24, 14:26	+1 +/–
> инструменты для себя сами, что бы не зависеть от конкурентов. Это и есть проявление NIH-синдрома
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #17 Ответы: #50, #54

39. Сообщение от Вы забыли заполнить поле Name (?), 20-Мрт-24, 14:28	+1 +/–
Сколько по десятибалльной шкале?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #31 Ответы: #52

41. Сообщение от decaprox (?), 20-Мрт-24, 14:45	+4 +/–
Ну, к примеру, на нем написаны многие инструменты для формальной веривификации. Например coq. А ком написанный на coq умеет экстрагироваться  в код на ocaml для последующей сборки компилятором ocaml. Например такой подход используется в разработке формально верифицированного компилятора C – CompCert.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2

42. Сообщение от Hck3r (?), 20-Мрт-24, 14:47	+2 +/–
DSL, backend финансовых систем Я так понимаю им важна система типов и подтверждение корректности за этот счёт (чтобы баги всплывали сразу, а не после сделки на много нулей)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #21 Ответы: #48, #53

43. Сообщение от Аноним (26), 20-Мрт-24, 14:51	+/–
Ну ещё встречаются с MIPS-ядрами. А в эксплуатации ранее выпущенных ещё вагон и маленькая тележка. И благодаря OpenWRT ещё долго будут в эксплуатации.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #34 Ответы: #65

44. Сообщение от Аноним (26), 20-Мрт-24, 14:54	+7 +/–
Кроме морковки пирожных нет.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #37

45. Сообщение от Cradle (?), 20-Мрт-24, 15:06	+1 +/–
Ну вот сабж и есть французский ответ Бейсику и Паскалю, на котором можно и учиться и писать профессионально. Другое дело что этот их французский остальному миру не очень понятен.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #37 Ответы: #58

46. Сообщение от Cradle (?), 20-Мрт-24, 15:11	+3 +/–
embedded операционка на нём есть и всякие вкусности к ней, уже много лет пилят, видимо кто-то пользуется: https://github.com/mirage
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #31 Ответы: #76

47. Сообщение от Аноним (48), 20-Мрт-24, 15:35	+/–
Си это шутка, воспринятая всерьёз. Во времена холодной войны они эту дурь хотели сюда пропихнуть, но "не рой другому яму"...
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #37 Ответы: #49

48. Сообщение от Аноним (48), 20-Мрт-24, 15:35	–2 +/–
Ну тот же баг с ХуперТхреаданг в Штеудопроцах отлавливался месяцами.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #42 Ответы: #66

49. Сообщение от Аноним (52), 20-Мрт-24, 15:44	+1 +/–
Во времена холодной войны сюда Си особо и неначто было пихать. ЕС ЭВМ - там всё оботечествлённое межделмашевское своё. КР580 - Бейсики разные.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #47 Ответы: #86

50. Сообщение от Вы забыли (-), 20-Мрт-24, 16:21	+3 +/–
Сказал человек на форуме, где пишут новости про "новые" дистрибутивы: для почты, для хакеров, для админа, для домохозяйки, для музыканта, для пердолинга, просто потому что не любим системмд, с новыми нескучными обоями и тд. Где у каждой либы есть тонны форков переписьканных на разных языках или просто "потому что".
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #38

51. Сообщение от Sw00p aka Jerom (?), 20-Мрт-24, 16:23	+/–
https://rustc-dev-guide.rust-lang.org/backend/codegen.html
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #11 Ответы: #55

52. Сообщение от Аноним (52), 20-Мрт-24, 16:34	+1 +/–
6500 K (Экв. цветовая температура)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #39 Ответы: #63

53. Сообщение от Аноним (5), 20-Мрт-24, 16:53	–1 +/–
да им пофиг на чём писать. босс сказал используем то-то и всё
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #42 Ответы: #123

54. Сообщение от n00by (ok), 20-Мрт-24, 17:03	+/–
>> инструменты для себя сами, что бы не зависеть от конкурентов. > Это и есть проявление NIH-синдрома Это и есть "местные эксперты привыкли мыслить шаблоном".
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #38

55. Сообщение от n00by (ok), 20-Мрт-24, 17:06	+/–
> https://rustc-dev-guide.rust-lang.org/backend/codegen.html И что? Где твой бэкенд?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #51 Ответы: #59

56. Сообщение от n00by (ok), 20-Мрт-24, 17:10	–4 +/–
Даже и не знаю, что можно ответить на такой вопрос. Например, можно посмотреть исходники ocamlrun. Увидеть, что он написан на Си. Догадаться, что его можно собрать под целевой процессор. Можно даже написать свой интерпретатор, это явно проще, чем делать бэкенд компилятору. Например, написанный на ассемблере лежит у меня на гитхапе.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #35 Ответы: #97

57. Сообщение от Аноним (57), 20-Мрт-24, 17:11	+/–
Недостаточно зрелый, слишком часто выходят изменения.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #71, #78, #87

58. Сообщение от n00by (ok), 20-Мрт-24, 17:21	+/–
Остальному миру так же не очень понятны языки семейства Паскаль. Любой здешний эксперт скажет, что мир должен говорить на Бейсик Инглиш. Ну и писать на языках программирования, созданных в США.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #45 Ответы: #64

59. Сообщение от Sw00p aka Jerom (?), 20-Мрт-24, 17:31	+/–
> И что? Где твой бэкенд? а LLVM что за зверь? И раст "может исполняться на тех процессорах" которые поддерживаются LLVM. Растодельцы избавили себя от машиннозависимой кодогенерации.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #55 Ответы: #60, #93

60. Сообщение от Аноним (72), 20-Мрт-24, 17:48	+/–
Растодельцы: Хорошо сказали
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #59 Ответы: #62

61. Сообщение от Аноним (61), 20-Мрт-24, 18:12	+1 +/–
это не предок Rust. Разберитесь в теме, ваш пост выглядит нелепо
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3

62. Сообщение от Аноним (62), 20-Мрт-24, 18:29	+/–
Растоподельники
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #60

63. Сообщение от Вы забыли заполнить поле Name (?), 20-Мрт-24, 18:35	+/–
> 6500 K (Экв. цветовая температура) К вечеру надо снижать, чтобы глазки не были красными.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #52 Ответы: #73

64. Сообщение от Аноним (-), 20-Мрт-24, 19:27	+/–
>Остальному миру так же не очень понятны языки семейства Паскаль. Почему? Адептов Паскаля много по всему Миру. >Любой здешний эксперт скажет, что мир должен говорить на Бейсик Инглиш. Здешние эксперты критикуют тебя за то, что ты пытаешься не признавать устоявшиеся правила транскрибирования. Твои аргументы навроде поисковых запросов смешны. >Ну и писать на языках программирования, созданных в США. Э-э не гони минипулятор ты наш. Люди пишут прежде всего на популярных и востребованных языках программирования.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #58 Ответы: #94

65. Сообщение от Aleksander256 (?), 20-Мрт-24, 19:31	+2 +/–
Сам MIPS выпилился, если что.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #43 Ответы: #72

66. Сообщение от Aleksander256 (?), 20-Мрт-24, 19:36	+/–
И что, лучше месяц ловить ошибку из-за которой не проходит операция, чем ты донатишь 0.01 цента, а человеку приходит 1 000 000$(случай из жизни)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #48 Ответы: #69

67. Сообщение от AKTEON (?), 20-Мрт-24, 19:38	–2 +/–
(C ленинским прищуром) Зачем нужен раст, который не работает на Эльбрусе ?? И тащит потенциальную малварь с серверов вражеского государства ??
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3 Ответы: #80, #88

68. Сообщение от AKTEON (?), 20-Мрт-24, 19:47	+1 +/–
Конечно  нет - ЕСТЬ ФОРТРАН - ВЕЛИКИЙ И УЖАСНЫЙ - до Unix возникший и после смерти  C  паки грядущий !
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #37 Ответы: #103

69. Сообщение от AKTEON (?), 20-Мрт-24, 19:52	+/–
Законы сохранения в экономике не действуют (с)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #66 Ответы: #74

71. Сообщение от Аноним (-), 20-Мрт-24, 19:59    Скрыто ботом-модератором	+/–
Гениальный вывод (сарказм).
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #57

72. Сообщение от Аноним (72), 20-Мрт-24, 20:23	+/–
Уже лицензированные производителями ядра SoC никуда не делись.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #65 Ответы: #75

73. Сообщение от Аноним (72), 20-Мрт-24, 20:28	–1 +/–
Главное, в инфракрасную область не скатиться, а то выходы за пределы буферов не заметите.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #63 Ответы: #102

74. Сообщение от Aleksander256 (?), 20-Мрт-24, 20:55	–1 +/–
Ну, кто-то работу будет искать, а кто-то будет обвинен в намереном внедрении уязвимости с целью финансовых махинаций. Там уже будет другой закон сохранения.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #69

75. Сообщение от Aleksander256 (?), 20-Мрт-24, 20:56	+/–
Не спорю, но это вопрос времени.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #72

76. Сообщение от Минона (ok), 20-Мрт-24, 22:15	–1 +/–
Это libos, про embedded там ни слова.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #46 Ответы: #114

77. Сообщение от Минона (ok), 20-Мрт-24, 22:18	+1 +/–
Лисп. Все остальное от лукавого. 😎
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #37 Ответы: #83

78. Сообщение от Минона (ok), 20-Мрт-24, 22:22	+1 +/–
Сейчас модно быть "в струе".
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #57 Ответы: #81

79. Сообщение от zog (??), 20-Мрт-24, 22:43	+/–
Есть работа для программистов на этом языке?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #82

80. Сообщение от Аноним (80), 20-Мрт-24, 22:46	+3 +/–
Стыдно должно быть. Эльбрус – жуткая проприетарщина с NDA. Он бесконечно далёк от свободы и от чего-либо левого.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #67 Ответы: #91

81. Сообщение от AKTEON (?), 20-Мрт-24, 23:04	+/–
Cтандарта - нет, сторонних реализаций нет. Незрелый язык программирования.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #78 Ответы: #92

82. Сообщение от xcbxcbxabzc (?), 21-Мрт-24, 01:00	+1 +/–
Есть.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #79 Ответы: #89, #104

83. Сообщение от anonymos (?), 21-Мрт-24, 03:09	+1 +/–
(defquote '(Ибо воистину. Первый Язык, жемчужина посреди простых камней, и нет языков кроме Него. Скобки, в которых пустота — тело Его, мистическое двуединство кода и данных — дух Его, божественная рекурсия — сердце Его. Истинно говорю вам, избегающий света Его есть безумец, вот, свершается кара над главой его, и убогостью отмечены поделия его, подобные пустым глиняным горшкам рядом с хрустальным сосудом благодати Его. Принявший же и постигший истинный свет Его подобен прямой и отточенной стреле, чисты помыслы его и крепка рука его, и благословенны творения его, дарующие радость и утоляющие печали, ибо одухотворены духом Его и отмечены благодатью Его.))
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #77

86. Сообщение от нах. (?), 21-Мрт-24, 07:30	+/–
Про СМ3,4,1420,1700 - нееееа, не слышал? Первая - это 78й год.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #49 Ответы: #98

87. Сообщение от Аноним (92), 21-Мрт-24, 07:34	+4 +/–
Совсем другое дело Rust, обкатанный по самые небалуйся. И комитет по стандартизции, состоящий из выкинутых Мурзиллой на мороз, имеется.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #57

88. Сообщение от нах. (?), 21-Мрт-24, 07:35	+1 +/–
Так точно, товарищ майор! На..й нам ненужон этот хруст! Он еще и запрещенную тираристическую секту Л..чтотатам пропагандирует! (потому что придумать такой синтаксис - могли только конченные п-сы) Я бы на вашем месте сажал этих хрустиков всех подряд, лет на десять для начала, а там разберутся. Списочек - к вечеру подготовлю.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #67

89. Сообщение от Аноним (92), 21-Мрт-24, 07:36	–1 +/–
Но не для подсанционной.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #82 Ответы: #117

91. Сообщение от нах. (?), 21-Мрт-24, 07:40	+2 +/–
Да Владимир Ильич тоже знаешь ли оказался вовсе не про шва6одку и демократию, а вовсе даже наоборот. И даже диктатура оказалась вовсе не пролетарьята, как обещали, а коммунистических функционеров, ни один из которых и близко к станку не стоял. (Ну на митинге только разьве. Отверточку вот-с, заодно сп-л.) Зато как он отомстил за своего брата! Так что ель-брус - наше, скрепное, вот только подучимся чипы производить, и дрожите, проклятые англосукси!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #80 Ответы: #118, #143

92. Сообщение от Аноним (92), 21-Мрт-24, 07:42	+/–
Хм, интересно, не имеется ли планов или обсуждений о добавлении OCaml-фронтэнда в состав GCC?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #81

93. Сообщение от n00by (ok), 21-Мрт-24, 08:12	+/–
Ты всю эту чушь пишешь, что бы заболтать исходный тезис "...для которых компилятор Rust не может генерировать код"? Как Rust, скомпилированный при помощи LLVM, будет исполняться на процессорах, если LLVM не генерирует под них код?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #59 Ответы: #119

94. Сообщение от n00by (ok), 21-Мрт-24, 08:20	–2 +/–
>>Остальному миру так же не очень понятны языки семейства Паскаль. > Почему? Адептов Паскаля много по всему Миру. Потому что "много" это манечка, а не цифра. >>Любой здешний эксперт скажет, что мир должен говорить на Бейсик Инглиш. > Здешние эксперты критикуют тебя за то, что ты пытаешься не признавать устоявшиеся > правила транскрибирования. Твои аргументы навроде поисковых запросов смешны. И давно эксперт по трансскипированию транскрипции стал говорить о себе во множественном числе? До того, как узнал о частотном анализе, или после? >>Ну и писать на языках программирования, созданных в США. > Э-э не гони минипулятор ты наш. Люди пишут прежде всего на популярных > и востребованных языках программирования. Перечисли всех, кто входит во множество "наш" и покажи доверенность от людей, дающую тебе право говорить за них, манипулятор, ты, мой.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #64

96. Сообщение от Вы забыли заполнить поле Name (?), 21-Мрт-24, 09:21	+/–
> Ahrefs > Thezos > Тысячи их Метод индукции используешь? Летне работает в данном случае.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8

97. Сообщение от Советский инженер (ok), 21-Мрт-24, 10:12	+/–
>Например, можно посмотреть исходники ocamlrun. Увидеть, что он написан на Си. а если внимательно посмотреть на таргеты раста, то можно среди них увидеть wasm. еще чтото надо пояснить?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #56 Ответы: #100, #107

98. Сообщение от Аноним (98), 21-Мрт-24, 11:17	+/–
А последняя только формально в той же серии СМ. А в отличие от них, 32-битная (VAX).
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #86 Ответы: #99

99. Сообщение от нах. (?), 21-Мрт-24, 11:35	+/–
в смысле? СМ - это огромный ряд совершенно разных серий. (Как и ЕС, в общем-то, где 1045 это мэйнфрейм, а 1845 писюк с-ный) CM1 и 2 - вообще ни разу не клоны DEC и ничего общего не имеют с 3 кроме типоразмеров и разъемов. 1421 - если я не ошибаюсь в названии (ни одной такой не видел и их не сохранилось, но слухи о них ходили) - содержала внутри встроенный МИР1 вместе с алмиром в качестве периферийного узла. "VAX" этих тоже было не одна - помимо 1700й которая делалась на базе инэумовского завода - была совершенно на нее непохожая киевская 1702, где вместо декообразной "общей шины" была какая-то своя аналогов-не-имеющая (соответственно - вся шинная периферия оказалась несовместимой... ну, вероятно у них была какая-то зато специфическая железяка, которую надо было туда втыкать кровь из носу)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #98

100. Сообщение от Аноним (100), 21-Мрт-24, 12:28	+/–
Поясни, как портировать хотя бы coreutils на wasm.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #97 Ответы: #105

101. Сообщение от Аноним (100), 21-Мрт-24, 12:31    Скрыто ботом-модератором	+/–
тоже ненужно
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #27

102. Сообщение от Аноним (100), 21-Мрт-24, 12:42	+/–
Не страшно, фанаты безопастности все заметят и напомнят, еще и новость на опенхоле опубликуют.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #73

103. Сообщение от Аноним (100), 21-Мрт-24, 12:44	+/–
Времена идут, языки меняются, а математики пишут на Фортране. И в чем они неправы? Там хоть синтаксис более-менее нормальный.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #68 Ответы: #112

104. Сообщение от zog (??), 21-Мрт-24, 13:31	+/–
Можете привести конкретные примеры? Скажем, объявления о найме в ту или иную компанию?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #82 Ответы: #109, #139

105. Сообщение от Советский инженер (ok), 21-Мрт-24, 13:38	+/–
> Поясни, как портировать хотя бы coreutils на wasm. https://en.wikipedia.org/wiki/WebAssembly#WASI
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #100

106. Сообщение от Пряник (?), 21-Мрт-24, 14:33	+/–
Думаю не только он. Уж больно очень подходит для написания компиляторов.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #4

107. Сообщение от n00by (ok), 21-Мрт-24, 15:39	–1 +/–
Конечно, поясни. У тебя сейчас, как обычно, пятница? Или ты хотел пояснить, как будешь запускать wasm на голом железе?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #97 Ответы: #108

108. Сообщение от Аноним (-), 21-Мрт-24, 15:57	+1 +/–
А как ты будешь запускать ocaml на голом железе? Вот точно так же и wasm, берёшь и пишешь интерпретатор байткода. Или берёшь готовый: https://github.com/wasm3/wasm3 wasm же явным образом не jvm, и создан с мыслью о том, чтобы его было легко реализовать. Все сложности поверх, типа jit или сборки мусора, это проблемы которые ты сам можешь себе создать, если тебе хочется, но если не хочется, то можешь и не создавать.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #107 Ответы: #110

109. Сообщение от Cradle (?), 21-Мрт-24, 16:08	+/–
навскидку, к примеру на https://jobs.thelocal.com задайте в поиск просто ocaml, получите сразу несколько достаточно интересных вакансий, вроде "Research and Development Engineer (M/F), Formal Verification of Rust Programs"
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #104

110. Сообщение от n00by (ok), 21-Мрт-24, 16:28	–1 +/–
На вопрос про пятницу ты почему не ответил? Опять пьян и полагаешь, что через Тор можешь заспамить в ответ ссылками, как ты что-то там гипотетически сможешь сделать, если вдруг протрезвеешь? Если я сборщик мусора написал на асме вместе с ВМ OCaml, я уж как нибудь и знакомые исходники на Си смогу подпилить. А ты иди, напиши, потом возвращайся.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #108 Ответы: #111, #113

111. Сообщение от Аноним (-), 21-Мрт-24, 17:48    Скрыто ботом-модератором	+/–
Не мог бы ты изложить что хотел сказать попроще, чтобы мне не надо было бы вчитываться выискивая в твоих словах хоть что-то по сути вопроса? Для меня это выглядит как сплошное обсуждение меня, но, как ты можешь догадаться, мне неинтересно твоё мнение о мне. Может я упустил что-нибудь интересное? Или может ты хочешь добавить что-нибудь интересное?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #110 Ответы: #125

112. Сообщение от Аноним (-), 21-Мрт-24, 18:27    Скрыто ботом-модератором	–2 +/–
Математику Фортран не нужен, ему нужны бумага, карандаш, ластик, линейка и ручка.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #103

113. Сообщение от Советский инженер (ok), 21-Мрт-24, 18:34	+/–
>На вопрос про пятницу ты почему не ответил? А твоя мамка знает что ты дурачek ? >Если я сборщик мусора написал на асме вместе с ВМ OCaml Если ... если написал то откуда вопросы как запускать wasm? > ... можешь заспамить в ответ ссылками, как ты что-то там гипотетически сможешь сделать ... блин, проспись. перечитай эту ветку вопростов-ответов. найди контекст и не теряй. нелязя же так позориться
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #110 Ответы: #126

114. Сообщение от Пельменелюб (?), 21-Мрт-24, 19:13	+/–
MirageOS is a library operating system that constructs unikernels for secure, high-performance, low-energy footprint applications across various hypervisor and embedded platforms.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #76 Ответы: #130

117. Сообщение от Пельменелюб (?), 21-Мрт-24, 19:53	+1 +/–
На хэ-хэ-хантере забанили? Там периодически появляются вакансии. Не то чтобы прям много, но бывают.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #89

118. Сообщение от Аноним (-), 21-Мрт-24, 23:20    Скрыто ботом-модератором	+/–
> И даже диктатура оказалась вовсе не пролетарьята, как обещали, а коммунистических функционеров Технически они обещали именно диктатуру коммунистических функционеров. Ленин официально продавил именно такую трактовку диктатуры пролетариата ещё где-то в 1904 или около того. Если кто-то не читал что мелким шрифтом написано, то, как говоr'ица, ССЗБ. Это как с "безопасностью" раста. Звучит огого как, а если копнуть, то только от нескольких классов ошибок спасает и при выполнении ряда условий, перечисленных на страницах 429..785 приложения A3.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #91

119. Сообщение от Sw00p aka Jerom (?), 22-Мрт-24, 00:57	+/–
> Ты всю эту чушь пишешь, что бы заболтать исходный тезис "...для которых > компилятор Rust не может генерировать код"? Алё, раст вообще не генерирует код ни для каких архитектур. Раст это фронтенд, с ллвм бекендом. Раст только генерирует ИР представление для ллвм-а. По ссылке все написано. И ваш "исходный тезис" - ересь, написанные на раст программы будут исполняться только на тех архитектурах которые поддерживает его бекенд ллвм. И вам задали прямой вопрос, какая это такая архитектура, которая не поддерживается в ллвм, но виртмашина окамла для нее есть.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #93 Ответы: #127

122. Сообщение от 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 - это статически типизированный Питон. Поэтому если хочется делать решения, которые значительно более стабильны, чем на Питоне, то отлично подойдёт. Но, конечно, библиотек сильно меньше.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #21

123. Сообщение от Vkni (ok), 22-Мрт-24, 07:18	+1 +/–
Не совсем. Но, конечно, вы правы отчасти.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #53

124. Сообщение от Vkni (ok), 22-Мрт-24, 07:19	+/–
SPARC
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #35

125. Сообщение от n00by (ok), 22-Мрт-24, 08:14	+/–
> Не мог бы ты изложить что хотел сказать попроще, чтобы мне не > надо было бы вчитываться выискивая в твоих словах хоть что-то по > сути вопроса Разумеется, мог бы. Сразу, как ты объяснишь, зачем ты влез с ответом на мои вопросы к конкретному персонажу. Как твоя писанина связана с моим исходным утверждением - это мне не интересно.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #111

126. Сообщение от n00by (ok), 22-Мрт-24, 08:19	+/–
>>На вопрос про пятницу ты почему не ответил? > А ? Я знаю, что ты систематически тут пишешь, находясь в состоянии алкогольного опьянения. Ты сам признался, что для тебя такое в порядке вещей. >>Если я сборщик мусора написал на асме вместе с ВМ OCaml > Если ... Вот именно. Мой опыт позволяет мне судить о сложности. А те ссылки, что ты тут спамишь - ты сам не понимаешь, что там написано. > если написал то откуда вопросы как запускать wasm? Это к тебе вопросы. Ты не написал, зачем ты это суёшь? Хочешь, что бы я за тебя оценил сложность? >> ... можешь заспамить в ответ ссылками, как ты что-то там гипотетически сможешь сделать ... > блин, проспись. перечитай эту ветку вопростов-ответов. найди контекст и не теряй. > нелязя же так позориться Нашёл за тебя: "байт-код OCaml может исполняться на тех процессорах, для которых компилятор Rust не может генерировать код."
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #113 Ответы: #128

127. Сообщение от n00by (ok), 22-Мрт-24, 08:32	+/–
>> Ты всю эту чушь пишешь, что бы заболтать исходный тезис "...для которых >> компилятор Rust не может генерировать код"? > Алё, раст вообще не генерирует код ни для каких архитектур. Раст это > фронтенд, с ллвм бекендом. Раст только генерирует ИР представление для ллвм-а. > По ссылке все написано. Я понимаю, что тебе очень хочется оспорить всякое моё утверждение. Недостаток опыта вынуждает выискивать проколы в формулировках. Очевидно (прочитай оглавление Драгонбук, хотя бы), что компилятор Rust состоит из фронт-энда и бэк-енда. Таким образом он генерирует код. При помощи LLVM или ещё чего в бэкенде - это вообще дело десятое. Суть в том, что пока не сгенерирован код, нет возможности его исполнить (разве что в маня-мирке "инженера", где он гипотетически работает в виде wasm). > И вам задали прямой вопрос, какая это такая архитектура, которая не поддерживается > в ллвм, но виртмашина окамла для нее есть. Кто "задали"? Если это был ты, то твои вопросы хорошо бы начать игнорировать, а тебя занести в ЧС ради экономии времени. Тебе ведь бесполезно второй раз объяснять, что ocamlrun написан на Си, который собирается не только бэкендом LLVM. Кроме того, ВМ достаточно проста; если я написал вариант на асме, то и другие смогут.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #119 Ответы: #131

128. Сообщение от Советский инженер (ok), 22-Мрт-24, 08:34	+/–
>Я знаю, что ты систематически тут пишешь, находясь в состоянии алкогольного опьянения. И-и-и... ? Пьяным,с твоих слов, пишу я, а тупишь тут ты. >А те ссылки, что ты тут спамишь - ты сам не понимаешь, что там написано. не суди по себе. >Это к тебе вопросы. Ты не написал, зачем ты это суёшь? Хочешь, что бы я за тебя оценил сложность? пытаюсь понять какой такой магией обладает окамл байткод по сравнению с wasm, что как-то сильно усложняет написание виатуалки для васма по сравнению с окамлбайткодом. >Нашёл за тебя: "байт-код OCaml может исполняться на тех процессорах, для которых компилятор Rust не может генерировать код." ну и опять же. раст не может генерить код, но и окамл не может. окамл может в байткод - отлично. но и раст может в васм.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #126 Ответы: #129

129. Сообщение от n00by (ok), 22-Мрт-24, 09:06	+/–
>>Я знаю, что ты систематически тут пишешь, находясь в состоянии алкогольного опьянения. > И-и-и... ? > Пьяным,с твоих слов, пишу я, а тупишь тут ты. Если ты сам признался, то -- с твоих слов. Как выпьешь, так все вокруг тупеют?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #128

130. Сообщение от Минона (ok), 22-Мрт-24, 10:22	–1 +/–
> MirageOS is a library operating system that constructs unikernels for secure, high-performance, > low-energy footprint applications across various hypervisor and embedded platforms. https://github.com/mirage/mirage "MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across various cloud computing and mobile platforms." И вообще то это не "embedded операционка" как писал товарищ выше.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #114 Ответы: #132, #133

131. Сообщение от 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ообщить модератору
Родитель: #127 Ответы: #136, #138

132. Сообщение от Пельменелюб (?), 22-Мрт-24, 12:59	+/–
Не там смотришь. Попробуй еще поискать, я верю в тебя, ты справишься.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #130 Ответы: #134

133. Сообщение от Пельменелюб (?), 22-Мрт-24, 13:10	+/–
Plus, we improved the cross-compilation support, added more compilation targets to MirageOS (for instance, for bare-metal Raspberry-Pi 4), and made it easier to integrate MirageOS with non-OCaml libraries. А если хорошо поищешь, то найдешь работы в направлении esp32 еще с 2018 года. Главное не опускай руки. Вперед навстречу знаниям и развитию.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #130 Ответы: #135

134. Сообщение от Минона (ok), 22-Мрт-24, 13:10	–1 +/–
> Не там смотришь. Попробуй еще поискать, я верю в тебя, ты справишься. Если для тебя описание от её авторов это "не там" - ССЗБ 🤷‍♂️
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #132

135. Сообщение от Минона (ok), 22-Мрт-24, 13:17	–1 +/–
> Plus, we improved the cross-compilation support, added more compilation targets to MirageOS > (for instance, for bare-metal Raspberry-Pi 4), and made it easier to > integrate MirageOS with non-OCaml libraries. Ты бы поменьше новостные сайты читал. > А если хорошо поищешь, то найдешь работы в направлении esp32 еще с > 2018 года. Мало ли кто куда чего в 2018 копал.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #133 Ответы: #150, #151

136. Сообщение от Минона (ok), 22-Мрт-24, 13:57	+/–
> А суть в том, что кодогенерация есть процесс получения машинозависимого готового к исполнению кода > Отсюда возникают вопрос, а можно ли называть процесс получения промежуточного представления (кода) - кодогенерацией? Как по мне - нет, ибо тогда и построение АСД (AST) можно назвать кодогенерацией, так как это такое же промежуточное представление. Абажди, но ведь в современных х86 процессорах cisc-код внутри процессора преобразуется в risc-код. Т.е. х86-код это тоже промежуточное представление.🤔
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #131 Ответы: #141

137. Сообщение от Минона (ok), 22-Мрт-24, 14:02	+/–
Функциональные фишки F# переползают в C#.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #18 Ответы: #140

138. Сообщение от n00by (ok), 22-Мрт-24, 14:12	+/–
>> Я понимаю, что тебе очень хочется оспорить всякое моё утверждение. > не ставил перед собой такой цели Я тебе не верю. Особенно после твоей экспертизы по PathGuard, где ты спутал 32-х и 64-х разрядные системы и что-то мне доказывал. >> Недостаток опыта вынуждает выискивать проколы в формулировках. > Строгость определений (формулировок) основа-основ любой науки, и не надо точную науку превращать > в искусство разговорного жанра (по великому-могучему - пиз...Ъ). Вот и не превращай. Открою тебе секрет: сгенерированный твоим LLVM код не пригоден для запуска. Там совершенно внезапно нужен еще и линкер. Кому важна суть моего сообщения, тот это понимает без лишних объяснений. Кому интересен спор ради спора, тот будет строчить мне кучу бессмысленных сообщений.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #131 Ответы: #142

139. Сообщение от 111 (??), 22-Мрт-24, 14:20	+/–
https://ocaml.org/jobs
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #104

140. Сообщение от Советский инженер (ok), 22-Мрт-24, 14:38	+/–
> Функциональные фишки F# переползают в C#. и это правильно.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #137

141. Сообщение от Sw00p aka Jerom (?), 22-Мрт-24, 14:49	+/–
> Т.е. х86-код это тоже промежуточное представление.🤔 ну подайте на вход х86 процессора risc-код, будет он его исполнять? - нет. Почему? потому-что на вход он ждет совсем другое представление. А что он (ЦПУ) с ним там сделает, не важно с точки зрения ЯП. ЦПУ для ЯП это исполнительное устройство. И х86-код промежуточным никак нельзя назвать с точки зрения ЯП. А с точки зрения ЦПУ это входные данные, как для ЯП - исходный текст на языке.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #136 Ответы: #146

142. Сообщение от Sw00p aka Jerom (?), 22-Мрт-24, 14:57	+/–
> Я тебе не верю. все правильно, вера для тех кто не умеет сомневаться. > Особенно после твоей экспертизы по PathGuard, где ты > спутал 32-х и 64-х разрядные системы и что-то мне доказывал. ага я спутал, и забыл что 32-битные программы могут исполняться на 64-битных ОС. > Вот и не превращай. Открою тебе секрет: сгенерированный твоим LLVM код не > пригоден для запуска. Там совершенно внезапно нужен еще и линкер. а ну да, нуда, еще и всякие ЛТО и прочая приблуда. > Кому важна суть моего сообщения, тот это понимает без лишних объяснений. увы не телепат, ясно. > Кому интересен спор ради спора, тот будет строчить мне кучу бессмысленных сообщений. я только "придираюсь" :)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #138 Ответы: #144

143. Сообщение от Sw00p aka Jerom (?), 22-Мрт-24, 15:05	+/–
> Так что ель-брус - наше, скрепное, вот только подучимся чипы производить, и > дрожите, проклятые англосукси! и с коих пор влив "ваше скрепное"?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #91

144. Сообщение от n00by (ok), 22-Мрт-24, 15:06	+/–
>> Особенно после твоей экспертизы по PathGuard, где ты >> спутал 32-х и 64-х разрядные системы и что-то мне доказывал. > ага я спутал, и забыл что 32-битные программы могут исполняться на 64-битных > ОС. Ты банально не имеешь понятия, что руткит - это драйвер (намеренно пишу некорректный, но всем понятный термин). Так что вот этот сарказм малость мимо кассы.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #142 Ответы: #145

145. Сообщение от Sw00p aka Jerom (?), 22-Мрт-24, 15:08	+/–
> Ты банально не имеешь понятия, что руткит - это драйвер (намеренно пишу > некорректный, но всем понятный термин). Так что вот этот сарказм малость > мимо кассы. а че не модуль ?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #144 Ответы: #152

146. Сообщение от Минона (ok), 22-Мрт-24, 15:39	+/–
>> Т.е. х86-код это тоже промежуточное представление.🤔 > ну подайте на вход х86 процессора risc-код, будет он его исполнять? - > нет. Почему? потому-что на вход он ждет совсем другое представление. А > что он (ЦПУ) с ним там сделает, не важно с точки > зрения ЯП. ЦПУ для ЯП это исполнительное устройство. И х86-код промежуточным > никак нельзя назвать с точки зрения ЯП. А с точки зрения > ЦПУ это входные данные, как для ЯП - исходный текст на > языке. Ок. "ЦПУ для ЯП это исполнительное устройство." -> "LLVM для ЯП это исполнительное устройство." "А что он (ЦПУ) с ним там сделает, не важно с точки зрения ЯП." -> "А что он (LLVM) с ним там сделает, не важно с точки зрения ЯП."
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #141 Ответы: #147

147. Сообщение от Sw00p aka Jerom (?), 22-Мрт-24, 17:07	+/–
> "ЦПУ для ЯП это исполнительное устройство." -> "LLVM для ЯП это исполнительное устройство." В принципе да, ток устройство в контексте ллвм надо взять в кавычки, входными данными для которого будет IR представление, а выходными - ЦПУ машинные коды. > "А что он (ЦПУ) с ним там сделает, не важно с точки > зрения ЯП." -> "А что он (LLVM) с ним там сделает, > не важно с точки зрения ЯП." таки да, и в этом контексте говорить, что "раст не сгенерирует там код какой-то, для какого-то там ЦПУ" - ересь чистой воды.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #146 Ответы: #148

148. Сообщение от Минона (ok), 22-Мрт-24, 23:08	+/–
Зачем в кавычки, LLVM это software defined processor unit.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #147 Ответы: #149

149. Сообщение от Sw00p aka Jerom (?), 23-Мрт-24, 00:32	+/–
> Зачем в кавычки, LLVM это software defined processor unit. исполнить - вычислить, получить результат. Генерация кода - не процесс исполнения, и тем более не исполнительное устройство.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #148

150. Сообщение от Пельменелюб (?), 23-Мрт-24, 13:42	+/–
Внимательный читатель страницы MirageOS на гитхабе, обязательно обнаружит ссылку на домашнюю страницу этой ОС. И именно там, от "отцов основателей" узнает о embedded, bare-metal, esp32 и вообще, кто и куда копал. Как бы "MirageOS is a Xen and Linux Foundation incubator project"  явно не новостная лента.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #135

151. Сообщение от Пельменелюб (?), 23-Мрт-24, 13:43	+/–
Юношеский максимализм очень плохая штука, и никого до добра не доведет.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #135

152. Сообщение от n00by (ok), 25-Мрт-24, 14:19	+/–
>> Ты банально не имеешь понятия, что руткит - это драйвер (намеренно пишу >> некорректный, но всем понятный термин). Так что вот этот сарказм малость >> мимо кассы. > а че не модуль ? Потому что он - сервис режима ядра.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #145

153. Сообщение от adolfus (ok), 01-Апр-24, 21:07	+/–
Проверка переполнения буфера сниджает производительность более, чем на порядок. В ISA x86_64 когда-то были инструкции BOUND, от которых, слава богу, нахер отказались из-за того, что нет эффективного решения таких проверок даже с аппартной подпоркой. Проблема переполнения буфера живет исключительно в головах программистов -- она из той серии, где "sudo rm -rf /".
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #154

154. Сообщение от n00by (ok), 02-Апр-24, 10:26	+/–
От BOUND отказались, когда Intel и AMD перешли к RISC ядру, исполняющему микрооперации, в которые декодировались инструкции IA32/AMD64. Эта команда оказалась на порядок медленнее аналогичного по результату набора простых инструкций. Та же участь постигла и ENTER/LEAVE.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #153

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

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