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

Stephanie Weirich: "Strongly Typed System F in GHC"

Переслано от Maxim Koltsov

https://www.youtube.com/watch?v=j2xYSxMkXeQ

17:00

YouTube

There are many examples that demonstrate how to create a strongly typed abstract syntax in Haskell for a language with a simple type system. But there are many fewer examples that allow the embedded language to be polymorphic. I will work through what it takes to do so, touching on variable binding representations, and exploring the limits of dependently-typed programming in GHC.

14:03пожаловаться #1

думаю здесь напоминание тоже не помешает

14:03пожаловаться #2

Andrey in Haskell

думаю здесь напоминание тоже не помешает

спасибo!

14:11пожаловаться #3

знаете что меня бесит?

14:15пожаловаться #4

что нельзя писать foo $ bar <$> baz

14:16пожаловаться #5

вместо foo (bar <$> baz)

14:16пожаловаться #6

пишу foo $ fmap bar $ baz

14:16пожаловаться #7

Ilia Rodionov in Haskell

что нельзя писать foo $ bar <$> baz

да! бесит!

14:17пожаловаться #8

что нельзя писать foo $ bar <$> baz

а почему нельзя?

14:17пожаловаться #9

14:17пожаловаться #10

потому что скобки в другую сторону стоят

14:17пожаловаться #11

Alexander Vershilov in Haskell

знаете что меня бесит?

+1 к бесит

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

Misha Puzanov in Haskell

а разве нельзя “foo . bar <$> baz” в этом случае?

14:18пожаловаться #13

ещё раз, я не это хочу

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

Misha Puzanov in Haskell

смотря какая foo конечно

14:18пожаловаться #15

нет

14:18пожаловаться #16

> нельзя писать foo $ bar <$> baz
> вместо foo (bar <$> baz)

так, вот я написал foo $ bar <$> baz

14:19пожаловаться #17

никто не запретил, все работает именно как foo (bar <$> baz)

14:20пожаловаться #18

Alexander Vershilov in Haskell

наоборот нельзя

14:20пожаловаться #19

Alexander Vershilov in Haskell

foo <$> bar $ baz