И я их использую, как описано выше.

Это норм, нет? Пацаны будут смеяться, когда код увидят?

Вот эти вопросы меня интересовали.

А не ваш продакшн на C# c золотым стандартом ООП. :)

Это норм, нет? Пацаны будут смеяться, когда код увидят?

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

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

Допустим меня интересует в том числе и мнение тех, у кого F# в продакшене.

Но не C#.

тогда это не ко мне, к сожалению

в том числе

Вот я вешаю маркер-интерфейс на DU. Это норм?

Как иначе добиться расширяемости?

Объединились эти мои DU в одну философскую сущность?

Для полного ответа надо разобрать ситуацию. Если ответить коротко — зависит. Если совсем просто ответить — норм, почему нет.

Но в C# ни-ни, потому что вокруг все продуцируют говно?

В C# нет очень многих инструментов, которые есть в F#, поэтому там иногда интерфейсы — лучшее решение

@gsomix , скатывание в черно-белое не способствует конструктивному диалогу

просто пушто горничной нет

Ну вы развели тут срач. Пойду поем. Но в начале наброшу - C# говно!!!1 /me уходит огородами

@gsomix , скатывание в черно-белое не способствует конструктивному диалогу

Я тоже так думаю.

Но мне тут начали про золотой стандарт ООП рассказывать.

а стоп. Надо лучше набрасывать F# - говно!!11

а стоп. Надо лучше набрасывать F# - говно!!11

Ну, тайп классов нет.

а стоп. Надо лучше набрасывать F# - говно!!11

где-то в мире кончил один павлуша

речь не про плохой продакшн, а про золотой стандарт продакшн ооп

Золотой в каком смысле? Для меня золотой стандарт: интерфейс - контракт для класса, поддержанный языком программирования.

а стоп. Надо лучше набрасывать F# - говно!!11

вот с# 8 выкатят и твоя мысль обретет реальные очертания

Но мне тут начали про золотой стандарт ООП рассказывать.

Не совсем понятно, при чем тут золотой стандарт. Есть теория, есть академическая среда, есть практика

Как иначе добиться расширяемости?

Tagless final же, если прям вот нужна-нужна расширяемость DU

Tagless final же, если прям вот нужна-нужна расширяемость DU

Прогоните его, пожалуйста. :)

Кароч

То,что нормально

Класс типов - контракт в чистом виде

Считается

вот с# 8 выкатят и твоя мысль обретет реальные очертания

Ну, нет. Фич подвезут, но это херня

Не обчзательно здорово

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

С т.з. того же computer sciense

@DogeShibu Или показывай tagless final на F#.

Увы, в сишарпе контрактов в чистом виде нет - ограничение один тип на контракт, реализация требуется в самом типе

Да это засланный козак

Ну, нет. Фич подвезут, но это херня

хз. рекурсивный матчинг и интерфейсы с дефолтными методами уже чтото

@DogeShibu Ты уже не первый раз обещал что-то показать, кстати. ;)

Так что я за классы типов, они кейсы с интерфейсами могут покрыть чуть более чем полностью.

Так что я за классы типов, они кейсы с интерфейсами могут покрыть чуть более чем полностью.

+

вот с# 8 выкатят и твоя мысль обретет реальные очертания

где нормальные монадки? зачем мне эти таски во все дыры? где expression everywhere? где type inference? где sum type? Я могу долго продолжать А подвезут nullable-reference - спорная имплементация Default interface methods - ОЧЕНЬ спорная фича Рекурсивный патерн мачинг - норм, но сам switch имеет мало паттернов, но это годно и вопросов нет

Так что я за классы типов, они кейсы с интерфейсами могут покрыть чуть более чем полностью.

...избавив от необходимости наследовать не только реализации, но и интерфейсы тоже

хз. рекурсивный матчинг и интерфейсы с дефолтными методами уже чтото

может с этим в сишарп чат? Никогда не понимал поливание говном технологии в ее тематическом чатике

может с этим в сишарп чат? Никогда не понимал поливание говном технологии в ее тематическом чатике

да лол, пусть поливает, почему нет? Просто надрачивать на две спорные фичи я бы не стал. Польза от nullable-reference перекрывает костыльную реализацию, но бля

может с этим в сишарп чат? Никогда не понимал поливание говном технологии в ее тематическом чатике

кто что и где поливает?

да лол, пусть поливает, почему нет? Просто надрачивать на две спорные фичи я бы не стал. Польза от nullable-reference перекрывает костыльную реализацию, но бля

да хз, тут вроде только подобрались к конструктивному разбору с @gsomix как набежали всякие

@DogeShibu Или показывай tagless final на F#.

Могу показать. Главное после работы вспомнить об этом. Tagless final же используют как решение expression problem, и в таком варианте его можно на F# сделать, как минимум, не вижу сходу проблем.

вот с# 8 выкатят и твоя мысль обретет реальные очертания

вот тут же

Могу показать. Главное после работы вспомнить об этом. Tagless final же используют как решение expression problem, и в таком варианте его можно на F# сделать, как минимум, не вижу сходу проблем.

В F# можно object algebras.

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

Могу показать. Главное после работы вспомнить об этом. Tagless final же используют как решение expression problem, и в таком варианте его можно на F# сделать, как минимум, не вижу сходу проблем.

Мне затирали, что на f# этого низя

Сам идеолог, тык скыть

Хотя я вообще не понял, чем это отличается от computation expression условного

В F# можно object algebras.

Ну да, кстати, тоже норм вариант же.

Ну да, кстати, тоже норм вариант же.

Непрактичененько. Когда я писал, то имел в виду что-то вроде полиморфных вариантов в OCaml. Это не расширяемые DU, а структурная типизация над ними.

Мне затирали, что на f# этого низя

Ну у меня была идея как хаком сделать, может конечно, она и не сработает. Надо подумать

Ну у меня была идея как хаком сделать, может конечно, она и не сработает. Надо подумать

Разверни суждение

Минутка нытья - почему докер такой?

Минутка нытья - почему докер такой?

Потому что Go-внокод

Минутка нытья - почему докер такой?

а что конкретно?

На локальной машине развернут sql и docker

В докере апп

Вопрос

Какой айпишник прописать в коннекшн стринге

Чтобы докер подконнектился к сиквелу

https://dev.to/bufferings/access-host-from-a-docker-container-4099

Ничо не понял

Какой айпишник прописать в коннекшн стринге

Там же настраивается внутрення сеть и выдаются виртуальные домены, айпишники не нужны

Ничо не понял

надо и бд и апп в докере поднимать и не париться

в разных контенерах и резолвить через имя контейнера

надо и бд и апп в докере поднимать и не париться

Так не получится пока

Пока пытаюсь понять проблему

В целом локальную сеть докер видит

И на другую машину стучится норм

И на другую машину стучится норм

Докер норм, его нужно понять но он норм

А вот на мой sql хрен

А вот на мой sql хрен

Я в докерах не разбираюсь, но мож порт какой закрыт?