Causality Ltd прекратила свою деятельность

На нем можно написать ОС? И как будет работать?

Правильный вариант выглядит так for(var i = 0; i < a.length; ++i) stdout.printf(b); имеется в виду что у массива a и b разные размеры и a может быть больше b

Интересно, когда альт загнётся?

Интересно, когда альт загнётся?

Тогда, когда Андрей Черепанов за-Skull-ит.

Да недостатки простые. Нет локов, потому что вся программа, это одна нить. Типы бкзопасны, но ты ничегошеньки с ними не сделаешь. Строку со строкой, число с числом.

Твой псевдокод a.length раз выводит на экран некое b. Нет никакого переполнения.

На реддите несколько человек поигрались уже. Производительность оказалась на уровне раста (уже очень хорошо, это же практически плюсовый уровень). Кажется, система типов позволила им хорошо локализовать моменты запуска сборщика мусора и тот сейчас не оказывает большого влияния на производительность.

Там всё не так плохо как в питоне, но иногда без переводов строк компилятор не разберется.

По всей видимости нельзя.

А какой смысл тащить всюду сишный синтаксис? Просто потому что кому-то там привычно?

Там по куче на поток, как в nim, соответственно, влияние GC минимально.

Школьник-кум, а гед почитать подробнее как в ниме сделано?

Щито.

потоки для тех, кто не умеет программировать конечные автоматы.

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

А компьютер с двумя процессорами — это два конечных автомата?

Производительность оказалась на уровне раста (уже очень хорошо, это же практически плюсовый уровень).

Вчера собрал и поигрался примерами, типа echo или httpserver. В общем, может я чего сделал не так — оно оказалось раз в пятнадцать медленнее (примерных) аналогов на расте. Сильно копать в эту сторону я не стал, так как эта «полная безопасность для всего и вся» сегфолтилась при увеличении нагрузки.

:D

Опять куда-то делось. Там b является массивом, а в цикле обращаютя к элементу по индексу i

[[for(var i = 0; i < a.length; ++i) stdout.printf(b);]]

Обращение по индексу съедается как тег для ввода курсивного текста.

Ты просто не умеешь это готовить. Вполне можно ставить табы, а если мешать табы с пробелами, то python 3 будет ругатся. Плюс код получается компактнее. Я уже не говорю про некоторых любителей набирать кучи строк

void main()
{
  printf("hello");
}

int
main()
{
  printf("hello");
  return 0;
}

for(var i = 0; i < a.length; ++i) stdout.printf(b[i]);

Используй тег code. Так вот, такая фигня уже есть и даже используется. Луркай про refinement types.

Это уже распределенные системы и другой интересный разговор.

как бы не очень и жалко... Хотя кого я обманываю?! Вообще пофиг!

Нельзя. Язык высокоуровневый. Рантайм на Си, вот его можно портировать на АРМ.

А вот если бы они написали операции на Rust, наверное бы не сегфолтилось.

Рантайм на Rust

Интересно, когда альт загнётся?

А чего ему загибаться, он и так не-мертвый?! :)

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

Ты это уже который год твердишь, а деньги всё не заканчиваются у Шаттлворта. Неприятно, правда? А всего-то надо было прививку от метеорологов сделать, Андрюша. Был бы приличным человеком, не аналитиком каким.

Интересно, когда альт загнётся?

Компании 20 лет скоро. Если уж пару кризисов они как-то пережили (с потерей ключевых людей в команде, правда), то скорее всего, в том или ином виде альт проживёт ещё долго. Так что обычных запасов попкорна тебе не хватит — строй сразу большой подземный бункер на случай ядерной войны.

Половины состояния уже нет. Четверть ярда осталось. При расходах в 63 млн. долларов на Каноникал при практически нулевом доходе несложно экстраполировать.

Я про эти экстраполяции от тебя слышу с 2008 года. Восемь лет, Андрюша, восемь лет ты пророчишь, что Каноникл ещё чуть-чуть и практически уже вот-вот помрёт. И это на моей только памяти. Аналитика, такая аналитика.

Меж тем, что интересного и мощного сделал Альт в последние годы? Ну, после «Ломоносова» и терминалов в поликлиниках?

Тогда я не называл сроки. А так да, мы ничего не сделали. Как, впрочем, и Каноникал. Вона, Маск корабли в космос запускает и Теслы штампует. Куда нам до таких впечатляющих достижений?

Ад у тебя из под кривых рук выходит.

CAF, это Coarray Fortran имеется ввиду, кстати?

Ты обкурился штоле, с каких пор Руби стал безопасным? Короче, знатный пук в лужу.

сегфтолт
https://github.com/ponylang/ponyc/issues/1118

ААА! Ты знал! Ты знал!

CAF

https://github.com/actor-framework/benchmarks

Хотя с другой стороны Java с ее public static void main() внутри специального класса с единственной целью - обозначить точку входа в программу.

Что это за специальный класс такой (про «магическую сигнатуру» сказано почти верно)? У программы может быть хоть тысяча точек входа!

Твой псевдокод a.length раз выводит на экран некое b. Нет никакого переполнения.

думаю, первоначальный автор сего куска кода хотел, чтобы компилятор ему сказал в случае чего «длина массива a больше/может_быть_больше, чем максимальное значение переменной i согласно ее типу (char/short/int/long/etc)». Ибо берем unsigned char i, пихаем 260 элементов в массив a и сидим в этом цикле вечность.

думаю, первоначальный автор сего куска кода хотел, чтобы компилятор ему сказал в случае чего «длина массива a больше/может_быть_больше, чем максимальное значение переменной i согласно ее типу (char/short/int/long/etc)». Ибо берем unsigned char i, пихаем 260 элементов в массив a и сидим в этом цикле вечность.

Нет, он там выше ответил что имел ввиду массив b, который по длине меньше массива a.

А потенциальное переполнение в твоём случае даже в C компиляторы без проблем детектируют.

откаты нужно было давать

Звучит очень заманчиво, но если это действительно так, то почему аналогичные штуки не сделаны в Rust, Go или других языках? В чём недостатки?

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

C++ Actor Framework

Спасибо, на CAF language, понятное дело, ничего полезного не нагуглил.

Купила мама коника, а коник без нога, яка весела писенька гигигиги

Каким образом асинхронность решает вопрос с блокировками?

Я не знаю и спросил

http://nim-lang.org/question.html Первый и четвёртый ответы.

http://nim-lang.org/docs/gc.html Про сам GC.

Я надеюсь что ты покупал свадебные торты оптом? ЗЫ если экстраполировать альт, то 9 ветка выйдет тогда, когда вполне себе может идти 2 деятилетие 21 века. Если выйдет