Прогоняем код на Haskell через собственный препроцессор

16 августа 2013

Я тут читаю «Happstack Crashcourse» и нашел в главе о шаблонизаторах упоминание одной интересной возможности GHC. Оказывается, в исходном коде можно указывать дополнительные ключи, которые будут переданы GHC при компиляции программы, в том числе ключи, позволяющие прогнать код через произвольный препроцессор.

Допустим, мы хотим захардкодить время компиляции программы. Или ее версию, или еще что-нибудь — не суть важно. Напишем небольшой скрипт на Perl:

#!/usr/bin/env perl

use strict;
use warnings;

my $localtime = localtime();
my ($fname, $input, $output) = @ARGV;

open my $fin, '<', $input or die $!;
open my $fout, '>', $output or die $!;

while(<$fin>) {
    s/__LOCALTIME__/$localtime/g;
    print $fout $_;
}

close $fin;
close $fout;

Сохраним его где-нибудь в $PATH с именем localtime_replace и скажем chmod u+x. Как видите, скрипт принимает три параметра — имя оригинального файла, имя входного файла и имя выходного файла. Скрипт открывает входной файл, заменяем в нем строки «__LOCALTIME__» на текущее время и сохраняет результат в выходном файле.

Затем создадим файл test.hs следующего содержания:

{-# OPTIONS_GHC -F -pgmF localtime_replace #-}

main = putStrLn "Localtime: __LOCALTIME__"

Директива OPTIONS_GHC позволяет указать ключи, которые будут переданы GHC при компиляции программы. Описание всех ключей можно найти в «The Glorious Glasgow Haskell Compilation System User’s Guide». Интересующие нас в данный момент ключи описаны в разделе 4.12.4. Флаг -F говорит заюзать препроцессор, а ключ -pgmF указывает программу, которую следует использовать в качестве препроцессора. Также имеется ключ -optF, позволяющий передать препроцессору дополнительные аргументы. Эти аргументы будут переданы после имени выходного файла.

Проверяем:

$ ghci test.hs
ghci> main
Localtime: Thu Aug 15 22:50:04 2013
ghci> :q

Препроцессинг открывает перед нами много новых возможностей. Например, он активно используется в шаблонизаторе HSP, позволяющем использовать синтаксис XML прямо в исходном коде на Haskell. Однако, в силу понятных причин, использовать препроцессинг нужно с большой осторожностью.

Дополнение: Мои первые эксперименты с Template Haskell

Метки: , .

Понравился пост? Узнайте, как можно поддержать развитие этого блога.

Также подпишитесь на RSS, ВКонтакте, Twitter или Telegram.