In computer programming, duck typing is an application of the duck test in type safety. It requires that type checking is deferred to runtime, and is implemented by means of dynamic typing or reflection.

В Го проверка типов не в рантайме, а в компайл-тайме, как минимум

поэтому я и говорю, что это не вполне так

но суть да — такая, если выглядит как удовлетворяющий протоколу, значит удовлетворяет

In Go, any type that has the methods required for an interface can act as that interface, regardless of whether or not it was explicitly defined or intended. Because of this, multiple sources use the term duck typing when describing Go interfaces.[7][8] However, Go typically checks for compatibility at compile-time, which is why the Go designers describe the interfaces as a form of structural typing.[9] Although in general duck typing can be implemented with reflection, the support for reflection in Go is limited. Calling methods through reflection requires the use of interface type assertions.[10] The runtime validates that the underlying type of a value supports all methods defined in the given interface. In duck typing, the runtime validates each method invokation separately.

оттуда же

Компилятор ghc такой умный и указывает подробно где неправильно - может пусть и сам исправляет автоматом ,чтобы не тянуться пальцами к клаве и тратить своё дорогое человеческое время (шутка)😊

Так не должно быть шуткой. Часто на всякие предложения GHC так и хочется сказать "yes please".

Вроде Intero умеет что-то такое.

Добавлять импорты/расширения, исправлять опечатки

Но я не пробовал, это для Emacs

Кто знает - есть в телеграмме поиск по словам итп в канале(для извлечения данных)?

Ну если нету в интерфейсе то наверное можно через апи

Ну если нету в интерфейсе то наверное можно через апи

Да из ботов можно - я из клиентов - если нет - ребята сделайте аналог яндекса на канале телеграмм на хаске(или )на любом ЯП))))(Шутка) - руки дойдут - тут презентую))))

У мя есть (ios)

Тапнуть на заголовок в чате

Выплывет панелька search-mute-report

А где бот - кинь ссылку

Или это лично на железе(((

Не понял тебя

В приложении на айос есть поиск

Ботами не пользуюсь

Я хочу чтобы был поиск по чату на канале по словам (когда знания накопятся) - как например fundep - и чел получит всё что связано на канале в fundep в идеале по всем каналам телерамма

Я о том что всегда новички пишут одно и теже вопросы - а бот туды их кидает на ответы))))

Ладно это похоже тут нет - надо Дурову кинуть идею про местный гугл(яндекс) - когда знания тут перейдут линию (теоретическую)

Извените что хаске теме написал - просто тут был))))

Всем привет!

[last news] Intero for Emacs: complete interactive development program for Haskell

Товарищи, я тут под этим постом https://ro-che.info/articles/2016-08-07-hask-category в комментариях увидел "Go prove you Haskell programs with CPO." от Максима Сохацкого

Может кто-то объяснить что такое CPO и почему хаскель программы нельзя прувнуть им?

Или хотя бы ссылочку дайте, а то я что-то не могу нагуглить

https://en.wikipedia.org/wiki/Complete_partial_order

Думаю речь про это

backpack в HEAD мержат

не прошло и 3х лет

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

ezyang вроде не писал диссер по этому

ну эт образно.. пейпер писал, эт точно помню

не он же писал

он имплементировал

хотя может он тоже уже написал

http://research.microsoft.com/en-us/um/people/simonpj/papers/modules/backpack-2016.pdf писал вроде а где ты прочитал что мержат это?

в ghc-dev

или в phabricator подписка

spj со студентм писал, янг с этим точно на icpf выступал в том или поза-том году

Опять про мультипараметрические классы типов посмотрел(лекция Москвина) вместо какого нибудь фильма для сна - хорошая штука(имхо)

Вот есть xmpp, есть otr, зачем нужно было новый протокол велосипедить? Не понимать

Что за велосипед?

Телеграм :)

Вангую - будут ещё ,но с уклоном на автоматизацию и ботоизацию

Вот есть xmpp, есть otr, зачем нужно было новый протокол велосипедить? Не понимать

В XMPP XML

Вот есть xmpp, есть otr, зачем нужно было новый протокол велосипедить? Не понимать

xmpp когда-то тоже был новым и наверно были альтернативы

Вот есть xmpp, есть otr, зачем нужно было новый протокол велосипедить? Не понимать

гугл в своё время тоже был далеко не первым поисковиком, когда запускался

У xmpp были закрыты исходники серверной части?

у xmpp нет "исходников серверной части", это протокол :) а протокол у телеграма открытый

я не фанатик телеграма, но вот так

У хмпп разброд с расширениями

и это тоже. фиг найдешь клиент, который бы во все расширения хорошо умел

Я говорю о том, что альтернативы текущему серверу telegram нет, его нельзя поднять самому. Хоть тысячу раз будь его протокол открытым, это не делает его автоматически неуязвимым и безопасным

Я говорю о том, что альтернативы текущему серверу telegram нет, его нельзя поднять самому. Хоть тысячу раз будь его протокол открытым, это не делает его автоматически неуязвимым и безопасным

Есть радикальная альтернатива - Tox

И никто их нормально не реализовал

Ни сервер ни клиенты

Есть радикальная альтернатива - Tox

по сути не то что радикальная а с правильной архитектурой

Ни сервер ни клиенты

Клиенты есть

Поэтому проще иметь свой велосипед

просто у них никто деньги в пр не вливал

Реализующие хотя бы 1/2 хер?

Не криво?

Реализующие хотя бы 1/2 хер?

Полностью совместимые

Совместимо с другими?

Хотя бы один какой?

Единственное что обновляются с опазданием, конечно

Я про хмпп

Если кто не следил

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

есть сравнимый по удобству с телеграмом мобильный джаббер клиент?

да там даже просто НОРМАЛЬНОГО не найти

и не найти людей, кто будет там с тобой чатиться

уже всё, ушла эпоха

Ну просто между безопасностью и удобством всегда выигрывает удобство