Опис послуги
ПерекладЯ розробник на Racket і Scheme та займаюся тим куточком світу Lisp, куди звичайні бекенд-інженери майже не заглядають: я створюю мови, а не просто користуюся готовими. Коли задача наполегливо вивертає ваш код загального призначення навиворіт, чесна відповідь часто звучить так — потрібна невеликої предметна мова під саму задачу. Саме її я проектую та реалізую. Пишу акуратні, добре структуровані функціональні програми, гігієнічні макроси, власні читачі та обчислювачі, а також той інструментарій, який перетворює сиру ідею в працюючий інтерпретатор, про який можна мислити.
Моя робота зазвичай розпадається на три форми. Перша — DSL та системи макросів: я використовую мовно-орієнтовані можливості Racket, щоб дати вашій команді нотацію під конкретну задачу, з перевірками синтаксису, зрозумілими повідомленнями про помилки та читачем, що відчувається рідним, а не прикріпленим збоку. Друга — інтерпретатори та невеликі компілятори: парсери, обчислювачі, обходники дерев та байткод-бекенди для форматів конфігурації, рушіїв правил, скриптових шарів та експериментальних мов. Третя — навчальні та дослідницькі інструменти: я неабиякий прихильник програм, які пояснюють самі себе, тому створюю візуалізатори, покрокові відладники, перевіряльники вправ та інтерактивні матеріали для тих, хто опановує функціональне програмування та лямбда-числення, що лежить в його основі.
Оскільки я виріс із сімейства Lisp, а не з мейнстрімного бекенду або роботи на Clojure, для мене особливо важливі коректність та вкрай мале ядро. Спираюся на контракти, властивісне орієнтоване тестування та малі складові функції, документую граматику та інваріанти, щоб наступна людина не мала потребу розбирати ваш парсер по шматочкам. Якщо у вас є напівробочий прототип, купа макросів, яку ніхто не наважується чіпати, або свіжа ідея малої мови — я доведу це від начерку до надійного результату.
— Предметні мови та гігієнічні макроси на Racket
— Інтерпретатори, обчислювачі та невеликі компілятори на Scheme
— Парсери, власні читачі та рушії правил
— Навчальні інструменти: покрокові відладники, візуалізатори, перевірка вправ
— Функціональний рефакторинг, контракти та властивісне орієнтовані тесты
— Перенос та модернізація старого коду на Scheme та Lisp
Моя робота зазвичай розпадається на три форми. Перша — DSL та системи макросів: я використовую мовно-орієнтовані можливості Racket, щоб дати вашій команді нотацію під конкретну задачу, з перевірками синтаксису, зрозумілими повідомленнями про помилки та читачем, що відчувається рідним, а не прикріпленим збоку. Друга — інтерпретатори та невеликі компілятори: парсери, обчислювачі, обходники дерев та байткод-бекенди для форматів конфігурації, рушіїв правил, скриптових шарів та експериментальних мов. Третя — навчальні та дослідницькі інструменти: я неабиякий прихильник програм, які пояснюють самі себе, тому створюю візуалізатори, покрокові відладники, перевіряльники вправ та інтерактивні матеріали для тих, хто опановує функціональне програмування та лямбда-числення, що лежить в його основі.
Оскільки я виріс із сімейства Lisp, а не з мейнстрімного бекенду або роботи на Clojure, для мене особливо важливі коректність та вкрай мале ядро. Спираюся на контракти, властивісне орієнтоване тестування та малі складові функції, документую граматику та інваріанти, щоб наступна людина не мала потребу розбирати ваш парсер по шматочкам. Якщо у вас є напівробочий прототип, купа макросів, яку ніхто не наважується чіпати, або свіжа ідея малої мови — я доведу це від начерку до надійного результату.
— Предметні мови та гігієнічні макроси на Racket
— Інтерпретатори, обчислювачі та невеликі компілятори на Scheme
— Парсери, власні читачі та рушії правил
— Навчальні інструменти: покрокові відладники, візуалізатори, перевірка вправ
— Функціональний рефакторинг, контракти та властивісне орієнтовані тесты
— Перенос та модернізація старого коду на Scheme та Lisp
