Получил следующее play :: (Coord, Coord) -> Coord -> IO () play area loc = nextWindow <$> new_area >>= print >> (join $ play <$> new_area <*> new_coord) where new_area = (nextArea loc area) <$> getLine new_coord = nextWindow <$> new_area Однако, работает не корректно, первый вызво функции корректен, а потом как-будто getLine работает раз через два

попробуй рассахарить сначала стандартным способом

спасибо, попробую, а случайно нет некаких особенностей с join в IO-монаде? эффекты вложенной монады выполняются?

хотя похоже что да - я пробовал менять getLine на return "some string" и функция ожидамо бесконечно печатала

putStrLn $ (show new_coord) = print new_coord. Кстати, лучше бы newCoord.

да, я вспомнил про print уже когда операторную версию писал

спасибо, попробую, а случайно нет некаких особенностей с join в IO-монаде? эффекты вложенной монады выполняются?

нет особенностей. да, выполняются

@extlife будет жить. Поприветствуем!

Vasiliy N будет жить. Поприветствуем!

интересно сколько иностранцев банит терминатор

50%, наверное

50%, наверное

Не забывайте о тех, кто просто не нажимает. Так что ~ 25%

там разве счётчика нету?

типа отвечай у тебя только минута

Есть

Не все успевают перевести

Наверное

Народ, подскажите по докеру

FROM haskell:7.10 RUN cabal update # Add .cabal file ADD ./cabal-example.cabal /opt/server/cabal-example.cabal # Docker will cache this command as a layer, freeing us up to # modify source code without re-installing dependencies RUN cd /opt/server && cabal install --only-dependencies -j4 # Add and Install Application Code ADD ./src /opt/server/src ADD ./LICENSE /opt/server/LICENSE RUN cd /opt/server && cabal install # Add installed cabal executables to PATH ENV PATH /root/.cabal/bin:$PATH # Default Command for Container WORKDIR /opt/server/ CMD ["cabal-example"]

Это мой докерфайл.

Контейнер собирается, но

$ docker run -p 3000:3000 cabal-example Unable to find image 'cabal-example:latest' locally

docker build … -t cabal-example

это все проходит успешно

Я про то, что надо тег поставить

спасибо)

заработало

@GlazedCurd будет жить. Поприветствуем!

@IvanovPvl будет жить. Поприветствуем!

Теперь бьюсь с деплоем приложения на heroku

## docker build . -t cabal-example ## docker run -p 80:80 cabal-example ## heroku container:login ## heroku create ## heroku container:push web --app ${YOUR_APP_NAME} ## heroku open --app ${YOUR_APP_NAME}

Все проходит без ошибок, но

в результате вижу типовую их стартовую страницу

А не то, что вижу на localhost

работаю только с 80 портом

на каком порту приложение принимает соединение?

https://devcenter.heroku.com/articles/container-registry-and-runtime#dockerfile-commands-and-runtime

должен быть тот, который установлен в переменной PORT

добавил в Config vars переменную PORT со значением 80. Не помогает

попробую добавить в Dockerfile EXPOSE 80

Хотя в докере и так работает, проблема в Heroku

нельзя задать значение этой переменной, она передается окружением heroku, ее значение нужно использовать для запуска веб-сервера на нужно порту

пробую ENV PORT 80 в докерфайл

мда. у тебя должна быть команда задана в докерфайле для запуска приложение, что-то вроде RUN myapp, в самом приложении нужно взять порт из переменной окружения, на нем начать принимать соединения. Вроде бы ничего сложного, можно поискать примеры

не RUN, а CMD только, перепутал

@sushilshik будет жить. Поприветствуем!

Само приложение там пока хэлловорлд

{-# LANGUAGE OverloadedStrings #-} module Main where import Network.HTTP.Types import Network.Wai import Network.Wai.Handler.Warp (run) app :: Application app _ respond = do putStrLn "I've done some IO here" respond $ responseLBS status200 [("Content-Type", "text/plain")] "Hello, Web!" main :: IO () main = do putStrLn "http://localhost:80/" run 80 app

успешно запускается командой

docker run -p 80:80 cabal-example

на localhost

осталось добавить что-то вроде port <- getEnv "PORT" перед run ... app, а многоточие заменить на каст port к Integer

cabal-example: PORT: getEnv: does not exist (no environment variable)

хотя возможно это из System.Posix.Env

но вроде нигде в мануалах не упомянуты пляски с бубном и получение порта

1) это не пляски с бубном 2) я выше скинул ссылку на доку 3) сама идея брать порт из переменной окружения все-таки специфична для хероку, это так. Но в этом нет никакой проблемы

cabal-example: PORT: getEnv: does not exist (no environment variable)

docker run -p 80:80 -e PORT=80 cabal-example

теперь нужно будет самому тоже передавать переменную

так это работает

не работает только в Heroku

нужно проверить как переменную считывать, тут целый чят экспертов, пусть подскажут

да, возможно heroku перенаправляет с 80 порта на другой, и проблема из-за этого

прошло

{-# LANGUAGE OverloadedStrings #-} module Main where import Network.HTTP.Types import Network.Wai import Network.Wai.Handler.Warp (run) --import Data.Maybe import System.Environment (getEnv) app :: Application app _ respond = do putStrLn "I've done some IO here" respond $ responseLBS status200 [("Content-Type", "text/plain")] "Hello, Web!" main :: IO () main = do port <- read <$> getEnv "PORT" run port app

спасибо за правильную ссылку

Ilya Rusin будет жить. Поприветствуем!

Люди, вы практикуете TDD? Возникла мысль сделать вебсайт, где есть два вида участников - одни выкладывают запросы на написание pure функций, другие пишут эти функции. Первые делают аплоад файла .cabal и тестов, устанавливают ограничения по количеству строк. Вторые пишут решения, бэкенд прогоняет решения по тестам, проверяет ограничение по количеству строк, в случае успеха тестов моментальная выплата криптой

Идея слишком масштабная чтоб реализовать на коленке. Интересно, востребованно ли оно будет?

type driven development?

TEST DRIVEN DEV-T

Люди, вы практикуете TDD? Возникла мысль сделать вебсайт, где есть два вида участников - одни выкладывают запросы на написание pure функций, другие пишут эти функции. Первые делают аплоад файла .cabal и тестов, устанавливают ограничения по количеству строк. Вторые пишут решения, бэкенд прогоняет решения по тестам, проверяет ограничение по количеству строк, в случае успеха тестов моментальная выплата криптой

Если человек может составить грамотный тест, то он и код написать сможет

:vanga: Твой сайт будут в основном использовать для домашних заданий, потому что он идеально для этого подходит (тесты уже даны)

Зачем тут две стороны тогда

:vanga: Твой сайт будут в основном использовать для домашних заданий, потому что он идеально для этого подходит (тесты уже даны)

Я так понимаю, речь про бизнес

я не очень вижу большого смысла в сервисе в такой постановке

А бизнес его использовать не будет, потому что если даже мне надо написать парсер регекспов для проекта, я его не буду просить сделать на сайте, где основной контингент -- нерадивые студенты

взлететь может если убрать чистоту и иметь DSL для написания интеграционных тестов

:vanga: Твой сайт будут в основном использовать для домашних заданий, потому что он идеально для этого подходит (тесты уже даны)

Отнюдь, школьников надо тогда учить писать тесты. Это нетривиальный скилл