Andy Melnikov (nponeccop) wrote,
Andy Melnikov
nponeccop

N2O.hs/HNC

По N2O.hs:
- агр запилил UTF-8 в сообщениях тестового приложения-чатика (в юзернеймах пока недопилил)
- я запилил браузерный тест хеппи-пасса на casperjs/phantomjs

По HNC я не то чтобы совсем запилил, но начал запиливать генерацию термов Lean. Because I can. Заодно убедимся, что мой вывод типов выводит всё правильно. Ну, и в перспективе я хочу из Максимовых завтипистых exe/om через HN генерить С++. А они на Lean похожи, но в отличие от него пока на бумаге.

В процессе изучаю Travis Continuous Integration. Хаскеля 7.10 они поддержку никак не запилят. Баг есть с апреля 2015-го. В результате все "прыгают через хулахупы" разной степени упоротости.

В оригинале нужно было просто указать в travis.ci `language : haskell`, и оно бы всё заверте... Но на практике вот примеры (это мне коллекция для изучения, мож запилю с меньшим кол-вом прыжков через колечки):

- https://github.com/commercialhaskell/stack/blob/master/.travis.yml
- https://github.com/lwm/es-api/blob/master/.travis.yml
- https://github.com/ucsd-progsys/liquidhaskell/blob/master/.travis.yml

(Это не считая "де факто стандартного" метода от hvr, который я юзаю что в HNC, что в N2O.hs)
Tags: fp, programming
Subscribe

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 5 comments