в эликсире нет программирования по контракту через бехевиоры

в интерфейсах в других языках есть две стороны

первая использует интерфейс, навязывая контракт

вторая реализует

в эликсире нет первой стороны

хочешь реализуй, хочешь нет

Вот я и говорю, что ты думаешь в расках ООП

А Эликсир - не ООП

хаскель ооп?

там есть тайпклассы

Хаскель нет

== интерфейсы

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

я думаю ооп?

я говорю о контрактном программировании

Давай

а не об ооп

Если typeclass == interface

хосе приделал бехавиор на два модуля

то почему interface == typeclass?

и назвал это контрактом

вот я хожу думаю почему так

interface == typeclass по той же причине что interface == behavior

потому что так все считают

бихевиор это интерфейс по определённым причинам

я говорю что typeclass != interface, typeclass != behavior, interface != behavior

и он не обязан быть тайпклассом

как раз protocol == typeclass

Протокол определяется на данных

А бехэвиор - ни функциях

Просто в ООП данные и методы связаны в один объект

Поэтому все путают и тупят

как используют протоколы?

извиняюсь

не тот вопрос

как используют бехевиоры?

определяется бехавиор

потом говорим, что мы реализуем бехавиор определенным модулем

зачем нам это делать?

с какой целью мы реализуем бехевиор?

зачем нам нужно чтобы компилятор чекал наши функции?

Если изменится бехэвиор, то ты получишь ошибку

ок

интерфейсы тоже юзают для этого

но в основном для контрактов

поэтому бехевиоры только отчасти интерфейсы

Когда ты передаёшь объект - ты можешь прочекать его тип

Поэтому с протоколами всё работает

Это данные

с протоколами все ясно

А бехэвиор определяется на нэймспейсе

Ты передаёшь название модуля

Это не данные

Не обхект

да

Как можно прочекать его тип?

ну хз

я вот и спрашиваю, делают так или нет

я спрашиваю, можно ли в контракты через бехевиоры

оказывается нельзя

всем спасибо

Так а что тебе мешает это делать? То, что компилятор скомпилирует код?

делать что?

А если ты в Яве будешь тип передавать - ты ж тоже только во время исполнения сможешь его проверить

Что тебе мешает задать бехэвиор

И пользоваться им

ERROR: S client not available

Как контрактом

потому что контракт надо навязывать

как навязать модулю реализовать бехевиор?

Никак

зачем тогда их использовать как контракт?

это же ничего не даст

Потому что ты сам можешь это отследить раз, во вторых они определяют интерфейс

В третих никто behaviour в чистом виде не использует

в смысле глазами отследить?

Так а когда ты пишешь if(i = 0; i<= 10; i++) вместо i<10

Тебе же не падает ошибка компиляции

Если ты можешь генерировать имя модуля на лету - то как это можно отслеживать в компиляторе?

то есть в эликсире не программируют от интерфейса модуля, так?

от "абстрактного"

Тут нет наследования

то есть если мы в модуле с кучей логики рендерим маркдаун, то мы всегда будем делать Specific.Markdown.Renderer.render

я не про наследование

а про программирование от интерфейса

от абстрактного API

либо так либо require

то есть если мы в модуле с кучей логики рендерим маркдаун, то мы всегда будем делать Specific.Markdown.Renderer.render

Этот модуль

Но на самом деле в нормальном коде есть макрос __using__

а через requrie как?

Вот почитай

https://habrahabr.ru/post/312442/

спс

А насчёт ודןמע

using

https://github.com/Virviil/agala/tree/master/lib/handler

2 файла, один из которых "абстрактный"

Если в модуле написал elixir use Agala.Handler