Wednesday, October 6, 2010

Verbose show and the missing preprocessor

Verbose show

Say we want a function vshow which describes an expression before showing its value. For example:

vshow (2 + 3)          = "2 + 3 = 5"
vshow (product [1..5]) = "product [1..5] = 120"

Clearly vshow can't be an ordinary Haskell function. We just don't have that kind of runtime access to program source.

All sorts of workarounds come to mind: simple-reflect, feeding strings to hint, Template Haskell… But it's hard to beat the simplicity of the humble C preprocessor:

{-# LANGUAGE CPP #-}
{-# OPTIONS_GHC -pgmP cpp #-}

#define vshow(e) (#e ++ " = " ++ show (e))

main :: IO ()
main = do
putStrLn vshow(2 + 3)
putStrLn vshow(product [1..5])

GHC's built-in CPP can't handle the stringify operator, so we invoke the "real" C preprocessor with -pgmP cpp. Testing it:

$ runhaskell vshow.hs
2 + 3 = 5
product [1..5] = 120

Like the other solutions I mentioned, this has its drawbacks. vshow isn't a first-class function, and we have to use C rather than Haskell function-call syntax. It's not terribly flexible, but it is one line of reasonably clear code, and I can think of a few small use cases.

The missing preprocessor

Besides sharing a cute little trick, I wanted to start a conversation about text-level preprocessors for Haskell. CPP is used throughout the standard library for conditional compilation, boilerplate class instances, etc. At the same time, it's quite limited, and not a good syntactic fit for Haskell.

Template Haskell is at the opposite end of the power/complexity spectrum. It might be what you want for programmatically generating complicated abstract syntax trees. It's not a good fit for simply "copy-pasting" some text into a few locations. For those tasks we shy away from the enormous complexity of TH. We use CPP or, well, copy-paste. The latter is not acceptable for a language that's advertising such a high level of abstraction. We may write less boilerplate than in Java or C++, but it still gets on the nerves.

I think there's an unfilled niche for lightweight text-level preprocessing, with just a bit more flexibility than CPP. GHC makes it easy to plug in any preprocessor you like, using -F -pgmF. We can start experimenting today.

m4 is a powerful and venerable preprocessor. It comes with most UNIX systems and has an open-source implementation. Yet I've not seen any Haskell project use it for Haskell source. Has anyone used m4 in this role?

I found an old paper (.ps.gz) with some proposals. Anyone have comments?

There's a number of preprocessors for implementing specific language features, including arrows, indexed monads, C bindings, and Conor McBride's intriguing Strathclyde Haskell Enhancement. The package preprocessor-tools seems to be a framework for writing this sort of preprocessor.

So what have you used for preprocessing? What features would you like to see? What design philosophy?

4 comments:

  1. Take a look at Racket's 'macro' system. It's an API for the front-end and you'll find it helps you with a lot more than the simple example above.

    Oh and Racket does come with a lazy dialect, and perhaps one day with typed/lazy.

    -- Matthias

    ReplyDelete
  2. Liskell?

    http://www.liskell.org/fifteen-minute-tour

    ReplyDelete
  3. شركة تنظيف بمكة
    وداعا منذ اليوم إلى الملل من عمليات التنظيف حيث أن شركة تنظيف بمكة تعمل على التخلص من كل الأتربة والأوساخ خلال مدة قصيرة من الزمن حيث أن لدينا فريق كبير مدرب على تنظيف كل مكان في المنزل وأيضا تتوافر خدماتنا لكل من الأبنية الحكومية وشركات القطاعات الخاصة والمستشفيات غير المساجد والمدارس والفلل والقصور وغيرها من العقارات المختلفة .
    تنظيف كنب - تنظيف مجالس - تنظيف سجاد - تنظيف موكيت - تنظيف أرضيات وحوائط وأبواب - تنظيف ستائر – تنظيف شقق - تنظيف واجهات المنازل والفلل والمحلات والقصور .
    https://alhudaksa.com/house-clearance/
    شركة تنظيف خزانات بمكة
    تركيب الخزانات يعتبر من الأمور الهامة التي يجب أن يراعيها العميل حيث أنها تنتج نوع من الرواسب التي لا يمكن إزالتها بسهولة وتتسبب في تلوث المياه ومن خلال شركة تنظيف خزانات بمكة سوف نعمل على إصلاح تلك المشكلة في الحال .
    https://alhudaksa.com/cleaning-tanks/

    ReplyDelete
  4. شركة نقل عفش بمكة
    لا تعب وإرهاق بعد اليوم عند نقل العفش حيث انه يتواجد في الجوار شركة نقل عفش بمكة فكلنا على علم تام أن عملية نقل العفش تتطلب نوع خاص من المهارات ووقت كبير جدا حيث أنه في بعض الأحيان تصل مدة نقل الأثاث والعفش إلى أسابيع عندما لا يكون هناك عمالة متخصصة في عملية النقل .
    https://elmamlaka.com/%D8%B4%D8%B1%D9%83%D8%A9-%D9%86%D9%82%D9%84-%D8%B9%D9%81%D8%B4-%D8%A8%D9%85%D9%83%D8%A9/
    شركة تنظيف خزانات بمكة
    عزيزي العميل حتى تحافظ على صحتك فهي أمانة ولا يمكن أن يتم تعويضها يجب أن تراعي مصدر المأكل والمشرب ومن أهم ما يمكن أن ينقل الأوبئة هي خزانات المياه التي تتواجد في أعلى كل منزل أو في الأماكن الأرضية وبالطبع يجب ان يقوم العميل بعملية تنظيف دورية للخزان من شركة تنظيف خزانات بمكة حتى يتم التخلص من :-
    - الشوائب العادية التي تتكون نتيجة إلى سوء الاستخدام وعدم غلق فوهة الخزان جيدا.
    https://elmamlaka.com/%D8%B4%D8%B1%D9%83%D8%A9-%D8%AA%D9%86%D8%B8%D9%8A%D9%81-%D8%AE%D8%B2%D8%A7%D9%86%D8%A7%D8%AA-%D8%A8%D9%85%D9%83%D8%A9/
    شركة تنظيف بالبخار بالطائف
    تنظيف البخار من أكثر أنواع التنظيف المنتشر تلك الأيام حيث أنه يعمل على الحفاظ على القطعة التي يتم تنظيفها أي كان شكلها أو نوعية النسيج المصنوع منه ومن خلال شركة تنظيف بالبخار بالطائف سوف نوفر كل خدمات النظافة من كنب إلى موكيت وسجاد بالبخار فقط تواصل الآن وستحصل على العديد من المزايا .
    https://elmamlaka.com/%D8%B4%D8%B1%D9%83%D8%A9-%D8%AA%D9%86%D8%B8%D9%8A%D9%81-%D8%A8%D8%A7%D9%84%D8%A8%D8%AE%D8%A7%D8%B1-%D8%A8%D8%A7%D9%84%D8%B7%D8%A7%D8%A6%D9%81/
    شركة تنظيف بالبخار بجدة
    عزيزي العميل لو كنت تمتلك احد قطع المفروشات الغالية السعر وترغب في الحفاظ عليها من التلف لا يجب أن تتركها دون نظافة ومن خلال شركة تنظيف بالبخار بجدة سوف يتم التخلص من كل البقع فنحن نعمل على استخدام أنواع مختلفة من التنظيف .
    https://golden4clean.com/%D8%B4%D8%B1%D9%83%D8%A9-%D8%AA%D9%86%D8%B8%D9%8A%D9%81-%D8%A8%D8%A7%D9%84%D8%A8%D8%AE%D8%A7%D8%B1-%D8%A8%D8%AC%D8%AF%D8%A9/

    ReplyDelete