@haskellru - страница 1383 - Telegram web archive

тот

какая разница, стек использует ту же инфраструктуру

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

кана

ходишь по офигенно тонкому льду

Alexander

@patinity там тот же механизм сборки, вот абсолютно

Alexander

а вот дефолтные настройки и интерфейс другой

тот

@patinity там тот же механизм сборки, вот абсолютно

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

Alexander

у стека есть только простота для более-менее major case

Alex

Друзья, а какие отношения у Data.Text и [Char]?

Alex

Я включил overloaded strings

Alexander

непонятен вопрос

Alexander

это два разные типа

Alex

И пытаюсь засплитить строку с помощью splitOn

Alex

Ага

Alex

Я так и боялся

Alexander

Data.Text.pack / Data.Text.unpack переводит один в другой

Alex

А если использовать overloaded strings?

Alexander

overloaded strings вместо строкового литерала делает fromString literal

Alexander

т.е. можно написать "foo" :: Text

Alex

А подскажи пожалуйста как мне лучше всего засплитить строку?

Alex

Я думал через Data.Text

Alex

Но теперь из-за паков анпаков мне кажется это не самый лучший метод

Alexander

[Char] - через Data.List

Alexander

но вообще если ты сможешь до конца работать с Text это лучше

Alex

Но ведь это же неудобно

Alex

Почему так лучше?

Alexander

потому, что Text более хороший тип для работы с текстом чем String

Alexander

String это single linked list of Char

Alex

У меня еще вопрос

Alex

А где искать код модуля

Alex

Например

Alex

Data.Text

Alex

Или другого

Alexander

на hackage можн

Alexander

или cabal get

Alex

Спасибо

Mikhail

И пытаюсь засплитить строку с помощью splitOn

в Data.Text splitOn тоже есть

Dmitry

Подскажите, пожалуйста, может быть можно как-нибудь в TH получить значение семейства типов? То, что в ghci получаем по :kind!

Alexander

в Data.Text splitOn тоже есть

так он его и использовать пытался

Alexander

Подскажите, пожалуйста, может быть можно как-нибудь в TH получить значение семейства типов? То, что в ghci получаем по :kind!

@A64m_qb0 может знаешь ^

Alexander

а какой вообще кейс, почему в TH не написать применение семейства?

A64m

не знаю

Dmitry

Хочу в ТХ создать инстанс класса. Параметр класса могу вычислить из ТФ.

Dmitry

применение семейства туда не подставить

Andrei

А где искать код модуля

stack unpack еще ну и intellij-haskell скачивает исходники самостоятельно

Dmitry

если общий мозг не знает способа - буду думать как обойти...

Alexander

это все ещё что Show persisten-овых данных?

Alexander

Dmitry ^

Alexander

просто: Q identifier UUID blabla Text deriving Show не помогает?

Dmitry

нет, это не оно

Alexander

ну это сгенерить entity и show для них

Alexander

а больше там ни для чего data families не возникают вроде

Dmitry

я вообще не про persistent

Alexander

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

Alexander

может тогда саму задачу расскажешь

Dmitry

Нет, не готов :-)

Dmitry

Насчет persistent нашел свой старый вопрос на SO: https://stackoverflow.com/questions/25732876/entityfield-in-persistent

Alexander

а ясно

Alexander

как в этом прекрном servant + servant-auth достать сырой токен, а то он больно умный и уже возращает мне обработанный

Alexander

@lonokhov не знаешь?

Alexander

почему в servant Vault тип ключа значения не указываются

Alexander

ну что за нафиг

Nikolay

Я знаю, что вы тут добрые и культурные. Поэтому вопрос. Как теория категорий связанна с фп программированием? Т.е какие понятия в хаскель соответствуют стрелам, а какие объектам?

кана

можно считать типы объектами, а стрелки - функциями но это все такое

Alexander

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

Alexander

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

Антон

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

С поправкой на днище

Cheese

С поправкой на днище

просто «дно», не преувеличивайте

Ilya

Я знаю, что вы тут добрые и культурные. Поэтому вопрос. Как теория категорий связанна с фп программированием? Т.е какие понятия в хаскель соответствуют стрелам, а какие объектам?

Есть категория Hask, есть категория Клейсли...

Ilya

Объекты там одинаковые -- типы, стрелки разные

Alexander

Hask не совсем категория

Alexander

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