ruHaskell/forall

Общаемся про Haskell и вокруг него. Для других тем открыты отдельные каналы.

Gleb Popov

@arrowd

Ну да. Мне это видится корявым.

Ну офигенная же монадка получилась бы, если бы джойн сам ждал.

Yuriy Syrovetskiy

@cblp

чем IO не подходит?

EugineKosenko

@EugineKosenko

Привет! У кого-то есть опыт работы с пакетом gnuplot?

import Graphics.Gnuplot.Simple

main :: IO ()
main = do
  plotFunc [] (linearScale 1000 (-10.0::Double,10.0)) (\x -> x^2)

Вот такой простенький код. В ghci работает, а после компиляции и запуска из командной строки --- нет.

То есть, не открывается окно с графиком.

Yuriy Syrovetskiy

@cblp

а примеры из пакета работают?

EugineKosenko

@EugineKosenko

Это Demo.hs?

Yuriy Syrovetskiy

@cblp

это которые examples на странице https://hackage.haskell.org/package/gnuplot

да, действительно, этот файл

там всего один файл с примерами

EugineKosenko

@EugineKosenko

Работает. Хотя один пример пришлось убрать.

А так да, выстреливает сразу кучу окон с примерами.

Yuriy Syrovetskiy

@cblp

тогда надо разбираться, что есть в примере и чего нет в вашей программе

EugineKosenko

@EugineKosenko

В демке используется продвинутый интерфейс, а я использую простой.

Ладно, будет время, попробую освоить продвинутый интерфейс.

Yuriy Syrovetskiy

@cblp

простого в демке нет?

попробуйте продвинутый

EugineKosenko

@EugineKosenko

Пока что обошел проблему генерацией в png, которая нормально работает.

Хорошо, спасибо

EugineKosenko

@EugineKosenko

import Graphics.Gnuplot.Advanced
import qualified Graphics.Gnuplot.Plot.TwoDimensional as Plot2D
import qualified Graphics.Gnuplot.Graph.TwoDimensional as Graph2D

list2d :: Plot2D.T Int Integer
list2d = Plot2D.list Graph2D.listPoints [0,1,1,2,3,5,8,13]

main :: IO ()
main = sequence_ [plotDefault list2d]

Вот с продвинутым интерфейсом. Один к одному вырезанный кусок из Demo.hs. Поведение то же самое.

Занятно...

Можно путем вырезания проверить...

Блин...

main = sequence_ [plotDefault list2d,plotDefault list2d]

Вот так вот. Как только два графика вывожу, так все и работает :-(

Но выводится два графика, конечно же, а не один, как нужно...

EugineKosenko

@EugineKosenko

  plotList [] $ ([1,2,3,4,5]::[Int])
  plotList [] $ ([1,2,3,4,5]::[Int])

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

Короче, проще оказалось в выводить в png и потом в gqview анализировать...

Gleb Popov

@arrowd

Интересно, почему в PureScript пишут

class Eq a <= Ord a where

а не

class Eq a => Ord a where

Yuriy Syrovetskiy

@cblp

@arrowd, потому что слева необходимое условие, справа достаточное

Alexander Tchitchigin

@gabriel-fallen

Поясняю: если мы пишем у функции ограничение Ord: foo :: Ord a => a -> Bar a, это значит, что у нас "автоматически" есть ограничение Eq. Но не наоборот.

В PureScript решили, что перевёрнутая стрелка лучше отражает эту закономерность. Так-то они правы. 🙂

Gleb Popov

@arrowd

Ничего не понял, если честно.

Alexander Tchitchigin

@gabriel-fallen

Ord требует наличия Eq. Поэтому когда мы говорим foo :: Ord a => ... это значит foo :: (Eq a, Ord a) => ...

Ord требует, а значит и "автоматически" предоставляет в распоряжение Eq. Но не в обратную сторону. Поэтому такое направление стрелки в PureScript.

Yuriy Syrovetskiy

@cblp

в логике (=>) означает импликацию, то есть мы пишем A => B, когда A не может быть без B. например, Ord не может быть без Eq. в PureScript так.

а в Хаскеле исторически сложилось наоборот, и (=>) означает как бы тоже импликацию, но более сложную: "Если у меня будет Eq, то я смогу дать Ord".

и оба варианта по-своему логичные

Gleb Popov

@arrowd

Кто знает где разработчики кабала общаются? Рассылка cabal-devel пустая.

Yuriy Syrovetskiy

@cblp

не уверен, что этот ответ правильный, но на https://www.haskell.org/cabal/ написано "Questions can be sent to the Haskell libraries mailing list" https://mail.haskell.org/mailman/listinfo/libraries

Gleb Popov

@arrowd

Эти люди где-то должны же обсуждать даты релизов. Я нигде не нашел.

Gleb Popov

@arrowd

Отцы, тут вот статья про singletons для самых маленьких: https://blog.jle.im/entry/introduction-to-singletons-1.html
Там running example вида

data DoorState = Opened | Closed | Locked
  deriving (Show, Eq)

data Door (s :: DoorState) = UnsafeMkDoor { doorMaterial :: String }

и они реализуют

lockDoor :: Door 'Closed -> Door 'Locked
openDoor :: Door 'Closed -> Door 'Opened

А можно ли состояние двери как-то в монаде State хранить, чтобы lockDoor стал вида State (Door s) a? Ведь тогда получается тип стейта меняться будет?

Gleb Popov

@arrowd

А, ну вообще я чет глупость спросил, наверное.

В типе же должно отражаться исходное состояние и конечное. А в типе этого стейта его некуда присунуть.

Yuriy Syrovetskiy

@cblp

в этот State не засунуть, но можно другой определить data StateFromTo from to a = StateFromTo (from -> (to, a))

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

кажется, IxMonad для этого надо использовать

Where communities thrive

People

Repo info

Activity