Racket: Привет, Мир!
Racket — мультипарадигменный язык общего назначения, входящий в Lisp-семейство. Подчеркну, что Lisp — это не название конкретного языка, а обозначение группы языков, обладающих определёнными схожими свойствами. Racket, как и большинство других лиспоподобных языков, не является функциональным языком программирования. На нём можно писать как функционально, так и императивно.
Lisp-языков много, а первый появился в 1958 году. Его автором был Джон Маккарти — автор термина «искусственный интеллект», один из основоположников функционального программирования, лауреат премии Тьюринга за огромный вклад в область исследований искусственного интеллекта.
Кроме Racket, в современной разработке относительно популярны Clojure, ClojureScript, Common Lisp, различные варианты Scheme (читается "ским"). Интересный факт: редактор Emacs написан на собственном диалекте, который называется Emacs Lisp. И все программисты, использующие emacs, в какой-то степени являются Lisp-программистами.
Всё, что дальше будет говориться про Racket, почти всегда справедливо и для остальных Lisp-языков. Да и сам Racket очень похож на другие диалекты Scheme (да, Racket — тоже диалект Scheme). Этим фактом можно пользоваться при работе в https://repl.it, где нет Racket, но есть Scheme.
По традиции начнём знакомство с языком с написания программы "Hello, World!". Эта программа будет выводить на экран текст Hello, World!. Для вывода на экран в Racket используется функция displayln:
#lang racket
(displayln "Hello, World!")
В среде программистов на Lisp-языках традиционно говорят "процедура", а не "функция". Исторически, процедура — это блок кода, который не имеет возврата и, как правило, нужен исключительно для выполнения побочных эффектов. А под функцией понимают функцию в её математическом значении. Функция зависит от своих аргументов и вычисляет результат, который затем возвращается наружу. В некоторых языках, таких как Pascal, эти понятия разнесены на уровне синтаксиса и семантики. В большинстве же языков функциями называют в том числе процедуры. В документации Racket встречается и то и другое. Для простоты мы будем всегда говорить о функциях.
В примере выше есть строчка #lang racket, это так называемая "прагма". Прагма lang говорит компилятору, что данный файл — это модуль (о модулях мы поговорим позднее), написанный на языке racket. Дело в том, что Racket — это не только язык сам по себе, но ещё и платформа для создания других языков! Более того, в одном проекте можно использовать сразу несколько созданных в Racket языков. Именно поэтому нам нужно сообщать компилятору, на каком же языке мы писали код модуля.
Один из примеров "другого языка на базе Racket" — Scribble, язык для разметки документации, книг, статей. Программы на Scribble генерируют HTML и PDF (а также и другие форматы).
Racket требует указания прагмы #lang в каждом файле с исходным кодом (есть исключение, но это сейчас не важно), однако в нашей среде оная присутствует не всегда (по техническим причинам). Не забудьте про эту разницу, когда решите запускать Racket программы у себя на компьютере.
Задание
Наберите в редакторе код из задания символ в символ и нажмите «Проверить».
; я комментарий
(displayln "Hello, World!")
Упражнение не проходит проверку — что делать? 😶
Если вы зашли в тупик, то самое время задать вопрос в «Обсуждениях». Как правильно задать вопрос:
- Обязательно приложите вывод тестов, без него практически невозможно понять что не так, даже если вы покажете свой код. Программисты плохо исполняют код в голове, но по полученной ошибке почти всегда понятно, куда смотреть.
В моей среде код работает, а здесь нет 🤨
Тесты устроены таким образом, что они проверяют решение разными способами и на разных данных. Часто решение работает с одними входными данными, но не работает с другими. Чтобы разобраться с этим моментом, изучите вкладку «Тесты» и внимательно посмотрите на вывод ошибок, в котором есть подсказки.
Мой код отличается от решения учителя 🤔
Это нормально 🙆, в программировании одну задачу можно выполнить множеством способов. Если ваш код прошел проверку, то он соответствует условиям задачи.
В редких случаях бывает, что решение подогнано под тесты, но это видно сразу.
Прочитал урок — ничего не понятно 🙄
Создавать обучающие материалы, понятные для всех без исключения, довольно сложно. Мы очень стараемся, но всегда есть что улучшать. Если вы встретили материал, который вам непонятен, опишите проблему в «Обсуждениях». Идеально, если вы сформулируете непонятные моменты в виде вопросов. Обычно нам нужно несколько дней для внесения правок.
Кстати, вы тоже можете участвовать в улучшении курсов: внизу есть ссылка на исходный код уроков, который можно править прямо из браузера.
Полезное
repl.it - здесь вы можете экспериментировать с кодом на Racket.
Используйте готовый бойлерплейт для прохождения SICP на Racket
Посмотрите доклад Simple Made Easy