А как компания называется?)

У нас тут такая красота

Вейвком

А вдалеке торчал Лахта центр

Вейвком

Они имеют отношение к waves и т.п.?

Кстати, а на скала бэке у вас насколько трушно? Коты, tagless final, monix/io/zio, fs2?

Зио

В архитектуре дегоуза или как низлежайщий эффект в tf?

Могу спросить, если интересно

У нас тут такая красота

Пытаюсь понять, что такое GADT, и чем они отличаются от адт. Но все ссылки с примерами на хаскеле, который я не знаю. В результате после прочтения нескольких статей я больше разобрался в хаскеле, чем в гадт, но все равно нихуя не понятно. Есть у кого-нибудь вменяемая статья на примете?

Пытаюсь понять, что такое GADT, и чем они отличаются от адт. Но все ссылки с примерами на хаскеле, который я не знаю. В результате после прочтения нескольких статей я больше разобрался в хаскеле, чем в гадт, но все равно нихуя не понятно. Есть у кого-нибудь вменяемая статья на примете?

Ну конкретно насчёт Фила есть сомнения, т.к. он любит наебывать работодателей,а мне дорога репутация. Надеюсь, в будущем он изменится

Пытаюсь понять, что такое GADT, и чем они отличаются от адт. Но все ссылки с примерами на хаскеле, который я не знаю. В результате после прочтения нескольких статей я больше разобрался в хаскеле, чем в гадт, но все равно нихуя не понятно. Есть у кого-нибудь вменяемая статья на примете?

вот и пиши потом правду в чатике)

Я всегда пишу правду, например. Просто ты- это риски большие

Да. Я бы сам себя не нанял

видимо правда надо что-то менять

пора, конечно, но я никогда не мечтал быть, знаешь, хорошим эмлои

https://mads-hartmann.com/ocaml/2015/01/05/gadt-ocaml.html Статья с довольно понятным примером на OCaml. Думаю, поможет меньше думать о синтаксисе Haskell и больше о GADT 🙂

я больше всего охуел, когда меня взяли на MS Dynamics Axapta. Моя галера пыталась продать туда десять челов, а взяли только двух. Ну и там весь проект был на sql, а я на на собесе сказал, что нихуя с sql не работал

Слишком много успеха в одной истории

по принципу «тысячи мух не могут ошибаться» :) моя теория, что чувакам нужна сделанная работа, а кругом одни долбоебы, в том числе уже набранные. в том числе у руля.

у меня есть теория, что чувакам НЕ нужна сделанная работа. Они продают процесс, и строят процесс. А не результат. Любая более менее большая фирма сегодня такая

твоя пожалуй тоже верна. Поэтому стараюсь не ходить в большие фирмы, и как только они вырастают и начинают оптимировать процессы - надо бежать. Ни денег ни самореализации не жди. Если только ты сам не сидишь на трубе или рядышком

ну, в гугле вроде норм бабло) не знаю. Я каждый раз, когда устраиваюсь на новую работу, всё надеюсь, что меня зацепит. И я буду фигачить код с горящими глазами. Получается всегда хуище, но веру я не теряю.

Нормально делай — нормально будет!1 :) В коде наверху нет проблем, кроме типизации, имхо.

Кто хочет в Москве пописать на фшарп за деньги?

И тут azure...

Нет же - лампочку видишь?

И еще не отлаживается нормально. Пришлось у себя монаду ридер с srtp на интерфейсы переводить. Все ж по инструменталке пока слабоват.

Всем привет. Подскажите как определить класс который принимает тип 'T но только такой у которого определена функция, например ToInt()? Короче как обойтись без интерфейсов типа MyClass<'T when 'T implements ToInt(): int> =

@omgszer у меня глупый вопрос. Оператор крышечка это функция apply по-сути?

Что это вы - в пасху работаете?!

Что это вы - в пасху работаете?!

Народ, подскажите книги хорошие по ADO.NET?

https://safe-stack.github.io

все, отбой, нашел https://cdn-images-1.medium.com/max/800/1*Yx2zixAuhkn7QC46Xttbww.jpeg

@fvnever а не знаешь, у вас в беклоге есть улучшения дебага асинков фшарпа?

Не знаю. А это вообще возможно? Какие улучшения?

😕😕😕