« Rev
@haskellru   727
Fwd »


Ignat
а ghc совместим с другими libc?
Alexander
были варианты, но я не знаю чем в итоге закончилось
Vasiliy
как минимум с musl
Alexander
https://github.com/nilcons/ghc-musl <- вот эти были, не знаю чем там дело кончилось
Vasiliy
в alpine пакет с ghc есть, мои поделки успешно работали
Alexander
но судя по времени последнего коммита или в head все нормально или все плохо
Alexander
в musl вроде чего-то не хватало, чего rts хотела, или все ок уже?
Vasiliy
ну, я точно сказать не могу, сужу лишь по тому, что в alpine linux используется musl, в пакетах ghc есть, мои небольшие поделки он компилирует нормально
Vasiliy
возможно, он собран с/без каких-то флагов
A64m
там же 8.0.2 только, нет?
Vasiliy
ну да
Vasiliy
8.2 ещё не вышел толком
Aleksei (astynax)
stack с musl собран, вроде
Aleksei (astynax)
хотя не
Aleksei (astynax)
Но FPC что-то писали про сборку с musl
Artem
А как правильно на русский переводится meet? https://en.wikipedia.org/wiki/Join_and_meet
А понятия не имею, мне хватает джоин\митов :) но вопрос любопытный. Сложней только про pullback/pushout
Artem
Вообще, припоминаю: твг /тнг или супремум/инфимум, как повезёт. Лучше у матанщиков в соседнем чате переспросить конечно
Dmitry
Я могу на это ответить лишь
Dmitry
Кабачок
Вроде meet/join это наименьший/наибольший элементы.
Dmitry
Ну дээ.. мит типа наибольший меньший
A64m
Но FPC что-то писали про сборку с musl
https://www.fpcomplete.com/blog/2016/10/static-compilation-with-stack
Artem
Точная верхняя / нижняя грань, если что
Dmitry
Но неужели нет одного емкого словечка
Dmitry
Буду посмотреть.
Dmitry
Спасибо :)
Artem
Разве супремум/инфимум
Artem
Но это я так, без Гугла.
Кабачок
Все таки ошибся: https://ru.wikipedia.org/wiki/%D0%A2%D0%BE%D1%87%D0%BD%D0%B0%D1%8F_%D0%B2%D0%B5%D1%80%D1%85%D0%BD%D1%8F%D1%8F_%D0%B8_%D0%BD%D0%B8%D0%B6%D0%BD%D1%8F%D1%8F_%D0%B3%D1%80%D0%B0%D0%BD%D0%B8%D1%86%D1%8B
Евгений
По русски говорят супремум инфимум, да
Евгений
По крайней мере в ленинградской школе математики, в московской хз
Artem
Говорить "тнг" дословно не так уж плохо может быть, если привыкнуть :)
Евгений
На дойче, кстати, тоже говоряр инфимум, супремум, так что я думаю оно международное. А мит/жойн — американизм ненужный
Dmitry
Йеп, усвоил. Спасибо.
Artem
Люди, которые используют решёточные миты/джоины на практике лишь от случая к случаю, нерегулярно (в PL таких много и я говорю об англоязычной науке) сами признаются, что часто путают. И тнг/твг или суп/инф в этом плане лучше
Artem
Насчёт американизма сомневаюсь сильно, но спорить не буду
Artem
Думаю, зависит от конкретной специальной области (математики или CS), где дело происходит
Artem
В смысле, области внутри математики или внутри цс
Alexander
немецкий язык?)
Artem
немецкий язык?)
Ох, да, спасибо
Андрей
Ещё один вопрос, в хаскеле есть класс, который описывает сравнение двух разных типов? То есть если Eq про сравнение данных двух одинаковых типов, то мне нужно сравнивать (на самом деле метчить, сопоставлять), два разных типа.
Denis
А вопрос то где?
Андрей
поставил знак вопроса)
доня.
не оно? https://hackage.haskell.org/package/type-iso-0.1.0.0/candidate/docs/Data-Types-Isomorphic.html
Андрей
очень похоже на то, но там сказанно про can be cast to each other withouth loss of information
Андрей
это не мой случай
Андрей
наверно надо подробней расписать
Denis
Вам чего-то странного хочется на мой взгляд, что вы хотите сделать?
Андрей
пишу свой роутер, роуты бывают разных типов, кто-то метчит по строке, кто-то по регулярке, кто-то по каким-то абстрактным данным, которые приходят из базы данных, например
Андрей
хочу роут сделать классом, который умеет Request сопоставлять с любым типом, который реализует класс Route
Vasiliy
ну и сделай у класса Route метод matches :: Route r => r -> Request -> Bool
Denis
class Matchable a where match :: a -> Request -> Bool
Андрей
хм, я только что это делал и мне показалось, что что-то не так
Андрей
хм, толи я где-то напиздел, толи я где-то наврал
Андрей
толи запутался
Denis
Да и даже это не нужно, если достаточно data Route = PreciseMatch Text | RegexMatch Regex | ...
Denis
Тогда просто нужна функция Route -> Request -> Bool
кана
кто подскажет, откуда там c0 взялся?
Denis
c нигде не забинжен в сигнатуре
кана
точно, я туп
кана
спасибо
Андрей
наверно понял, зачем я хочу этот класс я делаю почти тоже самое в двух местах: сопоставление запроса и роута, сопоставление пути роута и урла
Андрей
вот так спросишь что-то у умных людей и сам всё поймёшь, пойду писать
Denis
Класс нужен только в том случае, если у вас типы роутов это открытое множество. Так что вы меня не убедили, что класс вам тут нужен.
分解物質
https://groups.google.com/forum/#!topic/puffslang/2z61mNTAMns/discussion
分解物質
https://github.com/google/puffs/blob/master/doc/related-work.md офигенно крутая вещь
Кабачок
c нигде не забинжен в сигнатуре
а что обычно в таких случаях делают?
кана
я прокси заюзал. TypeApplications возможно бы сработал тоже
Андрей
ребят, ещё один нубский вопрос, как отличить в одной функции Text от Regexp, у них ведь нет конструктора
Андрей
или есть?
Андрей
через https://hackage.haskell.org/package/text-1.2.2.2/docs/Data-Text-Internal.html ?
Aleksei (astynax)
Типы же разные. Как можно "отличить типы"? Компилятор отличит
Aleksei (astynax)
Нельзя даже написать "просто так" функцию, которая примет и Text и Regexp и отличит их.
Зигохистоморфный
Сделай враппер и просто потом внутри проверяй через case
Aleksei (astynax)
Можно сделать тайпкласс с методом и инстанциировать этот класс для Text и Regex, но в этом случае для этих типов будут разные функции
Зигохистоморфный
data SomeType = Text | Regexp
Aleksei (astynax)
Или да, можно положить в тип-сумму и этот тип уже матчить
Aleksei (astynax)
параметры забыл
« Rev
@haskellru   727
Fwd »