>>17450
Конечно, можно, и довольно просто. В чистом функциональном языке нет побочных эффектов, т.е. состояние вычисления полностью описывается вычисляемым выражением. Поэтому аргументы у eval это просто сами выражения. Для языков с побочными эффектами eval будет иметь форму "eval (prev_state, prev_term) (post_state, post_term)", т.е. состояние вычисления будет также содержать некое окружение. Например, в императивном языке с присваиваниями это будут значения переменных в текущем контексте. Потом я сделаю примеры таких языков. Можно описать в окружении что угодно, хоть память в виде массива байт для ассемблерообразного языка, хоть динамическую аллокацию в абстрактной куче, хоть параллельные вычисления в нескольких тредах.

На картинке определение чистого нетипизированного лямбда-исчисления и кодировки Черча для bool, nat и list, которые были задействованы в картинке >>17448. Единственный нетривиальный момент - это подстановки и переименование переменных в лямбдах (посередине). Про аксиоматизацию этого процесса защищено немало диссертаций, совсем простого решения так и не нашли. В интуиционистской логике, лежащей в основе goviaji, это описывается так.

> Это какая-то веха на жизненном пути, отмечающая уровень развития программиста
Мне кажется, что веха на жизненном пути, отмечающая уровень развития программиста не создания своего языка, а создание своего вируса.

>>17590
Это или слишком просто, или слишком долго, в зависимости от взгляда на вещи. С перерывами пишу универсальный инфектор уже пятый год как.

Не пробовал твоё поделие, но описание звучит как сорт yacc'a.

>>17456
Ня, ты знаешь λ-функции! Можно кое-что спросить одна девочка про них только в Википедии и читала, так что не взыщи? Если использовать терминологию отсюда → https://en.wikipedia.org/wiki/Lambda_calculus_definition#Normalization , то у тебя, как я понимаю, происходит call-by-value редукция и в результате получается (если повезёт) weak-head-normal-form. Так вот, вопрос: почему не использовать normal strategy, если она более универсальна? и, кстати, как это в общих чертах доказать — то, что normal-order-reduction сходится при условии существования нормальной формы?

А ещё Prolog странный язык! Кот-то говорит декларативный, а у девочки всё одно императивный код, только что блоки в строку развёрнуты, да вместо управляющей конструкции — short-circuit имплицитного OR того, что между правилами с одинаковой левой частью.

>>17629
У пролога императивная семантика что бы ни говорили. Посмотри datalog, он ближе к правильному логическому.

А ты смотрел racket? Им можно создавать языки, в том числе произвольный синтаксис.
https://docs.racket-lang.org/guide/languages.html

>>8031
Потому что им приходится настраивать куклоскрипт?

Ня!
На входе есть строчки вида: "65 days, 1 hours, 41 minutes, and 53.16 seconds" или "uptime is 3 weeks, 4 days, 16 hours, 16 minutes". Каким регэкспом в js мне можно их привести к единому формату типа "WW-DD HH:MM:SS"?

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

анон, подскажи регэксп для php.

нужно удалить из текста все тэги, кроме некоторых
ну, скажем, надо оставить только a,b,font

делаю так:

$text = preg_replace("#</?(?!a\b|b\b|font\b|!--)[^>]*>#i", "", $text);

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

что не так?

>>9015
разобрался:

$text = preg_replace("#</?(?!/|a\b|b\b|font\b|!--)[^><]+>#i", "", $text);

В 2012 году эпическая макропаста https://stackoverflow.com/a/1732454 была сочинена именно в качестве отрицательного ответа на вопрос об употреблении регулярных выражений для разбора кода HTML.

>>17705
И выросло это из нормального совета в пугало размером с GOTO. Конечные ноды любой грамматики всё равно регулярки.

А первые комментарии к посту датируются 2009 годом, так что он никак не мог быть написан в 2012.

Bump. Оп ты где?

>>16476
Бамп, бамп и ещё раз бамп.

>>16476
Оп тут. Сейчас нет времени на это, если честно. Да и десктопная жава никому не нужна, это как учить кобол или дельфи в 2017. Особого интереса к проекту я не увидел, если честно.
Сейчас я эту штуку хочу переделать в restful-сервис, а морду можно на том же Qt написать. Заодно и приложение под андроид слабать можно...

>>16928
>Qt
Нет.

>>16928
Так мало кто картинкопаки в 2017 собирает, а уж тем более шифрует. Удачи тебе, ОП, проект достойный, но в узких кругах.

>>17084
Ну, тем кто рисует, например, паки нужны - у нас из-за проклятых моралофажков буры скоро перебанят и переабузят совсем. Да и если собирать в соцсетях, то там бывает деллалл - уже не раз замечал пропадание даже не порнушных картинок из репостов\избранного.
Я сейчас весьма активно полез в изучение спринга, на нем и буду делать серверную часть, только немого позже, как разберусь с основами на чем-то попроще.

>>17323
Будешь отписывать? Тоже собираю, но пока сижу на Graber, он по бурам лишь.

SCADA-системы, например.

посмотрите в сторону SAP ABAP.

Все технологии постоянно меняются, таков виртуальный мир.

>>16592
ПЛК туда же.

микрокнтроллеры какие-то. там всю жизнь одно и тоже на си байтики кидать со стороны в сторону
только не интересно все это, надоедает

>>17324
Решил пойти в embedded. Через сколько мне это надоест?

>>17350
Или надоест сразу, или не надоест вообще.

> и создать свой сайт
Как я понял по описанию, ты хочешь сделать борду вроде усопшого вакачана, где каждая доска находилась на независимом сервере, так?

>>17027
>>ты хочешь сделать борду вроде усопшого вакачана, где каждая доска находилась на независимом сервере, так?
Нет. Я просто не знаю, как понятнее написать.

>>17027
У них просто борда хостится там же, где и сама игра, на отдельном домене. А так, это такая HTMLная рпг, каждая игровая локация на своём поддомене, а передача данных между ними устроена через коды ты их сам сохраняешь и вводишь когда нужно Вообще, на удивление неплохо у чуваков получилось.

>>17029
Я открыл дыру, если кто-то не мог ее пройти. Теперь сразу можно попасть дальше.

В подземелье были замечены пауки. Рекомендую смотреть по сторонам, находясь в темноте.
В пабе открыт доступ в коридор с гостевыми комнатами на втором этаже. Интересно, что одной двери не хватает… Возможно, есть другой способ попасть в замурованную комнату?

Добавлено продолжение квеста с ключом пьяницы Пьера. Теперь он берет ключ. Если не будет брать, перезагрузите страницу.

>>16165
Основное это сетевая программа под линукс для обработки UDP пакетов для серверного Линукса. (по сути обёртка над epoll с помощью mio с кастомной логикой и парсером на nom) Плюс пишу no_std библиотеки, немного баловался с embedded на STM32, всё шло достаточно хорошо, но не попалось подходящего проекта, так что тут далеко не продвинулся.

>>16167
Основной рабочий язык был Питон, но имел опыт на разных языках: Паскаль, Дельфи, Го, немного С. Немного баловался Фортом, Лиспом и Эрлангом.

>>16173
>Вопрос один: нафига так много разных типов контейнеров? Пока учил, окончательно запутался и дропнул.
Подозреваю что ты про вещи типа Rc<RefCell<T>>. Конкретно и подробно по всем контейнерам ответить не смогу, но лично моё мнение что всё это нужно и играет свою роль позволяя производить композицию из того что тебе нужно в текущем контексте, а не пытаться натягивать комбайн. Проблема в том, что пока тебе конкретно данный контейнер не понадобиться будет ощущение что он не нужен. Но когда такая ситуация возникнет ты поймёшь почему сделано именно так. Так что если чего-то непонятно сейчас, то можешь смело пропускать, необязательно штудировать книгу от корки до корки.

>Вопрос два: что на нем на данный момент можно написать на практике?
Народ вполне себе успешно пишет и появляются примеры приложений которые выходят за рамки Раста. (тот же ripgrep)

>Есть свой нормальный гуи или биндинг в QT?
На данный момент, насколько я знаю, ничего уровня C++ нет. Единственное относительно скоро должна появиться годная интеграция с GTK. "Своего" гуя разумеется нет.

Сообщение слишком длинное. Полный текст.

Ах да, если интересует сеть, то обязательно стоит посмотреть на tokio:
https://tokio.rs/
Это решение Раста на тему асинхронщины, которое работает без корутин и с zero-cost abstraction™. На выходе всё компилируется в машину состояний работающую на event-loop.

Единственная проблема, это опять же неизбежный высокий порог входа. Большинству пользователей имеет смысл использовать библиотеки на основе tokio, а не опускаться на этот уровень самостоятельно.

легко ли перейти с питона на раст?

>>16192
Сильно зависит от человека приходящего из Питона. Ну и плюс о полном переходе наверно думать не стоит, Раст и Питон отлично друг друга дополняют, чему отлично помогает возможность вызова кода в обоих направлениях.

Всякие функциональные фишки, итераторы, нормальная система модулей, человечный инструментарий (rustup, cargo) в плюс. Необходимость думать о том где, что и как у тебя лежит в памяти, отсутствие привычной гибкости и развязности, отсутствие REPL, продолжительность компиляции (работа по улучшению ведётся), для большинства скорее в минус.

С другой стороны строгая типизация, обработка ошибок через enum'ы, паттерн матчинг, borrow checker, компилятор дающий по рукам в случае чего (иногда конечно бывают перегибы, но в большинстве случаев дураком оказывается программист), что позволяет отлавливать ошибки при компиляции, а не в рантайме, и прочие фишки, лично для меня, оказались глотком свежего воздуха, но что бы прочувствовать всю прелесть этих вещей полезно походить по граблям Питона и набить на них шишки.

Кстати насчёт контейнеров, думаю, эта ссылка будет полезна:
https://www.reddit.com/r/rust/66t56s/

>>16197
>человечный инструментарий (rustup, cargo)
Энджой ёр монополия.

Что мертвее D или Rust?

>>17146 Go

>>17051
Зачем? И почему ты не справляешься в одиночку?

Ссылка на код или спам

https://github.com/an146/falconboard

> на питоне
Не интересно.

Ужас, ну и дизайн. Меня аж переклинило от такого.

>>14180
Ну, удачи!

Сижу значит, буры граблю. Падок я на это дело, но не суть, ради экономии времени начал писать граббер. Взял curl, страничку получил, изображение и раз, ни сам найти, ни нагуглить как его в неблокирующий режим перевести не удалось. Не долго думая взялся за многопоточность. Раз тычёк, два тычёк, с третьего завелось. Удобная штука оказывается. С генерацией ссылок на страницы промучился, почём зря. Миксовал char и string, циферку в строку переводил, а в итоге через поток всё одной строчкой получилось.

>>14193
> что такое NekoGrabber
> что такое GitHub Repository Search

>>14199
Ты ведь мне не поверишь, если я скажу что он у меня не работает?

Получаем, загружаем, сохраняем. Пока превьюшки.

Далее пилить:
-поле для ввода тегов
-кнопка для загрузки следующей страницы
-выделение картинок на сохранение
-скролл кнопка

Блджад, оно сдохло. А я то надеялся, что спустя год будет пиздец навар прогресса. Ну да ладно.
Привет из 2к17го.

>>16708
Ну, разработчик потерял мотивацию, если опенсорс - можешь продолжить его дело.

Насколько текстовых? Текстовых, уровня cmd.exe? Или текстовых уровня Хигурашей?

>>16652
Рен'пай же для визуальный новелл. Хоть это и близок к этому. Можно ли там чисто текстовый только вариант запилить.
>>16655
Пока планирую вообще без графики. так как я рисовать не умею. Как найду художника, то потом можно прокрутить, но пока да, ориентируюсь чисто на IF.

>>16662
Там очень легко запилить чисто текстовый вариант. Будет у тебя текст в nvl-режиме (это когда текст печатает на весь экран, а не в окошке персонажа) на подходящем для чтения фоне. Заодно не тяжело иллюстрацию добавить, если нужно.

>>16662
> пока да, ориентируюсь чисто на IF
Если тебе вообще не нужны переменные, инвентарь, блуждания туда-сюда-обратно, броски кубика и прочее, то можно использовать хоть тот же голый HTML.

Если хочется чего-то хитрее и/или сообщества игроков/разработчиков (увы, это одни и те же люди почти что), то посмотри в сторону QSP или INSTEAD. Оба движка живы и хороши.

>>16665
А как дела там с рпг элементами, а также элементами симуляции персонажа и окружающего мира. Нет, далеко не такого детального в DF, но выше уровня симуляторов свиданий.
>>16669
> QSP или INSTEAD
А что из них лучше? Я имею ввиду как для игры, которая будет иметь смесь raising sim, rpg и немного dating sim.

>>16678
Уровень симулятора свиданий там проиллюстрирован прямо в туториале Да, в ренпае с SDK идет туториал проект который показывает разные фишки ренпая, включая простую RPG-систему а-ля дейтсим

>А что из них лучше?
Судя по беглому гуглению, таки INSTEAD круче - оба движка изначально заточены на текстовые игры, в которых есть локации и инвентарь, но при этом INSTEAD позволяет делать произвольные кодовые вставки на Lua. Например, кто-то сделал на нём пикрелейтед.