| |
| 2.4, Аноним (4), 12:03, 20/03/2024 [^] [^^] [^^^] [ответить]
| +7 +/– | |
> Есть истории успеха?
Да, Rust на нём был когда-то давно написан.
| | |
| |
| 3.106, Пряник (?), 14:33, 21/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
Думаю не только он. Уж больно очень подходит для написания компиляторов.
| | |
|
| |
| 3.24, Аноним (26), 13:35, 20/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
Кстати, как в компиляторе с поддержкой генерации кода для MIPS? Вроде, выпилили? Это насчёт возможности сборки MLDonkey для роутеров.
| | |
| |
| 4.34, ryoken (ok), 14:22, 20/03/2024 [^] [^^] [^^^] [ответить]
| –1 +/– |
 Из более-менее новых роутеров собссно сам MIPS выпилили, на ARM убежали.
| | |
| |
| 5.43, Аноним (26), 14:51, 20/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
Ну ещё встречаются с MIPS-ядрами. А в эксплуатации ранее выпущенных ещё вагон и маленькая тележка. И благодаря OpenWRT ещё долго будут в эксплуатации.
| | |
|
|
|
| 2.16, Аноним (16), 12:46, 20/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
Это же шутка да?)
Bloomberg, Jane Street и еще десяток хэдж фондов поменьше =)
| | |
| |
| |
| 4.42, Hck3r (?), 14:47, 20/03/2024 [^] [^^] [^^^] [ответить]
| +2 +/– |
DSL, backend финансовых систем
Я так понимаю им важна система типов и подтверждение корректности за этот счёт (чтобы баги всплывали сразу, а не после сделки на много нулей)
| | |
| |
| 5.48, Аноним (48), 15:35, 20/03/2024 [^] [^^] [^^^] [ответить]
| –2 +/– |
Ну тот же баг с ХуперТхреаданг в Штеудопроцах отлавливался месяцами.
| | |
| |
| 6.66, Aleksander256 (?), 19:36, 20/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
И что, лучше месяц ловить ошибку из-за которой не проходит операция, чем ты донатишь 0.01 цента, а человеку приходит 1 000 000$(случай из жизни)
| | |
|
| 5.53, Аноним (5), 16:53, 20/03/2024 [^] [^^] [^^^] [ответить]
| –1 +/– |
да им пофиг на чём писать. босс сказал используем то-то и всё
| | |
|
| 4.122, Vkni (ok), 07:17, 22/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
 OCaml считается лучшим языком для написания прототипа компилятора.
Jane Street пишет всё, включая то, что писать на OCaml, кмк, не следует (low latency). Но им виднее. Другие пишут DSL, см. https://www.dslfin.org/resources.html
Собственно, вся история с формальным описанием контрактов началась со статьи Composing Contracts: An Adventure in Financial Engineering. Как несложно увидеть, авторы, за исключением SPJ, французы. Естественно, в дальнейшем они использовали решения, базирующиеся на OCaml, а не Haskell.
По-сути, OCaml - это статически типизированный Питон. Поэтому если хочется делать решения, которые значительно более стабильны, чем на Питоне, то отлично подойдёт. Но, конечно, библиотек сильно меньше.
| | |
|
|
| 2.17, n00by (ok), 12:48, 20/03/2024 [^] [^^] [^^^] [ответить]
| +1 +/– |
 А вообще, Микрософт создали F#. Это местные эксперты привыкли мыслить шаблоном "NIH-синдром", оправдывая свой профессионализм в git clone && rpmbild, а те, кто определяет развитие, создают инструменты для себя сами, что бы не зависеть от конкурентов.
| | |
| |
| |
| 4.50, Вы забыли (-), 16:21, 20/03/2024 [^] [^^] [^^^] [ответить]
| +3 +/– |
Сказал человек на форуме, где пишут новости про "новые" дистрибутивы:
для почты, для хакеров, для админа, для домохозяйки, для музыканта, для пердолинга, просто потому что не любим системмд, с новыми нескучными обоями и тд.
Где у каждой либы есть тонны форков переписьканных на разных языках или просто "потому что".
| | |
| 4.54, n00by (ok), 17:03, 20/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
>> инструменты для себя сами, что бы не зависеть от конкурентов.
> Это и есть проявление NIH-синдрома
Это и есть "местные эксперты привыкли мыслить шаблоном".
| | |
|
|
| 2.41, decaprox (?), 14:45, 20/03/2024 [^] [^^] [^^^] [ответить]
| +4 +/– |
 Ну, к примеру, на нем написаны многие инструменты для формальной веривификации. Например coq. А ком написанный на coq умеет экстрагироваться в код на ocaml для последующей сборки компилятором ocaml. Например такой подход используется в разработке формально верифицированного компилятора C – CompCert.
| | |
|
| 1.3, Аноним (4), 12:03, 20/03/2024 [ответить] [﹢﹢﹢] [ · · · ]
| –1 +/– |
Зачем нужен легаси предок Rust? Он даже не может работать на bare metal.
| | |
| |
| 2.11, n00by (ok), 12:34, 20/03/2024 [^] [^^] [^^^] [ответить]
| +1 +/– |
На самом деле байт-код OCaml может исполняться на тех процессорах, для которых компилятор Rust не может генерировать код.
| | |
| |
| |
| 4.56, n00by (ok), 17:10, 20/03/2024 [^] [^^] [^^^] [ответить]
| –4 +/– |
Даже и не знаю, что можно ответить на такой вопрос. Например, можно посмотреть исходники ocamlrun. Увидеть, что он написан на Си. Догадаться, что его можно собрать под целевой процессор. Можно даже написать свой интерпретатор, это явно проще, чем делать бэкенд компилятору. Например, написанный на ассемблере лежит у меня на гитхапе.
| | |
| |
| 5.97, Советский инженер (ok), 10:12, 21/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
 >Например, можно посмотреть исходники ocamlrun. Увидеть, что он написан на Си.
а если внимательно посмотреть на таргеты раста, то можно среди них увидеть wasm.
еще чтото надо пояснить?
| | |
| |
| 6.107, n00by (ok), 15:39, 21/03/2024 [^] [^^] [^^^] [ответить]
| –1 +/– |
Конечно, поясни. У тебя сейчас, как обычно, пятница? Или ты хотел пояснить, как будешь запускать wasm на голом железе?
| | |
| |
| 7.108, Аноним (-), 15:57, 21/03/2024 [^] [^^] [^^^] [ответить]
| +1 +/– | |
А как ты будешь запускать ocaml на голом железе?
Вот точно так же и wasm, берёшь и пишешь интерпретатор байткода. Или берёшь готовый: https://github.com/wasm3/wasm3
wasm же явным образом не jvm, и создан с мыслью о том, чтобы его было легко реализовать. Все сложности поверх, типа jit или сборки мусора, это проблемы которые ты сам можешь себе создать, если тебе хочется, но если не хочется, то можешь и не создавать.
| | |
| |
| 8.110, n00by (ok), 16:28, 21/03/2024 [^] [^^] [^^^] [ответить] | –1 +/– | На вопрос про пятницу ты почему не ответил Опять пьян и полагаешь, что через То... текст свёрнут, показать | | |
| |
| |
| 10.126, n00by (ok), 08:19, 22/03/2024 [^] [^^] [^^^] [ответить] | +/– | Я знаю, что ты систематически тут пишешь, находясь в состоянии алкогольного опья... большой текст свёрнут, показать | | |
|
|
|
|
|
|
|
| |
| |
| 5.59, Sw00p aka Jerom (?), 17:31, 20/03/2024 [^] [^^] [^^^] [ответить]
| +/– | |
> И что? Где твой бэкенд?
а LLVM что за зверь?
И раст "может исполняться на тех процессорах" которые поддерживаются LLVM. Растодельцы избавили себя от машиннозависимой кодогенерации.
| | |
| |
| 6.93, n00by (ok), 08:12, 21/03/2024 [^] [^^] [^^^] [ответить]
| +/– | |
Ты всю эту чушь пишешь, что бы заболтать исходный тезис "...для которых компилятор Rust не может генерировать код"?
Как Rust, скомпилированный при помощи LLVM, будет исполняться на процессорах, если LLVM не генерирует под них код?
| | |
| |
| 7.119, Sw00p aka Jerom (?), 00:57, 22/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
> Ты всю эту чушь пишешь, что бы заболтать исходный тезис "...для которых
> компилятор Rust не может генерировать код"?
Алё, раст вообще не генерирует код ни для каких архитектур. Раст это фронтенд, с ллвм бекендом. Раст только генерирует ИР представление для ллвм-а. По ссылке все написано.
И ваш "исходный тезис" - ересь, написанные на раст программы будут исполняться только на тех архитектурах которые поддерживает его бекенд ллвм.
И вам задали прямой вопрос, какая это такая архитектура, которая не поддерживается в ллвм, но виртмашина окамла для нее есть.
| | |
| |
| 8.127, n00by (ok), 08:32, 22/03/2024 [^] [^^] [^^^] [ответить] | +/– | Я понимаю, что тебе очень хочется оспорить всякое моё утверждение Недостаток оп... большой текст свёрнут, показать | | |
|
|
|
|
|
|
| 2.61, Аноним (61), 18:12, 20/03/2024 [^] [^^] [^^^] [ответить]
| +1 +/– |
это не предок Rust. Разберитесь в теме, ваш пост выглядит нелепо
| | |
| 2.67, AKTEON (?), 19:38, 20/03/2024 [^] [^^] [^^^] [ответить]
| –2 +/– |
(C ленинским прищуром) Зачем нужен раст, который не работает на Эльбрусе ?? И тащит потенциальную малварь с серверов вражеского государства ??
| | |
| |
| 3.80, Аноним (80), 22:46, 20/03/2024 [^] [^^] [^^^] [ответить]
| +3 +/– |
Стыдно должно быть. Эльбрус – жуткая проприетарщина с NDA. Он бесконечно далёк от свободы и от чего-либо левого.
| | |
| |
| 4.91, нах. (?), 07:40, 21/03/2024 [^] [^^] [^^^] [ответить]
| +2 +/– | |
Да Владимир Ильич тоже знаешь ли оказался вовсе не про шва6одку и демократию, а вовсе даже наоборот.
И даже диктатура оказалась вовсе не пролетарьята, как обещали, а коммунистических функционеров, ни один из которых и близко к станку не стоял. (Ну на митинге только разьве. Отверточку вот-с, заодно сп-л.) Зато как он отомстил за своего брата!
Так что ель-брус - наше, скрепное, вот только подучимся чипы производить, и дрожите, проклятые англосукси!
| | |
| |
| 5.143, Sw00p aka Jerom (?), 15:05, 22/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
> Так что ель-брус - наше, скрепное, вот только подучимся чипы производить, и
> дрожите, проклятые англосукси!
и с коих пор влив "ваше скрепное"?
| | |
|
|
| 3.88, нах. (?), 07:35, 21/03/2024 [^] [^^] [^^^] [ответить]
| +1 +/– | |
Так точно, товарищ майор! На..й нам ненужон этот хруст!
Он еще и запрещенную тираристическую секту Л..чтотатам пропагандирует! (потому что придумать такой синтаксис - могли только конченные п-сы)
Я бы на вашем месте сажал этих хрустиков всех подряд, лет на десять для начала, а там разберутся. Списочек - к вечеру подготовлю.
| | |
|
|
| 1.13, Аноним (15), 12:39, 20/03/2024 [ответить] [﹢﹢﹢] [ · · · ]
| +/– |
4.x - это LTS ветка. В ней ничего интересного уже не будет.
Все вкусняшки появляются в 5.x
| | |
| |
| 2.23, Аноним (22), 13:25, 20/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
С нем же такое было что в новую версию добавили так много нового что пришлось называть как новый язык. Не с Перлом ли?
| | |
| |
| 3.25, Аноним (15), 13:44, 20/03/2024 [^] [^^] [^^^] [ответить]
| +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. | | |
|
|
| 1.31, Аноним (31), 14:04, 20/03/2024 [ответить] [﹢﹢﹢] [ · · · ]
| +1 +/– |
Вполне приятный синтаксис. Не то что колючий раст или загогулистый плюс-плюс.
| | |
| |
| |
| |
| |
| 5.73, Аноним (72), 20:28, 20/03/2024 [^] [^^] [^^^] [ответить]
| –1 +/– |
Главное, в инфракрасную область не скатиться, а то выходы за пределы буферов не заметите.
| | |
| |
| 6.102, Аноним (100), 12:42, 21/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
Не страшно, фанаты безопастности все заметят и напомнят, еще и новость на опенхоле опубликуют.
| | |
|
|
|
|
| |
| |
| 4.114, Пельменелюб (?), 19:13, 21/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
MirageOS is a library operating system that constructs unikernels for secure, high-performance, low-energy footprint applications across various hypervisor and embedded platforms.
| | |
| |
| 5.130, Минона (ok), 10:22, 22/03/2024 [^] [^^] [^^^] [ответить]
| –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 операционка" как писал товарищ выше.
| | |
| |
| |
| 7.134, Минона (ok), 13:10, 22/03/2024 [^] [^^] [^^^] [ответить]
| –1 +/– | |
> Не там смотришь. Попробуй еще поискать, я верю в тебя, ты справишься.
Если для тебя описание от её авторов это "не там" - ССЗБ 🤷♂️
| | |
|
| 6.133, Пельменелюб (?), 13:10, 22/03/2024 [^] [^^] [^^^] [ответить]
| +/– | |
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 года.
Главное не опускай руки. Вперед навстречу знаниям и развитию.
| | |
| |
| 7.135, Минона (ok), 13:17, 22/03/2024 [^] [^^] [^^^] [ответить]
| –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 копал.
| | |
|
|
|
|
|
|
| 1.37, Аноним (37), 14:26, 20/03/2024 [ответить] [﹢﹢﹢] [ · · · ]
| +/– |
Кроме Си языков нет. Есть Асм и коды, но это не языки. Есть специализированные, вроде учебных вроде Бейсика и Паскаля, на которых вполне можно писать, или всякие баз данных, вроде SQL и 1С. Остальное всё тлен.
| | |
| |
| 2.45, Cradle (?), 15:06, 20/03/2024 [^] [^^] [^^^] [ответить]
| +1 +/– |
Ну вот сабж и есть французский ответ Бейсику и Паскалю, на котором можно и учиться и писать профессионально. Другое дело что этот их французский остальному миру не очень понятен.
| | |
| |
| 3.58, n00by (ok), 17:21, 20/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
Остальному миру так же не очень понятны языки семейства Паскаль. Любой здешний эксперт скажет, что мир должен говорить на Бейсик Инглиш. Ну и писать на языках программирования, созданных в США.
| | |
| |
| 4.64, Аноним (-), 19:27, 20/03/2024 [^] [^^] [^^^] [ответить]
| +/– | |
>Остальному миру так же не очень понятны языки семейства Паскаль.
Почему? Адептов Паскаля много по всему Миру.
>Любой здешний эксперт скажет, что мир должен говорить на Бейсик Инглиш.
Здешние эксперты критикуют тебя за то, что ты пытаешься не признавать устоявшиеся правила транскрибирования. Твои аргументы навроде поисковых запросов смешны.
>Ну и писать на языках программирования, созданных в США.
Э-э не гони минипулятор ты наш. Люди пишут прежде всего на популярных и востребованных языках программирования.
| | |
| |
| 5.94, n00by (ok), 08:20, 21/03/2024 [^] [^^] [^^^] [ответить]
| –2 +/– |
>>Остальному миру так же не очень понятны языки семейства Паскаль.
> Почему? Адептов Паскаля много по всему Миру.
Потому что "много" это манечка, а не цифра.
>>Любой здешний эксперт скажет, что мир должен говорить на Бейсик Инглиш.
> Здешние эксперты критикуют тебя за то, что ты пытаешься не признавать устоявшиеся
> правила транскрибирования. Твои аргументы навроде поисковых запросов смешны.
И давно эксперт по трансскипированию транскрипции стал говорить о себе во множественном числе? До того, как узнал о частотном анализе, или после?
>>Ну и писать на языках программирования, созданных в США.
> Э-э не гони минипулятор ты наш. Люди пишут прежде всего на популярных
> и востребованных языках программирования.
Перечисли всех, кто входит во множество "наш" и покажи доверенность от людей, дающую тебе право говорить за них, манипулятор, ты, мой.
| | |
|
|
|
| 2.47, Аноним (48), 15:35, 20/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
Си это шутка, воспринятая всерьёз. Во времена холодной войны они эту дурь хотели сюда пропихнуть, но "не рой другому яму"...
| | |
| |
| 3.49, Аноним (52), 15:44, 20/03/2024 [^] [^^] [^^^] [ответить]
| +1 +/– |
Во времена холодной войны сюда Си особо и неначто было пихать. ЕС ЭВМ - там всё оботечествлённое межделмашевское своё. КР580 - Бейсики разные.
| | |
| |
| 4.86, нах. (?), 07:30, 21/03/2024 [^] [^^] [^^^] [ответить]
| +/– | |
Про СМ3,4,1420,1700 - нееееа, не слышал? Первая - это 78й год.
| | |
| |
| 5.98, Аноним (98), 11:17, 21/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
А последняя только формально в той же серии СМ. А в отличие от них, 32-битная (VAX).
| | |
| |
| 6.99, нах. (?), 11:35, 21/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
в смысле?
СМ - это огромный ряд совершенно разных серий. (Как и ЕС, в общем-то, где 1045 это мэйнфрейм, а 1845 писюк с-ный) CM1 и 2 - вообще ни разу не клоны DEC и ничего общего не имеют с 3 кроме типоразмеров и разъемов.
1421 - если я не ошибаюсь в названии (ни одной такой не видел и их не сохранилось, но слухи о них ходили) - содержала внутри встроенный МИР1 вместе с алмиром в качестве периферийного узла.
"VAX" этих тоже было не одна - помимо 1700й которая делалась на базе инэумовского завода - была совершенно на нее непохожая киевская 1702, где вместо декообразной "общей шины" была какая-то своя аналогов-не-имеющая (соответственно - вся шинная периферия оказалась несовместимой... ну, вероятно у них была какая-то зато специфическая железяка, которую надо было туда втыкать кровь из носу)
| | |
|
|
|
|
| 2.68, AKTEON (?), 19:47, 20/03/2024 [^] [^^] [^^^] [ответить]
| +1 +/– |
Конечно нет - ЕСТЬ ФОРТРАН - ВЕЛИКИЙ И УЖАСНЫЙ - до Unix возникший и после смерти C паки грядущий !
| | |
| |
| 3.103, Аноним (100), 12:44, 21/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
Времена идут, языки меняются, а математики пишут на Фортране. И в чем они неправы? Там хоть синтаксис более-менее нормальный.
| | |
|
| |
| 3.83, anonymos (?), 03:09, 21/03/2024 [^] [^^] [^^^] [ответить]
| +1 +/– |
(defquote '(Ибо воистину. Первый Язык, жемчужина посреди простых камней, и нет языков кроме Него. Скобки, в которых пустота — тело Его, мистическое двуединство кода и данных — дух Его, божественная рекурсия — сердце Его. Истинно говорю вам, избегающий света Его есть безумец, вот, свершается кара над главой его, и убогостью отмечены поделия его, подобные пустым глиняным горшкам рядом с хрустальным сосудом благодати Его. Принявший же и постигший истинный свет Его подобен прямой и отточенной стреле, чисты помыслы его и крепка рука его, и благословенны творения его, дарующие радость и утоляющие печали, ибо одухотворены духом Его и отмечены благодатью Его.))
| | |
|
|
| |
| |
| 3.81, AKTEON (?), 23:04, 20/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
Cтандарта - нет, сторонних реализаций нет. Незрелый язык программирования.
| | |
| |
| 4.92, Аноним (92), 07:42, 21/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
Хм, интересно, не имеется ли планов или обсуждений о добавлении OCaml-фронтэнда в состав GCC?
| | |
|
|
| 2.87, Аноним (92), 07:34, 21/03/2024 [^] [^^] [^^^] [ответить]
| +4 +/– |
Совсем другое дело Rust, обкатанный по самые небалуйся. И комитет по стандартизции, состоящий из выкинутых Мурзиллой на мороз, имеется.
| | |
|
| |
| |
| |
| 4.117, Пельменелюб (?), 19:53, 21/03/2024 [^] [^^] [^^^] [ответить]
| +1 +/– |
На хэ-хэ-хантере забанили?
Там периодически появляются вакансии. Не то чтобы прям много, но бывают.
| | |
|
| 3.104, zog (??), 13:31, 21/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
Можете привести конкретные примеры? Скажем, объявления о найме в ту или иную компанию?
| | |
| |
| 4.109, Cradle (?), 16:08, 21/03/2024 [^] [^^] [^^^] [ответить]
| +/– |
навскидку, к примеру на https://jobs.thelocal.com задайте в поиск просто ocaml, получите сразу несколько достаточно интересных вакансий, вроде "Research and Development Engineer (M/F), Formal Verification of Rust Programs"
| | |
|
|
|
| 1.153, adolfus (ok), 21:07, 01/04/2024 [ответить] [﹢﹢﹢] [ · · · ]
| +/– |
 Проверка переполнения буфера сниджает производительность более, чем на порядок. В ISA x86_64 когда-то были инструкции BOUND, от которых, слава богу, нахер отказались из-за того, что нет эффективного решения таких проверок даже с аппартной подпоркой. Проблема переполнения буфера живет исключительно в головах программистов -- она из той серии, где "sudo rm -rf /".
| | |
| |
| 2.154, n00by (ok), 10:26, 02/04/2024 [^] [^^] [^^^] [ответить]
| +/– |
От BOUND отказались, когда Intel и AMD перешли к RISC ядру, исполняющему микрооперации, в которые декодировались инструкции IA32/AMD64. Эта команда оказалась на порядок медленнее аналогичного по результату набора простых инструкций. Та же участь постигла и ENTER/LEAVE.
| | |
|
|
