dmytrish (dmytrish) wrote,
dmytrish
dmytrish

implicit typing woes

Про implicit typing:

Писав на днях сервер на Happstack, а оскільки я тоді не додумався запускати ghci із :l Main.hs і дивитись типи обробників і таблиць маршрутизації (всі ці ServerPartT IO Response), то типові сигнатури я випускав, в результаті в мене вийшла програма на сотні три рядків практично без оголошень типів. Зручно? Можливо.

Але коли я в одному місці забув перед appendFile приписати liftIO, тайпчекер had gone wild: вирішивши, що тип серверних процедур це IO Response, він почав викидати абсурдні повідомлення про помилки на інших, коректних процедурах, не вказуючи на реальне джерело там, де був забутий liftIO.

Після цього я таки задумався, як з’ясувати дефолтний тип, який ховається за ServerMonad m, FilterMonad Response m, WebMonad та іншими констрейтами і написати явні типові анотації.
Tags: haskell, програмістське
Subscribe

  • Передсмертне булькання ЖиЖі

    У зв’язку з тим, що, судячи із стрічки, ЖЖ таки остаточно здихає (ура!), нагадую, що я є на dreamwidth (але не обіцяю там активної діяльності, за…

  • COMEFROM memory protection

    Недавно стукнула мені в голову одна ідейка щодо memory protection у операційних системах. Мабуть, я перевинайшов якийсь велосипед або в цій ідеї є…

  • Хроніки Євромайдану: 22-30 листопада

    Викладу свій архів фотографій Євромайдану. Постарався вибрати фото кращої якості, але деякі все одно досить розмиті (особливо нічні), перепрошую.…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your IP address will be recorded 

  • 1 comment