https://en.wikipedia.org/wiki/Magma_(algebra) — наверное, вот это?

https://en.wikipedia.org/wiki/Magma_(algebra) — наверное, вот это?

not to be confused with groupoids in category theory намекает, что это не то

Да кто ж его разберёт. https://en.wikipedia.org/wiki/Category_of_magmas ссылается на ту страницу.

https://en.wikipedia.org/wiki/Magma_(algebra) — наверное, вот это?

т.е. это множество с операцией на 2х элементах этого множества?

Всем привет! В Москве в ближайшую субботу (07.10.17) планируем встретиться в центре на предмет поболтать, познакомиться и попить пива (не обязательно, если вы не пьете). Чтоб все прошло успешно, тут (https://goo.gl/forms/ZOD0zQ44IcnZEMrx2) собираем всех кто пойдет. Если что, то ответы можно всегда поменять.

Круто у вас там. Нужно то же самое в Минске организовать!

т.е. это множество с операцией на 2х элементах этого множества?

У магмы нет особых ограничений на операцию, в этом соль. У полугруппы уже есть есть требование ассоциативности, например

У магмы нет особых ограничений на операцию, в этом соль. У полугруппы уже есть есть требование ассоциативности, например

Пили статью

И желательно для тупых типа меня

Воу-воу! Я - ненастоящий сварщик, хоть и пишу на Haskell за деньги! Я только совсем немного умею в теоркат

Ну дык и напиши

Шоб тебя токари-фрезеровщики поняли

Типа меня

https://t.me/kanaflow - тут чувак довольно понятно пишет про всякое такое

А вообще можно было бы взять статьи Бартоша и приделать примеры на конкретном ЯП - на том же F#, скажем.

https://t.me/kanaflow - тут чувак довольно понятно пишет про всякое такое

Он тут вроде даже обитает.

В хаскелечятике точно его видел :)

канал: https://t.me/kanaflow группа: https://vk.com/home_kana

Вот он. Но уже не обитает.

@gsomix ты elm изучил?

@gsomix ты elm изучил?

Ещё нет. Хочу на деле опробовать в проекте.

Ещё нет. Хочу на деле опробовать в проекте.

Даже не начал?

Даже не начал?

Полистал туториал, посмотрел доклады. А что?

Я уже было подумал, что мне @Dolfik опять что-то решил предъявить. ;)

Я уже было подумал, что мне @Dolfik опять что-то решил предъявить. ;)

Тебя постоянно пинать нужно :)

Полистал туториал, посмотрел доклады. А что?

Вот смотрю на пример Elmish на Fable RN Там есть “рутовый компонент” App, в который вкладываются уже все другие экраны. Так вот у него тоже есть свой Msg, но в нем должны быть перечислены DU для всех Msg экранов и каждый раз при добавление нового надо его менять, плюс там еще в файл есть куча пат-матчинга по отдельным экранам. Имхо много бойлерплейта, в настоящем Elm так же? https://github.com/SAFE-Stack/SAFE-Nightwatch/blob/master/src/Scenes/App.fs#L24

В Elm type Msg1 = ... type Msg2 = ... type RootMsg = MsgTo1 Msg1 | MsgTo2 Msg2 updateRoot msg model = case msg of MsgTo1 m -> update1 m model.m1 MsgTo2 m -> update2 m model.m2

Т.е. делегирование вложенных сообщений делается вручную, да. Но вложенные сообщения с разных уровней в одном case не матчат обычно

https://www.youtube.com/watch?v=iHIQEyYSY9M - тут слегка про композицию в Elm рассказано (слайды: https://astynax.github.io/slides/tea_fpconf2016.html)

Вот смотрю на пример Elmish на Fable RN Там есть “рутовый компонент” App, в который вкладываются уже все другие экраны. Так вот у него тоже есть свой Msg, но в нем должны быть перечислены DU для всех Msg экранов и каждый раз при добавление нового надо его менять, плюс там еще в файл есть куча пат-матчинга по отдельным экранам. Имхо много бойлерплейта, в настоящем Elm так же? https://github.com/SAFE-Stack/SAFE-Nightwatch/blob/master/src/Scenes/App.fs#L24

Неаккуратно написано.

@angmarr Посоветую еще раз этот доклад. https://www.youtube.com/watch?v=DoA4Txr4GUs

Код в SAFE примерах мне не нравится.

Нужно сделать много небольших update функций с более узкими типами.

И еще Эван говорит, что файлы должны вокруг моделей образовываться.

Сейчас в App.fs и Messages.fs свалка.

Чего я бухчу-то? Надо пойти и зарефакторить.

Чего я бухчу-то? Надо пойти и зарефакторить.

Это правильный подход :)

Согласен, что там код лежит одной большой свалкой

https://github.com/MangelMaxime/FableConf-2017-Elmish-Workshop

Вот этот вариант получше

Да. Но здесь, кажется, другая проблема: излишнее разделение на файлы State, Types, View.

Да, мне больше нравится один файл на модель и все сопутствующие типы и функции

Привет.

@nevoroman и Вагиф Абилов выступают в Москве 13 числа н DotNext

@nevoroman и Вагиф Абилов выступают в Москве 13 числа н DotNext

Там билеты стоят как самолёт ?

Там ещё Симан будет

Посмотрю в записи. ?

Посмотрю в записи. ?

Через год ? Или через сколько там они выкладывают?

Через год ? Или через сколько там они выкладывают?

Надо знать места, где раньше выкладывают. ?

Через год ? Или через сколько там они выкладывают?

Полгода вроде, минимум

Надо знать места, где раньше выкладывают. ?

Ну это, ну ты понял

Надо знать места, где раньше выкладывают. ?

Пришли потом линк пожалуйста :)

Посмотрите, о чем твитнул(а) @Tarmil_: https://twitter.com/Tarmil_/status/915653698075942912?s=09

В ближайшем релизе должно быть.

Да, очень радует новостная активность о WebSharper. А то в одно время несколько месяцев ничего не слышно не видно было. Прямо даже начинало казаться, что они там подзабили на всё. А они, похоже. просто усиленно тихонько готовили 4-ю версию, а сейчас наконец-то у них появилось, чем с людьми поделиться.

Полайкайте, шоле... https://github.com/dotnet/templating/issues/1266

Там билеты стоят как самолёт ?

Я решил эту проблему самым простым способом - катаюсь в качестве спикера :D

Не, ну это неспортивно

Вещать со сцены, как космические корабли бороздят просторы дотнеткора

Полайкайте, шоле... https://github.com/dotnet/templating/issues/1266

Твой issue?

Твой issue?

Да, там написано :)

Я решил эту проблему самым простым способом - катаюсь в качестве спикера :D

А как ты вообще туда попал? Просто им письмо написал, что рассказать о чём-то хочешь? И был опыт до этого?

Твой issue?

Мой

А как ты вообще туда попал? Просто им письмо написал, что рассказать о чём-то хочешь? И был опыт до этого?

У нас даже на сайтике доклады Романа вывешены, если что ;) А, ой, нет.

Кстати, раз уж зашла речь! На этот-то Дотнекст программа сформирована, а вот на следующий - пока нет. И я как раз один из тех людей, кто программу формирует. За сим вопрос - кого вам было бы наиболее интересно увидеть на следующем, летнем DotNext? Чей доклад заставит вас разориться на самолет? Пишите варианты - а я потом создам голосовалку и постараюсь вытащить нужных людей!

Вообще, я бы послушал людей, которые F# применяют в суровом продакшне

ERROR: S client not available

Но не на уровне бла-бла-бла

Кстати, раз уж зашла речь! На этот-то Дотнекст программа сформирована, а вот на следующий - пока нет. И я как раз один из тех людей, кто программу формирует. За сим вопрос - кого вам было бы наиболее интересно увидеть на следующем, летнем DotNext? Чей доклад заставит вас разориться на самолет? Пишите варианты - а я потом создам голосовалку и постараюсь вытащить нужных людей!

Дон Сайм же

А на уровне решения конкретных задач

Типа тулчейна, интеропа с с# этц

А как ты вообще туда попал? Просто им письмо написал, что рассказать о чём-то хочешь? И был опыт до этого?

Один доклад только. Ну, подал заявку на сайте, его поревьювили два-три раза и взяли. Регистрация полностью открытая, все могут попасть.

Кодстайл, вот это вот все

Вы это, лучше имена называйте! Ну и темы можно, конечно, но относительно человека. Сайм - это да, это принял!

Дон Сайм же

+

Скотт Влашин неплох

Мой

Автор livarcocc, это ты? Я думал подписаться, но вы как-то не похожи )

Автор livarcocc, это ты? Я думал подписаться, но вы как-то не похожи )

Он перенес ишью

Ну, Сайма постараюсь вытащить. У нас теперь больше возможностей - два дня конфа все-таки

Там мое залинковано

Вы это, лучше имена называйте! Ну и темы можно, конечно, но относительно человека. Сайм - это да, это принял!

Можно кого-нибудь из Jet позвать. Jorge Fioranelli, Eirik Tsarpalis.

Еще бы я Тцапалиса послушал

Можно больше впихивать доаладов по F#

Можно кого-нибудь из Jet позвать. Jorge Fioranelli, Eirik Tsarpalis.

Принял

У него очень интересные и нетривиальные концепции

Можно больше впихивать доаладов по F#

Нужно даже)

Еще бы я Тцапалиса послушал

Окей :)

Нужно даже)

Ну, тут тоже относительно - сами понимаете, доклады про F# - это доклады на довольно узкую аудиторию

Ну, тут тоже относительно - сами понимаете, доклады про F# - это доклады на довольно узкую аудиторию

Поэтому нужны докладчики с F# в большом продакшене.

Это всегда интересно, вне зависимости от технологий.

Один доклад только. Ну, подал заявку на сайте, его поревьювили два-три раза и взяли. Регистрация полностью открытая, все могут попасть.

Спасибо, приму к сведению :)

F# в продакшене было бы круто, да. Вагиф немного рассказывал как-то про акку и продакшн

Поэтому нужны докладчики с F# в большом продакшене.

Так не подаются они на конференцию! А раньше в программном комитете никто и не думал их звать. Я буду стараться на следующий год. Вагиф кстати да, в него очень хороший опыт именно в продакшене

Проси Вагифа рассказать побольше про продакшн :)

Скотт Влашин неплох

Да, я очень хотел его в этом году позвать, но не успел, загружен сильно был. Буду пытаться на следующий вытащить, у него клевые доклады.

Проси Вагифа рассказать побольше про продакшн :)

А Вагиф случаем не в этом чатике? Можешь тогда лично ему адресовать :)

Он как минимум здесь был!

Проси Вагифа рассказать побольше про продакшн :)

@VagifAbilov просим! :)

А про продакшеновые доклады - у меня уже есть, что рассказать в этом ключе, но тут надо быть уверенным, что соберется много заинтересованной аудитории. Потому что я рассказываю на тех, кто любит F# или просто интересуется, что за штука. А там придется погружаться в детали и "ой, блин, непонятно!". Проверено на нескольких внутренних докладах в компании.