Анна
x
Анна
Короч проблемы с подготовкой можно простить где-то, но не в сочетании с понтами :)
Hog
Aleksandr
У нас в Красноярске ничего такого нет
Hog
https://twitter.com/FriedFsharp
Hog
Не заходит почему-то ф# на многопрофильных конфах :(
x
@AnutaU , это вот это надо раскурить, чтобы понять доклад про сиквент калькулус? https://www.microsoft.com/en-us/research/wp-content/uploads/2016/04/sequent-calculus-icfp16.pdf
x
Я ничего в нем не понял, но что-то записал )
Анна
Анна
автор вебинары проводит по этой теме :)
Анна
можно там раскурить наверное
Анна
в общем, я переварю и поделюсь
Aleksandr
"Разбираем csv через провайдеры типов "
Hog
Звучит как-то не очень!
Aleksandr
Слишком скучно
Aleksandr
А какие еще у нас есть фокусы?
Hog
Гыыы :) писал про «переварю и поделюсь», а подошло и к следующему сообщению тоже :)
Hog
У меня родилась тема для доклада в мае на очередном дев дее :)
Hog
Aleksandr
Ну в целом про провайдеры типов можно расказать
Hog
Опасно
Hog
В смысле уже обмусолили ж - для прода редко подходят
Aleksandr
А кроме них ниче такого в фшарпе нет, у чего не было бы аналогов в каких-то других языках
Aleksandr
Про elmish, кстати, рассказывали?
Hog
Обзорный про safe stack делал в октябре.
Hog
7 чел пришло из 170
Aleksandr
Aleksandr
И ждал записи с доклада
Aleksandr
А его зафейлили(
Aleksandr
Elm хочу
Aleksandr
Хочу Elm
Igor
Elm хочу
Нафиг тебе Elm, когда есть элмишь.
Где ты можешь obj ворочить и down-cast делать на право и на лево
Igor
А еще любую Async/Promise можешь заворачивать в Cmd
В Elm что Эван соизволил сделать для IO - то и кушаяют
Aleksandr
Igor
Как будто что-то хорошее)
Ну если тебе нравится бойлерплейт и кучу раз повторяться - то может и ничего (в elm ведь нет стредств для абстракцийН, ни hkt ни тайп-классов)
Ayrat
Aleksandr
А где больше вероятность, что хкт появятся?
Aleksandr
В fs или в elm?
Igor
🌝🌝🌝🌝🌝 - ну уж точно не в Elm
А F# оно и не нужно, мы же “умные программисты и можем осторожно юзать dynamic/down-cast и тп где нужно”
Aleksandr
Мысли вслух:
Нам на самом деле повезло, что автор дженериков в дотнете у нас Сайм, а не кто-то другой
Aleksandr
Если он, для нужд фшарпистов, придумает как их изменить и возьмется за это, то скорее всего ему дадут это сделать
Aleksandr
Но это только мои мысли
Aleksandr
Возможно я не учел тысячу кейсов
Hog
понты? :)
Aleksandr
Ой все
Aleksandr
Ну я, к слову, не считаю hkt фп-фичей
Aleksandr
Они и в ооп не помешают
Aleksandr
Остается придумать, а помогут ли?
Aleksandr
Ну тут скорее о том, что если уж и делать поддержку hkt, то для чего-то
Aleksandr
А для чего - известно
Aleksandr
Там где hkt, там всегда сразу шмонады, функторы и все такое
Aleksandr
Вот и то, против чего конкретно хочет выступать Сайм
Doge
Мне кажется, тут скорее проблема в том, что технически это хотят править в CLR, а это ещё надо продать команде CLR
Aleksandr
Ну я свои предположения по команде CLR уже высказал несколько сообщений выше
Vladislav
Vladislav
Aleksandr
Vagif
Vagif
Я немного в смятении чувств после конференции. Так тяжело было въезжать в некоторые доклады. Привык к обычным, где все лайтовое.
Aleksandr
Aleksandr
WPF вроде nvidia юзает
Aleksandr
Для рендера
Aleksandr
Правда 3d-only
Aleksandr
То есть 2d картинку он рендерит так, словно она 3d
Aleksandr
Ой блен, какой nvidia
Aleksandr
DirectX
Ayrat
Hog
Там наверное про мутацию пропертей контролов больше