Официальная группа Вконтакте ателье по пошиву штор Lambrela на улице Кабдолова, 16

ятора мы обнаружили и решили множество проблем, связанных с компиляцией современного функционального языка в WebAssembly. Мы также представили наши первоначальные результаты по добавлению
WebAssembly к текущему бэкенду Racket Chez Scheme. Мы признаем
трудности, с которыми могут столкнуться разработчики при переносе существующей архитектуры на Web-Assembly, и представляем решения, которые пытаются преодолеть разрыв между WebAssembly и другими потребностями в языке ассемблера. Мы считаем, что работа, которую мы здесь описали, и представленные решения будут полезны длябудущих команд, портирующих любой язык программирования и надеемся увидеть полную компиляцию Racket в будущем.

асивое выражение идеи. В этот момент срабатывает моя система внутреннего вознаграждения.
Если судить по исходникам других людей, то они ощущают примерно то же самое.
В этом может быть польза Lisp-ов в обучении. Они приучают думать над задачей и алгоритмом, обобщать детали, отсекать несущественное, получать в итоге чистое выражение идеи. По моим внутренним ощущениям, это больше похоже на математику, которой меня учили.
Хотя, возможно, тут причинно следственная связь в другом направлении. Меня интенсивнее учили прикладной математике, поэтому мой мозг привык к такому образу мысли, и когда Lisp заставляет действовать привычным образом, мозги радуются этому. Ага-эффект! Возможно, если бы меня больше учили топологии, логике и абстрактной математике (а нас даже алгебре учили по книге «Прикладная абстрактная алгебра»), мне бы больше заходил Haskell.

двух имплементаций, МТИ CADR на базе ПЛИСа и Symbolics Genera в программном эмуляторе. Интерактивное программирование сетевого приложения на лиспе в среде Genera. Демонстрация уникальных возможностей среды, каким образом специфика языка Common Lisp помогает в системном программировании.
Автор долгое время занимался профессиональным программированием на языке Common Lisp, а сейчас помогает в сохранении материалов связанных с лисп машинами. В презентации будут использованы неопубликованные материалы архивной работы.
Также будет трансляция.

на сервере.

ложены на ресурсе MIT OpenCourseware, мне кажется они могут неплохо дополнять друг друга по ходу изучения материала. Чем же примечательна эта книга? Да хотя бы отзывами на Amazon :) Среди рецензентов есть такие личности как Peter Norvig и Paul Graham. К слову, сейчас у книги рейтинг 3.8 из 5, отчего некоторые известные личности недоумевают. А если серьёзно, то это фундаментальный классический труд в области программирования (ничем не хуже небезызвестной книги The Art of Programming от Д. Кнута, которую никто не читал). Единственным непонятным моментом для меня является факт преподавания курса программирования для новичков по этой книге. Представляю как можно напугать новоиспечённых студентов её содержимым. Интересно, есть ли в сети статистика по которой можно узнать много ли людей, посещавших этот «адский» курс, предпочли в дальнейшем поменять свой major :) Если бы организаторы Code.org пропагандировали программирование по этой книге, получился бы знатный epic fail. Итак, по-моему мнению, книга явно не для новичков в программировании, так как концепции в ней сложны для восприятия людьми «не нюхавшими пороху», более того, понадобится недюжинный запас мотивации и терпения, так как упражнения после каждой секции сложны и требуют от читателя изрядно «попотеть». Но награда стоит того. Я прочитал лишь первую главу этой книги (их всего 5), проработал часть упражнений и, признаюсь, почувствовал как стал лучше разбираться в некоторых вещах (обрёл какой-никакой фундамент). ═══════════════════ Скачать в telegram: ═══════════════════ СИКП — не книга про языки программирования или разработку программного обеспечения, не книга по ООП, функциональному программированию или паттернам проектирования. СИКП — книга об информатике (computer science). Восприятии компьютеров как абстрактных машин, используемых для манипулирования данными. Несмотря на то, что книга впервые опубликована в 1979, она до сих пор не потеряла свою актуальность и не потеряет в будущем. СИКП неизменно находится в топе лучших книг по обучению программированию на протяжении десятков лет. Стоит ли её читать? Однозначно стоит всем разработчикам на любых языках программирования с любым опытом. СИКП — достаточно сложная книга, поэтому появилось руководство, которое вы прямо сейчас читаете. ═══════════════════ Очень краткое содержание ═══════════════════ Абстракция с помощью функций Элементы программ Выражения Вычислительные стратегии Подстановочная модель вычислений Функции и процессы порождаемые ими Линейная рекурсия и итерация Древовидная рекурсия Функции высшего порядка Функции как аргументы Функции как обобщения Функции как возвращаемые значения Абстракция с помощью данных Введение в абстракцию данных Барьеры абстракции Что такое данные? Иерархические данные и свойство замыкания Представление последовательностей Иерархические структуры Последовательности как стандартные интерфейсы Символьные данные Цитирование Множественные представления абстрактных данных Тегирование данных Программирование управляемое данными. Аддитивность. Модульность, Объекты и Состояние Присваивание и локальное состояние Преимущества присваивания Недостатки присваивания Модель с окружениями Правила вычисления Применение Фреймы как репозитории локального состояния Моделирование с изменяемыми данными Изменяемый список Представление очереди Представление таблиц Многозадачность Потоки Метаязыковые абстракции … Вычисление с помощью регистровых машин … ═══════════════════ Рекомендации ═══════════════════ Первое, что нужно понимать: СИКП — не просто книга. Это университетский курс, записанный в виде книги. Он сложный и объёмный, его бесполезно проходить без практики. Практику придумывать не придётся. После каждой главы есть блок задач, которые авторы просят выполнить. Некоторые из них сугубо математичесские (просят что-то доказать), либо подразумевают хорошую математическую базу. Их можно и даже нужно пропускать, иначе вы можете очень быстро потерять мотивацию. ═══════════════════ Сколько читать ═══════════════════ СИКП условно можно разделить на две части. В первую часть входят главы 1, 2 и 3. Во вторую — 4 и 5. Разница в том, что во вторую часть входят главы, копающие очень глубоко, и пройти сквозь них может только по-настоящему увлеченный человек. По этой причине Хекслет рекомендует поставить себе планкой прохождение первых трех глав. Остальное можно с легкостью отложить на потом. ═══════════════════ Язык ═══════════════════ Для примеров и практики в книге используется язык Scheme (Ским), созданный авторами курса. Это один из диалектов семейства Lisp. Как и полагается любому Lisp-языку, Scheme имеет примитивный синтаксис, который можно изучить буквально за несколько часов. Он очень необычен для тех, кто имел дело только с широко распространенными языками, но обладает рядом серьезных достоинств, о которых говорится в книге. Его выбор, в качестве основного языка для курса обоснован тем, что Scheme позволяет сосредоточиться на сути вещей вместо синтаксиса, увидеть чистые концепции в первозданном виде. Scheme как и любой Лисп, обладает невероятно высокой выразительностью благодаря тому, что в языке всё есть выражение, а инструкции отсутствуют вообще. Вторая причина — гомоиконность. Свойство языков, в которых данные и код — одно и тоже. Этот тезис сложно понять на словах, его нужно прочувствовать на практике. Есть еще и третья причина — макросы, но они в книге не используются. Однако, сам Scheme не развивается и уже не актуален. Его заменил язык Racket, который изначально был реализацией языка Scheme, но вырос во что-то большее. Другими словами, на базовом уровне Scheme и Racket выглядят идентично, что крайне удобно при прохождении СИКП. Хекслет рекомендует проходить СИКП именно на Racket. Специально для этого гайда мы подготовили репозиторий, который можно использовать как основу для кода. Не забудьте правильно настроить редактор. Lisp языки относятся к тем языкам, для которых нужна поддержка со стороны редактора для комфортной работы. ═══════════════════ Оформление ═══════════════════ На Гитхабе можно найти множество репозиториев, в которых лежат решения задач из СИКП на всех возможных языках программирования. Мы настоятельно рекомендуем поступать также: создать репозиторий в своем аккаунте и выкладывать в него все свои решения. Идеально, если каждое решение будет сопровождаться тестами. Такой подход хорош не только тем, что вы дополнительно прокачиваетесь в git и получаете дополнительную мотивацию, но и тем, что у вас появляется код, который можно показать при поиске работы. Более того, велика вероятность, что собеседовать вас будет человек, знающий про СИКП. Это добавит очков в карму и даст возможность продуктивно пообщаться. #теория@physics_math #программирование@physics_math #архитектура@physics_math

ill not response to issues or pull requests on GitHub. Until GitHub show some respect to freedom of users on these issues:
No other nonfree software is required to use the site (thus, no Flash).
Does not discriminate against classes of users, or against any country.
The maintenance repo will be these two:
GNU official repo
Accepts patches and issues on mailing-list artanis@gnu.org
GitLab repo
Accepts issues and pull requests.
For historical reasons, GNU Artanis will maintain the site with gh-pages on GitHub since the pages service on GitLab is very different so I can't just move it simply.
Before we have a better/modern Savannah, we have to endure this situation.
»

можете запустить Fennel!
Пример:
(local dirs {:up [0 -1] :down [0 1] :left [-1 0] :right [1 0]})
(each [key delta (pairs dirs)]
(when (love.keyboard.isDown key)
(let [
[dx dy] delta
[px py] player
x (+ px (* dx player.speed dt))
y (+ py (* dy player.speed dt))]
(: world :move player x y))))

твенные работы, музыку и звуковые эффекты, если они имеют свободную лицензию. Но вы должны раскрывать то, что вы использовали, и давать ссылки на авторов там, где это необходимо. — Вы можете разработать свой собственный движок, инструменты и ресурсы общего назначения, до начала Джэма. Таким образом, вы можете начать с логики игры и соединить кусочки. Если вы выберете этот метод, попробуйте показать, что логика игры не работала до начала джэма, если вы хотите получить хорошую оценку. — Вы можете даже использовать существующую игру как основу, на которой можно опираться. Этот метод рекомендуется для новичков. Если вы выберете этот метод, сделайте попытку существенно изменить код, если хотите получить хорошую оценку. Вы также должны указать, что вы изменили.

пользует библиотеку для доказательства теорем Z3 ()

н не масштабируется для больших проектов. Создание, редактирование и управление большим количеством объектов и скриптов, с соответствующим количеством подключений и взаимосвязей между ними, через графический интерфейс становится почти невозможным.
Как уже отметили другие разработчики Unity, текстовая система конфигурации упрощает автоматизацию, настройку и управление ресурсами. Текстовые файлы предпочтительнее для совместной разработки, когда несколько разработчиков поддерживают текущее состояние проекта, используя систему контроля версий. Система, описанная в этой статье, выходит за рамки обычной текстовой конфигурации JSON или XML, добавляя в текстовые файлы сценарии, а также информацию о поведении персонажей. Используя LISP для этих текстовых файлов, мы позволяем объектам реализовывать поведение, без необходимости создавать иерархии сложных типов на более статичном языке.

ограммисты могли писать семантические программы, с синтаксисом и парадигмами, соответствующими классическим соглашениям lisp, сохраняя при этом отображение структур базы данных. #lang racket
(require »../lib/sql-sourcery.rkt»)
(sourcery-db «simple-example-1.db»)
(sourcery-struct user [(name STRING) (grade INTEGER)])
(define original-users (sourcery-load user))
(define new-users (list (user-create «Matthias» 1) (user-create «Ben L» 0)))
(define users (append new-users original-users))
(define (is-passing? u) (> (user-grade u) 0))
(define (up-grade u) (user-update u (user-name u) (+ 1 (user-grade u))))
(define failures (filter (λ (u) (not (is-passing? u))) users))
(define winners (sourcery-filter-delete is-passing? users))
(map up-grade winners)

ies and packages such as the google parser to form structured data based on our proprietary model (similar to semantic networks)
Build data structures and algorithms to acquire new information and relate it to existing ontologies (it learns how to learn)
Work with computational linguist to build up knowledge bases and further define knowledge representation
Develop persistence model (using database and object serialization)
Implementation of logical reasoning based on abductive, inductive and deductive reasoning models
Design and develop interactive learning interface
Optimizing existing code base
BASIC QUALIFICATIONS
BS in Computer Science or equivalent.
3+ years experience in Lisp programming (5+ years programming), working in structured systems and/or software development teams (Common Lisp, LispWorks preferred)
Thorough understanding of Lisp paradigms (eg, functional & object oriented)
Familiarity with common software architectures, design patterns, and software development life cycles
PREFERRED QUALIFICATIONS
Experience with persistence (database & object serialization)
Experience with GOFAI.
Familiarity with formal logic.
Working with ontologies and taxonomies
Static and/or Dynamic Analysis
Dynamic analysis, program instrumentation, and profiling

чное программирование DSL выполняется сегодня на разовой основе и довольно громоздко…»

cquel)
Осправка HTTP запросов (http)
Кэширование с memcached (memcached)
Миграции БД — Phinx
Racket и Docker
CRUD HTTP API
Деплой Racket за прокси-серверов Стоит это дело $39. Вот бы издать на русском!
Также, автор ведёт блог на эту тему:

e
Многое мне показалось уникальным, я попросил его выложить на github часть кода, для удобства взаимодействия: До сих пор не знаю, кто это делает — личной информации на сайте минимум. Зато, там есть масса любопытных систематизированных заметок на всевозможные темы, вплоть до философии минимализма (), идей развития в будущем (), или даже — способов чистить апельсин ().
Рекомендую.

я создания DSL в системе управления чат-ботами, и часто можно увидеть детей, учащихся программированию в Scratch, работающем на устаревшем Flash… Теперь для этих целей лучше рассмотреть Snap!

ков того времени, было отсутствие именования аргументов функций, как в комбинаторной логике. Бэкус хотел разработать настоящее исчисление программ, так, чтобы можно было доказывать их эквивалентность, поэтому удаление из языка локальных переменных — это плата за простоту этих самых аксиом преобразования программ. В интервью (ссылка ниже) Бэкус признает, что FP оказался неудачей, т.к. ему не удалось совместить функциональный стиль с вводом-выводом. Множество ученых ломали голову над этим, были явно неудачные решения типа монад, но мне кажется, проблема решается одной из реализаций FRP — библиотекой universe среды Racket. Язык Бэкуса лучше всего гуглить как Backus' FP.

ров и своем участии в становлении интернета (именно он изобрел понятие «гипертекст»). Особенно я бы отметил его лекцию о биткоине, что, конечно, удивительно, учитывая возраст Нельсона. Интересный момент, который меня задел, когда я прослушивал его серию «Computers for Cynics» — он считает, раз компьютеры созданы людьми, то все это произвольно (made-up) и нет никакого закона или правила высокого порядка, на основе которого было бы правильно построить компьютер. Все, как говорит Нельсон, сводится к решениям конкретных людей. Как лиспера, меня такая мысль не устраивает, ведь я верю в то, что Джон Маккарти именно открыл Лисп, а не изобрел его или выдумал. Также я верю, что все последующее продвижение в этой области находится в рамках аттрактора заданного самой природой Лиспа, а не Маккарти. Да, такой взгляд на вещи похож на попытки типа тех, предпринятых Тейяр де Шарденом и другими, соединить естественную эволюцию с религией, когда эволюция — это лишь средство для достижения вершины — человека.

чистом функциональном стиле без всяких монад-шмонад, как выразился сам Маттиас. Про universe можно почитать в книгах «How to Design Programs» и «Realm of Racket». Последнюю я запиратил для вас в приложении к посту.

ический синтаксис, который обфусцировав концепцию AST отодвинул ее на advanced level обочину программирования.

побуждается сделать гигантский скачек, скачек на 25 лет назад! Парадоксально, но факт, мы перемещаемся в точку, где мы были 25 лет назад. Снова, арифметика слишком медленная или память слишком мала; машины снова имеют хаотические, несистематизированные инструкции, на дизайн которых больше повлияли соображения технологий компьютерного железа, чем вопрос сможет ли мудрый программист ими воспользоваться. Недавно кто-то показал мне номер одного ежемесячного журнала для любителей микропроцессоров и, скажу я вам, это был шок увидеть возрождение всех наших прошлых ошибок. Это было ужасающе, это вызывало уныние, это было отвратительно, и я надеюсь никогда больше не увидеть такой журнал снова.»

нтеллекта нужен выразительный язык с широкой палитрой средств символьных вычислений. Но, очевидно, такое же требование можно предъявлять и к любому языку общего назначения. Logo — широко известный язык для обучения детей программированию. Черепашка и все такое… Тем не менее есть люди, несогласные с такой трактовкой нишевости Logo. Среди них Brian Harvey, написавший книгу «Computer Science Logo Style», в которой показано, что Logo — диалект Лиспа с сопоставимой с ним мощностью в области символических вычислений. Интересно, что черепашка появилась в Logo как позднее дополнение и, как любой вид свистелок и перделок, оттянуло внимание общественности от других достоинств Logo. Я и сам не воспринимал его всерьез, пока не обратил внимание на книжку Harvey.

полностью понять. Сложность — это признак недостаточного осознания. Хоар отмечает, что надежный язык должен быть рекурсивен по своей природе (тут можно вспомнить eval Джона Маккарти, хотя в тексте статьи про Lisp ни слова). Если человечество хочет обезопасить мир от техногенных катастроф произошедших из-за сбоев в ПО, необходимо разрабатывать надежные, а следовательно, простые языки программирования. К сожалению, даже столь выдающийся человек чувствует свою беспомощность перед IT-индустрией в ее стремлении усложнять (которое является простым следствием обскурантизма):
«Вначале я надеялся, что такой дефектный проект [PL/I] провалится, но вскоре я осознал, что он был приговорен к успеху. Почти все в IT-индустрии может быть реализовано, продано, и даже использовано, если есть достаточно решимости. Простой ученый не может ничего сказать, что сможет противостоять потоку в 100 миллионов долларов. Но есть одно качество, которое не может быть куплено таким образом — и это надежность. Цена надежности — стремление к крайней простоте. Это та цена, которую очень богатому сложнее всего заплатить.»

в еще и тем, что в сопоставлении с образцом не возникает проблем, когда в опциональный агрумент передано значение, но оно совпадает с дефолтным. К посту прикреплена одна из первых работ, посвященных связи сопоставления с образцом и процедур с опциональными аргументами. Пример на Racket:

ледующие редукции станут невозможными. Говорят, что выражения, над которыми невозможно больше произвести редукции (или редукции не изменяют выражение) находятся в нормальной форме. Концепция нормальной формы связана с тем фактом, что лямбда-исчисление не является алгоритмическим языком, а «формальной системой», что и отражено термином «исчисление». Тот, кто производит редукции может выбрать их порядок по своему усмотрению. Можно ли идею нормальной формы и редукций перенести в Лисп? Такие попытки были, но можно ли их назвать удачными (смотри операцию hold в Mathematica)? В самом деле, выражение (list '+ 2 3) возвращает список, который может быть интерпретирован в свою очередь как комбинация. В Лиспе делается только одни шаг вычислений и в этом заключается принципиальное различие идеи редукций от вычисления форм.

SP».
Обратите внимание, что в книге John Allen допустил ту же ошибку, что и McCarthy в процедуре evcond (отсутствие терминальной ветви). Задача для пытливых умов: добавить в интерпретатор процедуру list.

жка эта во многом устарела. Примечательно с каким презрением Вейценбаум отзывается о хакерах в главе «Наука и одержимый программист», сравнивая их с патологическими игроками. До превращения в унылого морализатора, Вейценбаум написал не только первый чат-бот, но и статью «The FUNARG Problem Explained», в которой проблема funarg была продемонстрирована при помощи красивой графической нотации окружений.

идно. Считается, что современные динамические языки эволюционируют в сторону Лиспа. Возможно, но все эти шероховатости нужно еще шлифовать и шлифовать, прежде чем получится что-то похожее на Lisp, который был открыт более пятидесяти лет назад. Казалось бы, почти все ингредиенты уже есть в Python (и Ruby), но приготовлены они людьми, которые не знают о существовании кулинарной книги. Почему, например, eval в Python вычисляет строки, а не AST? И так извращен каждый ингредиент…

ов скобок? Внимание вновь концентрируется на деталях. Поэтому, различные типы скобок — глупость. Но что делать в тех случаях, когда помощь редактора недоступна, например, в книге или на учебной доске? В старых диалектах (INTERLISP, например) была такая фича — супер скобки. Последние закрывают или все открытые скобки или все до последней открывающей супер скобки. В CL такой фичи нет (и не надо), но в некоторых случаях к ней стоит прибегнуть.

перации и битовые сдвиги (стр. 23):
«Считается, что программист не обязан знать вид представления чисел в машине, и вследствие этого в языке, видимо, ему будет запрещено использование логических функций от численных данных, так что он будет вынужден для определения четности прибегать к крайне неэффективной проверке равенства удвоенной целой части половины числа и самого числа! Одним из решений этой проблемы, является включение в множество определенных системой функции odd(n), реализуемой по-разному на разных машинах. Однако потребуется значительное время, прежде чем мы окончательно выявим все те процессы, эффективность которых настолько зависит от системы, что их следует определять именно таким образом.»

модель используется для моделирования функций. По факту, современный ПК — это машина, непрерывно взаимодействующая с окружением, тогда как Тьюринг описал машину, отключенную от внешнего мира до момента останова. Интересно, связано ли это заблуждение с радикальным функциональным программированием, которое пытается объявить изменяемое состояние вне закона и тем самым упростить теорию? В лямбда-исчислении порядок редукций не важен, если у терма есть нормальная форма, но, очевидно, результат важнее процесса — это формула алгоритмических систем, а не компьютеров вообще. Так что вовне контекста теории алгоритмов теорема Чёрча-Россера не имеет оснований.

ия Lisp на SECD машине хорошо разобрана в книге Хендерсон «Функциональное программирование. Применение и реализация». Хотя в учебных целях SECD машина все еще заслуживает внимания, т.к. позволяет визуализировать процесс вычислений, современный подход к реализации языков программирования основан на CPS-преобразовании.

Lisp снова и снова и снова, и мы точно так же уверены, что после начального периода увлечения они будут отбрасывать его. (Возможно, этот процесс следует рассматривать в качестве обряда перехода в Lisp хакеры.)»
Есть основания полагать, что этот обряд перехода первооткрыватель Лиспа, John McCarthy, прошел не до конца. Начав с M-выражений, McCarthy перешел к S-выражениям, но так и не оставил идеи двухуровневого синтаксиса (M-выражения для программиста и S-выражения для внутреннего представления).

irrelevant to programming languages at their present stage of development». В настоящее время этот принцип осознается в основном только в Lisp-сообществе, за пределами которого обсуждение языков программирования часто сводится к обсуждению синтаксиса. И самое печальное, что сложный для восприятия синтаксис — основной мотив критики и отвержения Лиспа.