Pull to refresh

Задача Эйнштейна на Mercury

Prolog *
Продолжаем неделю задачи Эйнштейна на Хабре. В дополнение к трём представленным решениям
  1. Регулярным языком
  2. Хаскеллем
  3. Прологом

позвольте представить еще одно на Mercury.

Напомним Википедию:

Mercury — язык функционально-логического программирования со строгой типизацией…
Читать дальше →
Total votes 31: ↑22 and ↓9 +13
Views 2.8K
Comments 20

Type classes в Scala

TINKOFF corporate blog Scala *
Recovery mode

В последнее время в сообществе Scala-разработчиков стали уделять всё большее внимание шаблону проектирования Type classes. Он помогает бороться с лишними зависимостями и в то же время делать код чище. Ниже на примерах я покажу, как его применять и какие у такого подхода есть преимущества.

Статься расчитана не только на программистов, пишущих на Scala, но и на Java — возможно, они получат для себя ответ, как, хотя бы в теории, выглядит решение для многих прикладных задач, в котором компоненты не связаны между собой и расширяемы уже после написания. Также это может быть интересно разработчикам и проектировщикам на любых других языках.
Читать дальше →
Total votes 9: ↑9 and ↓0 +9
Views 22K
Comments 18

Выбираемся из дебрей тестов: строим короткий путь от фикстуры к проверке

2ГИС corporate blog IT systems testing *Programming *Scala *Functional Programming *


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


Несмотря на то, что код написан на Scala, предлагаемые идеи будут актуальны для разработчиков и тестировщиков на всех языках, поддерживающих парадигму функционального программирования. Ссылку на Github с полным решением и примером вы сможете найти в конце статьи.

Читать дальше →
Total votes 30: ↑30 and ↓0 +30
Views 6.5K
Comments 5

Escaping the Thicket of Tests: Building a Shortcut from a Fixture to an Assertion

2ГИС corporate blog IT systems testing *Programming *Scala *Functional Programming *


In this article, I would like to propose an alternative to the traditional test design style using functional programming concepts in Scala. This approach was inspired by many months of pain from maintaining dozens of failing tests and a burning desire to make them more straightforward and more comprehensible.


Even though the code is in Scala, the proposed ideas are appropriate for developers and QA engineers who use languages supporting functional programming. You can find a Github link with the full solution and an example at the end of the article.

Read more →
Total votes 8: ↑6 and ↓2 +4
Views 848
Comments 0

Scala 3: избавление от implicit. Тайпклассы

Programming *Java *Scala *
Translation


Моя предыдущая статья была про неявные преобразования и extension-методы. В этой статье обсудим новый способ объявления тайпклассов в Scala 3.


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

Читать дальше →
Total votes 5: ↑5 and ↓0 +5
Views 2.9K
Comments 6