это на мой вкус мучительно слишком

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

красиво

а контрол энтер давить в 99% случаев как-то не весело

Я когда-то юзал IHaskell для jupyter

И как?

Сравнимо с Python?

Как думаете, этим можно джуна убить?

нет, понятный же вроде код, если разобрать из одной стоки

Он, конечно, отстаёт и не всегда билдится, но в остальном приятно

По библиотекам?

По библиотекам?

Я его юзал вместо репла

А не вместо пайтона

Сейчас, пример приведу

А

Что-нить типа такого можно в IHaskell нарисовать?

https://i.vas3k.ru/7e0.jpg

Или такое

https://i.vas3k.ru/7e1.png

?

Я не в плане потроллить, а в плане узнать возможности. Есть такое?

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

Я не в плане потроллить, а в плане узнать возможности. Есть такое?

технически у ядер нет различий в возможностях

поэтому всё, что можно пыхтоном, можно чем-угодно другим

но интерфейс а-ля математика для хаскеля хотелось бы иметь, конечно

Ну я плохо знаю ядра, просто мне кажется, что вон те карты рисуются какими-то питоновскими либами

Т.е. просто так их к IHaskell не подключить

Или можно?

Ну я плохо знаю ядра, просто мне кажется, что вон те карты рисуются какими-то питоновскими либами

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

Всё остальноё работает через специальный вывод в HTML, который в IHaskell конфигурируется вполне

Было бы желание

Как думаете, этим можно джуна убить?

Вот этим можно: take 5 $ fix (((<$>) <$> ( : ) <*> ((=<<) <$> (return <$>) <$> ( *) <$> join (+))) 1)

ЭПИК!

Спасибо, мне нравится.

Что делает?

fix откуда?

Вот этим можно: take 5 $ fix (((<$>) <$> ( : ) <*> ((=<<) <$> (return <$>) <$> ( *) <$> join (+))) 1)

Шоб они попередохли, пердолики

В GHCI с Prelude не нашёлся.

fix откуда?

Data.Function

Ок

Курицу на песочек выпустить, отпечатки лап в OCR и конопелятору скормить

Эффект, глядишь, тот же будет

Data.Function

А делает он что?

Ну, судя по выдаче гугла, хотя бы графики можно рисовать:

http://abailly.github.io/images/ihaskell.png

А делает он что?

Это очень обфусцированный способ написать take 5 iterate (*2) 1

Хм, норм.

поэтому всё, что можно пыхтоном, можно чем-угодно другим

вот только у питона есть matplotlib, а у нас только diagrams

Ну вот я про это и спрашиваю

Получается, что надо либы из питона тащщить

Нельзя взять и "утащить matplotlib из питона"

Действительно.

Есть либа, которая вызвает питон под капотом и позволяет пользовать matplotlib :)

Но scipy, numpy не утащишь

Ну хоть так :)

Есть SubHask, но...

А весь список из заранее известного числа элементов можно паттерн матчингом разобрать?

О, получилось, спс :)

А весь список из заранее известного числа элементов можно паттерн матчингом разобрать?

а что тут такого?) [x,y,z] = xs

Да я просто кортеж ставил, а не список.

Круглые скобки.

Вот и не компилилось.

Да я просто кортеж ставил, а не список.

(x:y:z:[])

ERROR: S client not available

В следующий раз так и сделаю тогда.

Хотя смысла особого не вижу, если честно.

а какие есть стандартные общеязыковые бенчмарки для сетевых либ?

что-нибудь простое, но чем можно реализацию померять адекватно?

сетевое, но не http?

tcpkali

http жирно, нужно протокол релизовывать

а какой-нибудь броадкаст и много клиентов уже нормально

какой же Хаскель дурной язык (у меня настроение пожаловаться) зачем вот иметь отдельно data Pair a b = P a b data Product f g x = Product (f x) (g x) class (c1, c2) => CPair c1 c2 instance (c1, c2) => CPair c1 c2 class (c1 x, c2 x) => CProduct c1 c2 x instance (c1 x, c2 x) => CProduct c1 c2 x Я еще не придумал, как это должно быть одной и той же штукой, но уверен, что должно.

Все придумано до нас же data Pair f a b = Pair (Apply f a) (Apply f b) type family Apply (f :: k) a where Apply Id a = a Apply (f :: Type -> Type) a = f a data Id _12 :: Pair Id Int Int _12 = Pair 1 2 ls12 :: Pair [] Int Int ls12 = Pair [1, 2, 3] [9, 8, 7]

Ок, с дефункционализацией identity-функтора нормально. Хотя не нравится, что приходится дефункционализировать, жаль нельзя прямо Pair (\x -> x) написать.

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

в каком-то ghc proposal это было

Нет, погоди, это ведь не то же самое, какой-то жестокий обман

У меня ведь f, g :: Type -> Type и x :: Type, а не f :: Type -> Type и a, b :: Type

Хотя в общем-то понятно, как выразить одно через другое

data With x type instance Apply (With x) f = f x Pair (With x) f g

Можно обобщить это еще на N элементов, получится vinyl

а бывает zipWith с дефолтным значением, которое применяется вместо недостающих элементов короткого списка? или это правильнее по-другому делать?

дак прицепить repeat def к короткому?

или неизвестно который короткий?

если не известно какой короткий можно к обоим прицепить и takeWhile пока одни дефолтные не полезут

есть align http://hackage.haskell.org/package/these-0.7.4/docs/Data-Align.html

http://hackage.haskell.org/package/list-zip-def-0.1.0.1/docs/Data-List-Zip.html

если не известно какой короткий можно к обоим прицепить и takeWhile пока одни дефолтные не полезут

А если дефолтные могут в списке встречаться?

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

Уж проще рекурсивно написать если пакет из hackage религия использовать не позволяет

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

Тут что-то очень похоже на Alternative, надо только придумать для какого типа