Size: a a a

2021 March 02

[

[BRM]White Rabbit in Haskell
Kir
Нет там никакой хаскелльно магии
Я просто идиот и долблюсь над начальным уровнем в хаскеле с пол года, для меня всё что дальше пока выглядит как магия
источник

K

Kir in Haskell
Ааа
источник

В

Василий in Haskell
на всякий случай
осуждаю)))
источник

A

Andrey in Haskell
давайте без голосовых сообщений тут пожалуйста
источник

[

[BRM]White Rabbit in Haskell
Окей, с type мне вчера рассказали, как задать класс для a. Можно ли это как-то сделать для data?)
источник

KV

Kirill Valyavin in Haskell
[BRM]White Rabbit
Окей, с type мне вчера рассказали, как задать класс для a. Можно ли это как-то сделать для data?)
Ответ такой же, можно через forall, но скорее всего не нужно
источник

c

certifiable fleece in Haskell
[BRM]White Rabbit
Окей, с type мне вчера рассказали, как задать класс для a. Можно ли это как-то сделать для data?)
DatatypeContexts вроде бы, но он не просто так deprecated.
источник

c

certifiable fleece in Haskell
Тебе все равно в функциях потом придется констрейнты писать
источник

[

[BRM]White Rabbit in Haskell
В шарпах в этом году такой же синтаксис добавили для иммутабельных записей. Сколько лет оно есть в хаскеле?)
источник

D

Dreamerinnoise in Haskell
изначально
источник

к

кана in Haskell
[BRM]White Rabbit
Окей, с type мне вчера рассказали, как задать класс для a. Можно ли это как-то сделать для data?)
не понял вопроса
источник

к

кана in Haskell
опиши словами, какой именно тип ты хочешь, какие у него могут быть значения, и как он должен использоваться
источник

[

[BRM]White Rabbit in Haskell
Да забей, просто я иронизирую над тем, что эта штука в хаскеле дольше, чем шарпы существуют, но там её ввели только в прошлом году, да ещё и в урезанном виде
источник

к

кана in Haskell
обычное это описание, если оно точное, тривиально кодируется в хаскеле
источник

к

кана in Haskell
не, там реплай не про апдейт, а про Point
источник

[

[BRM]White Rabbit in Haskell
А, блин, ты под другое ответил
источник

[

[BRM]White Rabbit in Haskell
кана
опиши словами, какой именно тип ты хочешь, какие у него могут быть значения, и как он должен использоваться
Мне нужна точка, у которой есть координата X и координата Y, которые принадлежат к классу Num.
источник

к

кана in Haskell
а тип координат должен быть известен на тайплевеле
источник

к

кана in Haskell
то есть если например у тебя есть точка
p :: Point
на тайплевеле должно быть можно узнать, там инт или дабл?
источник

[

[BRM]White Rabbit in Haskell
по дальнейшему использованию разве что
источник