Categories: Функциональное программирование

haskell-preprocessing/

Я тут читаю «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

admin