Диёр
все знакомые фронты говорят что он сейчас от нпм не особо отличается
Anatoly
всё так
Vladimir
https://habr.com/ru/post/486330/
TOV_MULTIMASSO
Пролог-то нахрена
Ayrat
Пролог, когда я про него прочитал, мозг вскрыл. Типа - а чо так можно было???
TOV_MULTIMASSO
Пролог, когда я про него прочитал, мозг вскрыл. Типа - а чо так можно было???
Не без этого. Но, как я понимаю, оно требует теперь swi-prolog в зависимости?
TOV_MULTIMASSO
Рекомендую сделать CE с возвратами и отсечками, для так сказать, большего погружения. Хрен знает, как отсечку делать, только. Ну и пролог-переменные не реализуемы
Roman
Я когда то пролог студентам давал, для расширения кругозора. И самому разобраться.
TOV_MULTIMASSO
Мне преподали пролог в универе, но окончательно въехал я после того, как прочитал про WAM. После чего я пошёл на нём фрилансить
TOV_MULTIMASSO
А, не, отсечка вполне реализуема
TOV_MULTIMASSO
https://github.com/fsharp/fslang-suggestions/issues/567 ._.
TOV_MULTIMASSO
В окамле их тоже нет, вот засада
TOV_MULTIMASSO
https://gist.github.com/Heimdell/99b0a33a7f9f11816e8f1fcaec75970e - кто-нибудь знает, как слепить это из фарша чтобы оно не разваливалось?
Проблема явно в том, что fsc унифицирует 'r с чем не следует, потому что 'r не экзистенциален, и в сигнатуре split одно из 'r должно быть свежей переменной.
Donnie
Doge
https://github.com/fsharp/fslang-suggestions/issues/567 ._.
Не очень понятно зачем, если можно эмулировать интерфейсом.
Не проще будет добавить синтаксис, чтобы можно было перегрузить операцию применения аргумента к чему-то и использовать тогда такие интерфейсы.
Типа как в скале:
trait ~>[F[_], G[_]] {
def apply[T](f: F[T]): G[T]
}
object identity extends (Id ~> Id) {
def apply[T](t : T) = t
}
identity(123)
Nuxs🏴☠️
а зачем в фарше делегаты?
Nuxs🏴☠️
для чего они в шарпе, я понимаю
Nuxs🏴☠️
но тут?
Nuxs🏴☠️
наследие шарпа?
Romɑn
Romɑn
Интересно, йарн2 и фэйбл как вместе живут
Андрей
не очень, раз у них прям на странице safe линк на ишуй висит насчёт второго ярна
Anatoly
Кому?
Преподу. У меня предмет был: "Рекурсивно-логическое программирование". А, да, зачёт, не экзамен
TOV_MULTIMASSO
Не очень понятно зачем, если можно эмулировать интерфейсом.
Не проще будет добавить синтаксис, чтобы можно было перегрузить операцию применения аргумента к чему-то и использовать тогда такие интерфейсы.
Типа как в скале:
trait ~>[F[_], G[_]] {
def apply[T](f: F[T]): G[T]
}
object identity extends (Id ~> Id) {
def apply[T](t : T) = t
}
identity(123)
Кстати, в интерфейсе-то как раз можно ввести новую переменную
TOV_MULTIMASSO
Так, а типы member-ов могут содержать переменные типа, не введённые в заголовке интерфейса?
Romɑn
Преподу. У меня предмет был: "Рекурсивно-логическое программирование". А, да, зачёт, не экзамен
Понятно, что преподу)
Как звали?
Romɑn
не очень, раз у них прям на странице safe линк на ишуй висит насчёт второго ярна
Давно там не был спасибо
Romɑn
ты в липецке учился? Гаев, вроде бы.
Нет.
Но преподов все же не так много. Думал "а вдруг".
Λ ll И K X
@omgszer так это реальность русского айти
Λ ll И K X
Какая дичь.
Λ ll И K X
>ой у вас опыта маловато давайте мы вас джуном возьмем
Λ ll И K X
я более чем уверен что меня с синиорством в сисярпе и 7 годами опыта врядли возьмут синьор реакт жс смузи с сохранением уровня зп
Anatoly
Анна
Ну чего, товарищи?
Анна
Вот наконец-то всё сделали и появилась форма подачи заявок на fpure https://www.papercall.io/fpure ждём F# докладов 🙂
Λ ll И K X
просто я мб не понял посыла
«какая дичь»
Anatoly
конечно нет
Но если ты не так радикально сменишь сферу, начнёшь тот же бэк на го писать, то могут и взять
Λ ll И K X
Но если ты не так радикально сменишь сферу, начнёшь тот же бэк на го писать, то могут и взять
я чот сомневаюь что синьором даже на фшарп возьмут без реального опыта
Диёр
у меня андроид -> го -> пхп -> го + пхп
всегда с повышением зп переходил на новую работу
я, конечно, не синьор, но как-то так
Диёр
Диёр
если будут норм доклады, то можно командировку устроить небольшую
Dmitry
а синьеоры разве пишут код?
Λ ll И K X
синьор вики едитор
Ayrat
У нас тоже, продакт манагеры на ты с курлом, сиквелем и башем
Ayrat
Могут в хайве пошерудить через спарк, могут в жупитере накидать
Ayrat
Хорошие продакты
Vasily
@grishace https://github.com/vshapenko/MultiApp
Ayrat
Кодят почти все. Мой босс уже не кодит, но он уже совсем босс, у него там организационной работы тьма
Ayrat
Кофе пить?)
Ayrat
На самом деле это полезно.
Λ ll И K X
гант в аджайле?
Ayrat
Он же АДЖАЙЛ
Λ ll И K X
ваще гант это чот с вотерфола не?
Ayrat
Мы вот ганта юзаем раз в квартал на планировании фич на квартал. Найти баланс между фичами, стабильностью и тех долгом с учётом отпусков можно только через планирование. Иначе будет overcommit на объём работ, аврал с потерей качества или невыполнение обещаний
Anatoly
ваще гант это чот с вотерфола не?
ну, если аджайл - это горизонт планирования 1 спринт, тогда гант не нужен
Λ ll И K X
Мы вот ганта юзаем раз в квартал на планировании фич на квартал. Найти баланс между фичами, стабильностью и тех долгом с учётом отпусков можно только через планирование. Иначе будет overcommit на объём работ, аврал с потерей качества или невыполнение обещаний
>overcommit
как говорит мой скраммастер
agile is not for commitments but for forecasting
Λ ll И K X
или типа того
Ayrat
В нашем аджайле даже скрам мастеров нет
Ayrat
Ахахахах шах и мат
Λ ll И K X
лесс?