До сих пор не могу для себя определиться, линейный порядок -- это хорошо или плохо. :)

Честно признаюсь, у меня при написании обычных программ особенных проблем с этим не возникает. Но, наверное, я просто привык уже?

Ну то есть архитектура как-то «сама собой» получается линейной, за исключением очень редких случаев. Даже не припомню последнего раза, когда я использовал слово and при определении типов или функций.

Честно признаюсь, у меня при написании обычных программ особенных проблем с этим не возникает. Но, наверное, я просто привык уже?

Народ пугается. :(

Да, это я понимаю. Дело непривычное — сортировать файлы в проекте.

Ну то есть архитектура как-то «сама собой» получается линейной, за исключением очень редких случаев. Даже не припомню последнего раза, когда я использовал слово and при определении типов или функций.

Согласен. Сама собой архитектура строиться линейной. Я вот столкнулся только когда рефакторить свой же код начал.

Надо на FCS сделать автосортировщик :)

Надо на FCS сделать автосортировщик :)

Перемешиваем, пока не соберётся.

Quantum Bogosort.

`Я бы хотел какую то возможность в языке делать forward refs на другой файл. Вот рисую сейчас Red-Green Tree и приходится сильно раздувать файлы

С ORM линейный порядок не вяжется, но с другой стороны и ORM толком не нужны)

С ORM линейный порядок не вяжется, но с другой стороны и ORM толком не нужны)

Почему?

Ну там же модель базы перенесена в объекты. А в бд там какие угодно циклические отношения могут быть

Ну там же модель базы перенесена в объекты. А в бд там какие угодно циклические отношения могут быть

Я не вижу принципиальных проблем, но только проблемы конкретных реализаций.

Между данными отношения могут быть циклические, но типы можно развязать параметризацией.

Всмысле? Ну вот например как сделать много ко многим, в объекте типа школьник - список предметов, в объекте типа предмет - список школьников. Типы друг от друга зависят

Да даже и один ко многим, получается можно только с одной стороны референс дать, а с другой уже нет, получается циклическая зависимость

Да даже и один ко многим, получается можно только с одной стороны референс дать, а с другой уже нет, получается циклическая зависимость

если сильно надо, это можно развязать третьей сущностью

не получится) все равно если с одной стороны идти будет одна линейная зависимость, а если обратно, то другая, в сумме цикл получится

Да даже и один ко многим, получается можно только с одной стороны референс дать, а с другой уже нет, получается циклическая зависимость

Развязываем типы через параметр. type Many<'One> = { ones : 'One list } type One = { many : Many<One> }

Мм, это похоже на костыль, но вроде пойдет, правда ормы такое вряд-ли переварят

А что когда цикл через три сущности?

Мм, это похоже на костыль, но вроде пойдет, правда ормы такое вряд-ли переварят

Почему костыль? Это общая стратеги уменьшения связности — введение параметра.

Будь то параметр в конструкторе, или параметр типа.

Но с конкретными реализациями ORM, наверное, дружить не будет.

Придется связывать сущности через and и хранить в одном файле. :)

Костыль в том смысле что мы сделали дженерик там где его быть не должно)

Т.е. подзапутали код

¯\_(ツ)_/¯

А обычные классы с мемберами можно через and вязать?

А обычные классы с мемберами можно через and вязать?

Да.

Любые типы.

Или положить в module rec.

Но все в рамках одного файла.

Понял, спасибо)

Развязываем типы через параметр. type Many<'One> = { ones : 'One list } type One = { many : Many<One> }

А что, mutual recursive types нельзя в F#?

А что, mutual recursive types нельзя в F#?

Можно, но локально.

Т.е. как везде :)

Тогда я спокоен :)

http://marisks.net/2017/10/30/episerver-ui-tests-with-canopy/

Привет.

Привет.

Приветствую!

Комрады, вопрос. Кто занимался разработкой на F# для веба? Интересует практика пиления микросервисов и какие фреймворки пользовали?

Микросервисы и языки-фреймворки это разные измерения)

Если говорить про фшарп для веба, то тут suave или giraffe

Или websharper

Если говорить про фшарп для веба, то тут suave или giraffe

Ещё freya.

@gsomix может ты знаешь сообщество по микросервисам?

@gsomix может ты знаешь сообщество по микросервисам?

Неа.

Сайм все еще фиксит провайдеры.

Сайм все еще фиксит провайдеры.

Он наверное уже проклял нас с фридрихом

Он наверное уже проклял нас с фридрихом

Почему?

Почему?

Занимается провайдерами уже сколько времени)

Рано или поздно все равно пришлось бы.

Занимается провайдерами уже сколько времени)

Он проклял, остальные вас любят :)

Вы вот его отвлекли от SRTP, это да. :)

https://twitter.com/kot_2010/status/925272738423549952

VF# nightly вернули, кстати. Но я не устанавливал еще.

Потому что в Rider работаю. ?

Но только до 1 декабря, пока есть лицензия. :( Потом на EAP перекачусь.

тебе как студенту не выдают ли лицензию?

тебе как студенту не выдают ли лицензию?

Заканчивается в начале декабря.

угу, эдюкейшен лицензия - шикарна.

ну вышли им студенческий еще разок

ну вышли им студенческий еще разок

Не отправят в университете получать? У нас их как-то централизованно раздавали.

Не отправят в университете получать? У нас их как-то централизованно раздавали.

Кого получать?

хз, я просто фото студенческого высылал

месяц назад где то

Я просто фотку отправил

Ок, спасибо.

Интересно, можно посылать студенческий от специальности, не связанной с программированием и получать так лицензию на что либо, или это всё-таки нечестно?

Причём помоему у меня там не стояла отметка о переходе на следующий курс)

Интересно, можно посылать студенческий от специальности, не связанной с программированием и получать так лицензию на что либо, или это всё-таки нечестно?

Думаю разницы нет

Интересно, можно посылать студенческий от специальности, не связанной с программированием и получать так лицензию на что либо, или это всё-таки нечестно?

зависит от универа же

или это у майкрософта

В Rider'e не хватает форматирования и подсветки синтаксиса во всплывающих подсказках.)

Думаю разницы нет

Т.к. там есть способ подтверждения через email на домене университета (только вроде в зоне .edu должен быть), там никак не проверяется твоя специальность

или это у майкрософта

У Майкрософта там от универа зависит лишь расширенная лицензия, где Винда доступна.

Обычную лицензию даже по фотке студенческого выдают.

В Rider'e не хватает форматирования и подсветки синтаксиса во всплывающих подсказках.)

Код писать можно, уже хорошо!

И тесты запускать, и отлаживать...

Ну так это я так, к мелочам придрался

Самые крутые всплывающие подсказки в VS2017.

Там есть кликабельные ссылки.

Ага

И показывает, какие типы подставляются вместо обобщённых

Я просто фотку отправил

я тоже.

Очень удобно в случае длинных конвейеров

А вот в Rider мне хотелось бы видеть выведенные типы.

https://pbs.twimg.com/media/DCVnm3ZUQAA3bFR.jpg

Типа такого.

Типа такого.

там спор по поводу лензов уже третий месяц идёт в ишшуе

Какой спор? В каком ишшуе?

одни пишут "НЕНУЖНО", вторые "НУЖНО, НО НЕ ТАК КАК В ВИЖЛЕ", третьи "НУЖНО, НО МЫ НЕ ЗНАЕМ КАК ЛУЧШЕ"

https://pbs.twimg.com/media/DCVnm3ZUQAA3bFR.jpg

Это откуда?

одни пишут "НЕНУЖНО", вторые "НУЖНО, НО НЕ ТАК КАК В ВИЖЛЕ", третьи "НУЖНО, НО МЫ НЕ ЗНАЕМ КАК ЛУЧШЕ"

В VS пока никак не сделано.