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

олсо, походу, почему-то в понятии модуль постоянно смешивают инструмент абстракции, неймспейсинга, и юнит компиляции. И если первые два еще понятно, то последний имеет, имхо, весьма опосредованное отношение, и соответствие далеко не всегда прямое.

источник

23:26пожаловаться #4

Yuriy Pitomets in Haskell

Maxim Koltsov

скобки ещё лишние везде втыкать

стековые языки спешат на помощь)

источник

23:27пожаловаться #5

Maxim Koltsov in Haskell

))

источник

23:29пожаловаться #6

Maxim Koltsov in Haskell

стековый тайп-левел хммм

источник

23:29пожаловаться #7

Yuriy Pitomets in Haskell

Yuriy Pitomets

хотя оно понятно, без зав. типов пришлось бы иметь кроме значений и типов еще 2 кайнда (модули и сигнатуры), а оно нам не надо. Вот если бы открытые записи могли иметь неймспейсинг... И типы в качестве полей...

источник

23:34пожаловаться #8

Alexander Vershilov in Haskell

Maxim Koltsov

стековый тайп-левел хммм

Нужна статья Олега?

источник

23:40пожаловаться #9

Maxim Koltsov in Haskell

???

источник

23:40пожаловаться #10

Alexander Vershilov in Haskell

http://okmij.org/ftp/Haskell/polyvariadic.html#fast-forth

okmij.org

Polyvariadic functions and keyword arguments

Case analysis on the type of the function or continuation: implementing functions with the variable number of arguments or keyword arguments

источник

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

Alexander Vershilov in Haskell

> The embedding of postfix languages like Forth, Postscript or Joy in a functional language is the story of deep insights and deep frustration. We give it the long-sought happy ending.

источник

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

Maxim Koltsov in Haskell

ох

источник

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

Maxim Koltsov in Haskell

у Олега по всему на свете статьи есть что ли?

источник

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

Maxim Koltsov in Haskell

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