Рубрика «Scheme»
Schema-Guided Reasoning: как научить языковые модели последовательно рассуждать
2025-10-31 в 16:31, admin, рубрики: function calling, llm, Scheme, sgr, structured output, модели, системы, схемы
Великолепный Racket и практичный Typography стали возможны благодаря издательской системе под названием Pollen. Я создал Pollen с помощью языка программирования Racket. Racket является потомком Scheme, который, в свою очередь, является потомком Lisp.
Таким образом, хотя Racket - это не Lisp (в специфическом понимании Common Lisp), это Lisp (в смысле семейства языков). Его основные идеи — и основные достоинства — являются общими с Lisp. Поэтому говорить о Racket - значит говорить о Lisp.
Питер Норвиг: автор лучшего в мире учебника по ИИ
2024-04-29 в 9:00, admin, рубрики: Cyc, Deep Space 1, Franz, java, JScheme, LispWorks, Prolog, Remote Agent, ruvds_статьи, Scheme, вузы, ИИ, наса, парсер натуральных языков, Питер Норвиг, самовосстановление, учебник, фильм Сеть
Питер Норвиг (Peter Norvig) — выдающийся учёный, один из отцов современной ИИ-разработки. После сингулярности ИИ точно оставит его в живых в знак благодарности.
Норвиг не только хороший программист, но и теоретик программирования, учёный и преподаватель, в длинном резюме перечислено 58 статей, а количество цитирований на сегодняшний день составляет 78 830.
Основное признание Норвиг получил как автор учебника «Искусственный интеллект: современный подход», который в наше время считается самым популярным учебником по ИИ в вузах. Эта фундаментальная работа претерпела уже четыре переиздания.
Читать полностью »
А вы знаете, где сейчас используется Лисп?
2021-10-04 в 15:05, admin, рубрики: clojure, common lisp, functional programming, Racket, Scheme, Блог компании Typeable, Лисп, Программирование, ФП, функциональное программированиеВведение
Лисп — второй по старшинству из ныне живых высокоуровневых языков программирования (после Fortran) и первый функциональный язык. Он был разработан в 1958 году и сильно изменился с тех пор, породив множество диалектов и оказав значительное влияние на развитие других языков. На данный момент наиболее известные диалекты: Common Lisp, Scheme, Racket и Clojure.
Слева: Лисп-машина в музее MIT.
Справа: Лисп-машина Symbolics 3640, фото Michael L. Umbricht и Carl R. Friend (Retro-Computing Society of RI)
Лисп стал “первооткрывателем” многих идей, нашедших применение в современных языках программирования: древовидные структуры, динамическая типизация, функции высшего порядка и многое другое. В этом посте мы не будем углубляться во вклад Лиспа в теорию, а сосредоточимся на практической пользе.
Изначально Лисп предназначался для работ в области искусственного интеллекта, в частности как представление математической нотации для символьных вычислений. Но насколько широко диалекты Лиспа используются сейчас и в каких областях применяются?
Мы в Typeable любим и применяем функциональное программирование, а влияние Лиспа на функциональные языки всё ещё сильно, поэтому нам стало интересно разобраться в этом вопросе.
Как прорешать SICP: Отчёт о создании решебника для самого известного в мире задачника по программированию. Ботаны есть?
2021-02-14 в 14:15, admin, рубрики: emacs, org-mode, Scheme, SICP, введение в программирование, изучение языков, образование, обучение программированию, Программирование, тайм-менеджмент, управление проектами, управление разработкой, Учебный процесс в IT(Хабр-Статья представляет собой авторский перевод доклада, представленного автором на Scheme Workshop 2020, проводившегося в рамках Международной Конференции по Функциональному Программированию, 28 августа 2020 года)
Эта статья -- своего рода "отчёт" по самому большому проекту, который я сделал в своей жизни по собственной инициативе. Я сделал полное и всеобъемлющее решение всех задач из одной из самых извесных книг по программированию в мире "Структура и Интерпретация Компьютерных Программ" (Structure and Interpretation of Computer Programs -- SICP), за авторством Абельсона, Сассмана и Сассман.
Сколькими способами можно записать факториал на Scheme?
2019-01-19 в 11:22, admin, рубрики: haskell, Scheme, ненормальное программирование, Программирование, факториал, функциональное программированиеЗлые языки утверждают, что функциональные языки программирования — «языки для написания факториалов». Чаще всего так определяют язык Haskell, мы же начнем с того функционального языка, который сильно повлиял и на Haskell, и на подмножество средств для функционального программирования многих других языков — язык Scheme. По-крайней мере, map и for-each, filter и reduce, а так же apply и eval пришли в наши любимые языки программирования если не именно из Scheme, то в том числе и оттуда.
Рассмотрим некоторые возможные способы записи вычисления факториала. Заодно получится своеобразная ода языку программирования Scheme. Думаю, этот замечательный язык того вполне заслуживает.
У меня получилось 10 вариантов записи определений функций, которые можно свести к 3 основным способам вычисления: традиционному линейно-рекурсивному вычислительному процессу, итерации, генерации последовательности чисел с последующей сверткой умножением. Предлагаю рассмотреть эти варианты подробнее. Попутно мы рассмотрим: оптимизацию хвостовой рекурсии, функции высших порядков и метапрограммирование, отложенные вычисления, бесконечные списки, мемоизацию, способ создать статическую переменную в Scheme и гигиенические макросы.
Голосование по второй бета-версии Revised 7 Report on Algorithmic Language Scheme (Large Language)
2018-11-28 в 2:21, admin, рубрики: emacs, r7rs, r7rs-large, Scheme, Компиляторы, Программирование, стандарты, функциональное программирование
Открыто голосование по содержанию второй (из восьми) бета-редакции алгоритмического языка Scheme R7RS-large (Tangerine Edition), а также сбор предложений по третьей бета-редакции (Orange Edition).
Операция на сердце: как мы переписывали основной компонент DLP-системы
2018-08-07 в 8:07, admin, рубрики: clojure, dlp, dsl, Scheme, solar dozor, Анализ и проектирование систем, Блог компании Ростелеком-Solar, информационная безопасность, Управление продуктомПереписывание legacy-кода как поход к стоматологу – вроде, все понимают, что надо бы пойти, но все равно прокрастинируют и стараются оттянуть неизбежное, потому что знают: будет больно. В нашем случае дела обстояли еще хуже: нам надо было переписать ключевую часть системы, и в силу внешних обстоятельств мы не могли заменять старые куски кода на новые по частям, только все сразу и целиком. И все это в условиях нехватки времени, ресурсов и документации, но с требованием руководства, что в результате «операции» ни один заказчик не должен пострадать.
Под катом история о том, как мы переписали основной компонент продукта с 17-летней историей (!) со Scheme на Clojure, и все сразу заработало как надо (ну, почти :)).
Игры на Scheme(Lisp) в среде DrRacket
2017-06-18 в 15:47, admin, рубрики: drRacket, HtDP, htdw, Scheme, Программирование, создание игр, функциональное программированиеВ данной статье используется среда разработки DrRacket.
Для начала рассмотрим связь конечного автомата и игрового процесса.
Объект управления в игре можно представить в виде конечного автомата.
Рассмотрим программу, моделирующую светофор.
Этот пример был описан в предыдущей статье.
Переходом в другое устойчивое состояние является переключение сигнала светофора.
Диаграмму состояний можно изобразить в следующем виде.
Читать полностью »
Как проектировать программы (HtDP)
2017-05-16 в 16:24, admin, рубрики: drRacket, HtDP, Scheme, Программирование, функциональное программированиеВ учебнике HtDP, посвященному программированию на языке Scheme (Lisp) в среде drRacket, особое внимание уделяется вопросам, касающимся работы с изображениями и анимацией. Поводом написать данную статью послужили мои попытки разобрать примеры, изложенные в этом учебнике.
Читать полностью »