Ayrat
Там типа есть базовая абстракция F[_], где андерскор и есть дырка, то есть любой тип
Ayrat
А F, тип с неким эффектом. IO или асинк или чо угодно
Denis
или логгер, лол
Ayrat
И сейчас многие либы строят экосистему скалы на этой общей абстракции
Ayrat
И вот проблема что одной дырки было мало. И даже трёх мало
Ayrat
Потому что на прошлонедельной конфе сказали надо 5!
Ayrat
То есть чот типа F[_, _, _, _, _]
Ayrat
Ну только если 5 окажется мало и потребуется 7
Igor
типа F[_[_]]
Vladimir
И вот проблема что одной дырки было мало. И даже трёх мало
У нас бывший министр МВД для таких проблем ввел термин "дырявые"
Vladimir
https://news.tut.by/society/620822.html
Ivan
Igor
надо подкинуть идею ребятам
Igor
дырки высшего порядка
Ayrat
Но 5 дырок это 5 разных типов. 5 конкретных типов
Ayrat
А одна дырка это один тип
Doge
а нельзя дырки дырок делать?
Запросто:
trait Wut[~>[_[_],_[_]]] {
def wat[F[_], G[_]]: F ~> G
}
Крылатый
Больше дырок богу дырок!
Denis
больше дырок дыркам которыех больше богу дырок
Анна
Doge
Какой ужас.
На хаскеле не сильно лучше, конечно:
class Wut (n :: (* -> *) -> (* -> *) -> *) where wat :: n f g
Крылатый
Vladislav
@omgszer https://github.com/Christian-Schiffer/servicelayer.chat/issues/27#issuecomment-567575197
Vladislav
можешь поорать
Ayrat
Нихуя там обсуждение
Крылатый
Igor
Ребят, как добавить в проект зависимости с myget, так что бы они резолвились на ci (без использования paket)?
Ведь
dotnet add package Prelude --version 0.2.3 --source https://www.myget.org/F/y2k/api/v3/index.json
не сохраняет в fsproj, что зависимтость пришла с myget
Ayrat
Ребят, как добавить в проект зависимости с myget, так что бы они резолвились на ci (без использования paket)?
Ведь
dotnet add package Prelude --version 0.2.3 --source https://www.myget.org/F/y2k/api/v3/index.json
не сохраняет в fsproj, что зависимтость пришла с myget
nuget.config положить рядом с файлом проекта
Ayrat
в нём добавить репку помимо нугет орга
Ayrat
можно на CI машинах глобально прописать
Ayrat
есть дефолтный глобальный нугет конфиг где собсно лежат “обычные”нугет фиды по умолчанию
Ayrat
можно туда впилить майгет
Ayrat
если это приватный фид вашей компании, то лучше так и сделать чтобы мозги не трахать
Диёр
Ребят, вы такие милые
x
беспесды!
Denis
Почему таких уебанов еще не поубивали всех бл
Ilya
Потому что потом переключатся на других "уебанов".
Denis
эх, всех бы нахер
Ilya
А ты не уебан?
Ilya
А чем докажешь?
Denis
Вполне возможно с чьей то точки зрения
Ilya
*добавил в списочек*
Ayrat
Почему таких уебанов еще не поубивали всех бл
потому что кто-то должен решать кто уебан, а кто нет. И вот тут начнутся проблемы когда придут за тобой
Ayrat
потому что подозреваю ты кого-то бесишь
Hog
ВЫ ВСЕ МЕНЯ БЕСИТЕ!
Denis
потому что кто-то должен решать кто уебан, а кто нет. И вот тут начнутся проблемы когда придут за тобой
Я к тому что такие проблемы не в коммунити разработчиков должны быть
Denis
такой фигне не место, на работе как говорится надо работать )
Ilya
*тихонько призывает запретить аборты для уменьшения шансов, что доберутся до людей*
Ayrat
разработчики нелюди или живут на другой планете?
Ilya
такой фигне не место, на работе как говорится надо работать )
Люди на работе по 8 часов в день проводят. Посчитай, какая это часть жизни. Деление на работу и всё остальное неэтично, как минимум.
Ayrat
Да, работа это часть жизни и на ней приходится общаться с людьми для которых всё то же самое
Ayrat
Так что отделять работу от неработы… невозможно
Ayrat
Короче, мысль в том что это явление общечеловеческое поэтому будет везде
Ayrat
оградить себя от этих мудаков очень сложно
Ayrat
и майкрософт сделали глупость
Ayrat
Я тут кстати бейлис распробовал. Раньше не любил
Ilya
Интересно, они будут как-то выкручиваться? Рано или поздно придётся же открыть ишью для всех.
Andrew