Телеграмм чат группы haskellru страница 15993

Зигохистоморфный Пре... in Haskell

23:42пожаловаться #1

2021 April 17

ЗП

можно подобное сделать?

type TypeExpr :: forall k. k -> Type
data TypeExpr a

type TProject :: a -> TypeExpr (f a)
data TProject a b

сейчас выпадает такая ошибка

    • Not a function kind: TypeExpr (f a)
      but extra binders found: b
    • In the data type declaration for ‘TProject’

00:02пожаловаться #2

фигня какая-то написана

00:04пожаловаться #3

TypeExpr (f a) это не Type

00:04пожаловаться #4

он только имеет тип Type

00:04пожаловаться #5

мне кажется ты где-то перепутал сигнатуру и определение

00:05пожаловаться #6

а то по сути ты хочешь что-то вроде

type Nat :: Type
data Nat :: Type where
Zero :: Nat
Succ :: Nat -> Nat

type WTF :: Nat
data WTF :: Nat where
MkWTF :: Zero

00:07пожаловаться #7

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

00:07пожаловаться #8

[

[BRM]White Rabbit in Haskell

Это приободряет

00:26пожаловаться #9

Joshua Jakowlew in Haskell

Поддерживаю, года полтора назад были большие беды

01:03пожаловаться #10

Сегодня узнал, как побитовое или в хаскеле определяется. .|. лол, как такое можно было придумать ))

12:32пожаловаться #11

А что с ним не так?

12:35пожаловаться #12

И про какую из реализаций .|. идет речь?

12:36пожаловаться #13

такие фигуры обычно на заборах рисуют маркерами

12:36пожаловаться #14

А, тебя сам оператор смутил

12:36пожаловаться #15

В прологе еще есть “стрелочка” :-

12:37пожаловаться #16

Да, но стрелочка норм )

12:37пожаловаться #17

Yuuri in Haskell

Это нос с ноздрями

12:38пожаловаться #18

Yuuri in Haskell

В хаскеле чаще хихикают над оператором двойной композиции.

12:38пожаловаться #19

А она как выглядит?