169 похожих чатов

Я тут недавно прочитал первую главу из книги Thinking with

Types. там был пример с игрой крестики-нолики. я решил немного поиграться и как-то расширить реализацию. я реализовал — https://gist.github.com/ablearthy/399e217502edfc75cf60ec731d8900df

но вот вопрос: можно ли как-то заменить тип Three на натуральные числа, но, которые были бы ограничены?

5 ответов

8 просмотров

да, https://hackage.haskell.org/package/finite-typelits

лайфхак

может тебе просто литералы нужны?

Спасибо, качнул.

Хаскель Моисеевич Гопник
Спасибо, качнул.

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

Похожие вопросы

Обсуждают сегодня

type TObj = object procedure Init; virtual; end; TObj1 = object(TObj) procedure Init; override; end; procedure TObj1.Init; begin inherited; end; procedur...
Alexander 👋
29
Есть какой-нибудь для Delphi/FPC T*Compression(Decompression)Stream на базе LZ4/Zstd/любой другой быстрый(и хорошо сжимающий) алгоритм А ещё лучше в pure pascal А ещё лучше од...
notme
48
А чем вам питонисты не угодили?😂
.
79
Можно ли загрузить скрипт py в бота чтобы он работал по нему? как это сделать?
huskadam #RCC Фанат? @hitlerpvp
13
Всем здравствуйте! Я хотел узнать сколько стоит средняя месячная зарплата у Electron js разработчиков? Мне очень это важно и нужно, плиз помогите узнать эту инфу! Для Джунио...
U.K.
10
А дин типизация это хорошо или плохо?
Alexey
12
Исходники плюс документация? Вы гоните)) демок хватит всем
zamtmn
11
Всем привет, написал код ниже, но он выдает сегфолт, в чем причина? #include <stdio.h> #include <stdlib.h> #include <string.h> struct product { char *name; float price; };...
buzz базз
77
Язык Си можно выучить за день? По книжке ANSI C на 230 страниц
Vincent Vegan
29
Hello. Could you please help me with finding all coordinates within a radius using a spatial index, given that I have a table with coordinates? SET @lng = 37.57925; SET @lat ...
Rinchin G
7
Карта сайта