гугли дальше

Lua

И чо? причем тут функциональщина?

В Io тоже можно так написать:

Range setRange(20, 10, -3) asList foreach(print)

List -> := List getSlot(«foreach»)
range := method(x, y, z, Range setRange(x, y, z) asList)

range(20, 10, -3) -> (print) 

интересный способ бампать треды: постишь и удаляешь пост, тред всплывает в топ с последним сообщением месяц назад и все думают "полтергейст движок лора говно бажное"

MIX

но его же не существует...

Опередил.

OCaml, Haskell.

Unicon (дальнейшее развитие Icon) пример кода

думал генераторы относятся к функциональщине.

если нравится Io, глянь на ooc (пример кода гитхаб)

Pascal же ну :)

кстати, что ты думаешь насчёт Mirage OS в частности, и unikernels в целом?

вот например MELANGE смотрится любопытно

да и вообще, презентации там прикольные: в итоге, unikernel is a functor, composable module via DSL (see MELANGE) and xen appliance.

REBOL, Red

Для слабаков - Паскаль. Для чотких пацанов - Оберон.

для царей — оберс (оссемблер же, не для лалок! понемать надоть!)

Какой ЯП лучше подходит для написания алгоритмов красноглазя ночами ненавидя свою основную работу?

matlab

но его же не существует...

Почему это? Полно реализаций.

Forth, Factor

кстати, что ты думаешь насчёт Mirage OS в частности, и unikernels в целом?

Я думаю, что еще одна модная игрушка, круто выглядящая на презентации прототипа, но даже близко не дающая профита, необходимого для выживания в реальном мире.

Какой ЯП лучше подходит для написания алгоритмов красноглазя ночами ненавидя свою основную работу?

matlab

Бугага.

/me .oO( Ну вот почему при слове «алгоритмы» у большинства людей возникает ассоциация «вычислительные алгоритмы»? )

Что такое «вычислительный алгоритм» и чем он отличается от обычного? В матлабе есть и можно писать всякие. Или кто-то путает алгоритм с бизнеслогикой?

Что такое «вычислительный алгоритм» и чем он отличается от обычного?

Что бы не подразумевалось под «обычным алгоритмом», вычислительные алгоритмы являются небольшим подмножеством «обычных алгоритмов».

Scala?

Занялся тут на досуге клепанием алгоритмов для известных науке P, NP, PSPACE итп-complete, проблем.

Тут сразу proof assistant бери, чтобы два раза не бегать.

ok, приведи пример такого алгоритма

попробуй rust

Для слабаков - Паскаль. Для чотких пацанов - Оберон. Для быдла - все остальное.

Никлаус, ты?

ok, приведи пример такого алгоритма

https://ru.wikipedia.org/wiki/Вычислительная_математика

Перестань шланговать уже.

matlab это не только вычислительная математика

Бугага.

Если опустить тему вашего разговора, матлаб всё равно говнина адовая. Побочный эффект прошедшей всенародной любви к фортрану.

Ага, ещё это больше 1000 убитых человеколет.

Как всегда «сообщество» погроммистов начинает своё общение: гав гав гав гав гав гав гав гав гав гав гав гав гав гав гав гав гав гав гав.

гав гав гав гав гав гав гав гав гав гав гав гав

не дающая профита, необходимого для выживания в реальном мире.

чтоа? почему это? аргументируй. что в твоём понимании есть профит.

драйверы через функторы и TLS выглядят весьма годно. зацени реализацию ASN.1 и количество строк (почитай их бложик)

The entire ASN library comes down to ~1,700 lines of OCaml, with around ~1,100 more in tests, giving a mostly-complete treatment of BER and DER.

Its main use so far is in the context of the X.509 library (discussed yesterday). It allowed the grammar of certificates and RSA keys, together with a number of transformations from the raw types to more pleasant, externally facing ones, to be written in ~900 lines of OCaml.

вот кстати, список papers внушаить.

здесь из публикаций интересна например эта:

Open-Source and Cyber Warfare
Anil Madhavapeddy
in the NATO Science for Peace 2011 CSaP workshop, Wolfson College.

блин, зацени вектор развития и эту тему с мобильными камерафонами (а также «Limel: Local Computation and Linear Coordination» и обмен SDR акустическими сетями)

хостится поверх гипервизора, работает вот на этом

аргументируй. что в твоём понимании есть профит.
бложик, TLS, OpenSwitch и прочее — как бы уже не игрушка.

мяу (was: Re: гав гав гав ко ко ко)

сабж сабж сабж

и вообще на тему профита смотри decks — презенташки, хостящиеся с самого миража.

там выводы вполне убедительно описаны. таблички с графиками.

В зависимости от степени ненависти к работе – python, что-то из семьи Lisp (например, Clojure крутится на JVM, чтобы не было совсем-совсем чуждым), haskell, forth. Последние три здорово прочищают мозги.

не дающая профита, необходимого для выживания в реальном мире.

чтоа? почему это?

Я не вижу, откуда ему взяться.

аргументируй.

Давай ты будешь аргументировать. Как-то так: «OpenMirage станет $SOMETHING, потому что $WHATEVER».

что в твоём понимании есть профит.

Уменьшение затрат на разработку и эксплуатацию приложений.

драйверы через функторы и TLS выглядят весьма годно

Ocaml вообще годный язык, но это не имеет отношения к OpenMirage (впрочем, это не мешает мне тоже читать их бложик).

потому что $WHATEVER

потому что DSL. и MELANGE это пример как строится по DSL из спецификации протоколы интернетов. и TLS это пример аналогичный.

и даже драйвер сетевой карты — аналогичный пример. потому что одинаковый принцип.

но что более интересно — так это тот DSL, который делает их модульным. и то, что само униядро строится как функтор, комбинатор из таких вот DSL, сконфигурённый и построенный во время компиляции — см. про staged metaprogramming и специализацию времени компиляции.

killer-feature, выражающаяся в количестве строк на реализацию и минимальном профиле поверхности атаки.

и в составимости (composability) таких DSL.

Уменьшение затрат на разработку и эксплуатацию приложений.

сравни реализацию OpenSSL, причины появления Heartbleed и количество строк на реализацию похожей функциональности.

сравни один ключик configure --xen или configure --unix, который «за сценой» делает сборку под гипервизор на «голом железе» или внутри линаксов.

сравни деплой бинарников через GIT и загрузку в реальном времени по сети ядра из GIT-а.

это всё в эту тему. осталось только годный фреймворк для микросервисов написать, и сервер приложений — в приставке. а приставка в сети. а сеть в облаке. (утка в зайце, яйцо в утке).

somerandomidiot.com пишет у себя в бложике, что её девчачий wordpress пытались ломать боты. и знаешь что? она права. но! сложно сломать то, где ломаться нечему.

поэтому девачка с приставочкой хостится в мираже который хостится в облаке, обновляет всю приставочку с октопресс-бложиком через git и на досуге занимается фуззингом своей приставочки.

прикольно, ага. окамл — и для девочек тоже.

> не дающая профита, необходимого для выживания в реальном мире.

Я не вижу, откуда ему взяться.

какому именно профиту? хипсторы раскаиваются, бросают node.js, и массово переходят на rust (клабник пишет книжку не по рубям, а по ржавчине, гы), и на ocaml?

а затем столица переименовывается в нью-васюки и далее по тексту?

или какому профиту?

не дающая профита

посмотрим, возьмут ли профит с пинаты.

Пример 1. При создании гибридного языка Дракон-Си необходимо, в частности, создать транслятор из дракон-схемы в исходный код языка Си. В этом случае Си является целевым языком.

Пример 2. При создании гибридного языка Дракон-Дельфи необходимо, в частности, создать транслятор из дракон-схемы в исходный код языка Дельфи. При этом Дельфи является целевым языком.

Пример 3. При создании гибридного языка Дракон-Фортран необходимо, в частности, создать транслятор из дракон-схемы в исходный код языка Фортран. В этом случае Фортран служит целевым языком.

Серьёзная штука. Для военных писалась, наверное.

потому что DSL. и MELANGE это пример как строится по DSL из спецификации протоколы интернетов. и TLS это пример аналогичный.

и даже драйвер сетевой карты — аналогичный пример. потому что одинаковый принцип.

но что более интересно — так это тот DSL, который делает их модульным. и то, что само униядро строится как функтор, комбинатор из таких вот DSL, сконфигурённый и построенный во время компиляции — см. про staged metaprogramming и специализацию времени компиляции.

И каким образом из этого следует успех _unikernels_? Я вижу любопытные разработки на Ocaml. Еще раз: всё это - просто фреймворк на Ocaml... для чего - Си, Java, Python? Или для Ocaml?

Уменьшение затрат на разработку и эксплуатацию приложений.

сравни реализацию OpenSSL, причины появления Heartbleed и количество строк на реализацию похожей функциональности.

Прекрасно, ocaml-tls выиграл. Что дальше? Ocaml становится основным языком разработки ПО?

сравни один ключик configure --xen или configure --unix, который «за сценой» делает сборку под гипервизор на «голом железе» или внутри линаксов.

Сравнил. А теперь сравни, сколько профита дает запуск в виде unikernel, на голом Xen, по сравнению с запуском в Linux.

сравни деплой бинарников через GIT и загрузку в реальном времени по сети ядра из GIT-а.

Я вообще считаю, что Git говно, а деплой из Git - дело малограмотных хипсторов, но такой уж я немодный.

или какому профиту?

Что непонятно во фразе «уменьшение затрат»? Затраты - это деньги и время. Профит - тоже.

Какой ЯП лучше подходит для написания алгоритмов красноглазя ночами ненавидя свою основную работу? Может алгол86...

В какой то толстой книжке автор использовал ассемблер, вот прикол, да?

Ruby

Питон, кофескрипт, ES6.

По какому принципу выбираешь древние треды? Теги?

Пытается пойти против системы. Бунтарь.

Классная щутка!

Какие шутки? Все очень серьезно. Просто императивное быдло почему-то называет обычные функции функторами.

Jupyter