Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Mar 20 00:31

    5HT on master

    cleanup (compare)

  • Mar 20 00:15

    5HT on master

    new help (compare)

  • Mar 19 23:57

    5HT on master

    Update homotopy.erl (compare)

  • Mar 19 23:51

    5HT on master

    Update console.erl (compare)

  • Mar 19 23:49

    5HT on master

    fix build (compare)

  • Mar 19 23:48

    5HT on master

    fix build (compare)

  • Mar 19 23:46

    5HT on master

    test return codes (compare)

  • Mar 19 23:43

    5HT on master

    accumulate error codes (compare)

  • Mar 19 23:34

    5HT on master

    bump (compare)

  • Mar 19 23:27

    5HT on master

    bump (compare)

  • Mar 19 23:11

    5HT on master

    folder change (compare)

  • Mar 19 23:07

    5HT on master

    folder change (compare)

  • Mar 19 22:24

    5HT on master

    bump code (compare)

  • Mar 19 22:19

    5HT on master

    bump code (compare)

  • Mar 19 22:05

    5HT on master

    fix cub (compare)

  • Mar 19 22:03

    5HT on master

    mix.exs Merge branch 'master' of github… (compare)

  • Mar 19 21:34

    5HT on master

    Update README.md (compare)

  • Mar 19 16:48

    5HT on master

    fix bnf (compare)

  • Mar 19 16:42

    5HT on master

    fix bnf (compare)

  • Mar 19 16:29

    5HT on master

    cleanup (compare)

nponeccop
@nponeccop
Синтаксис самих языков нет смысла
что за деревья ты хотел? синтаксические?
Namdak Tonpa
@5HT
да, их
распечатать их на карточках и играть как в карты
типа хаскель бьет haxe и т.д.
хотя для хаскеля там зоопарк будет
Yurii Rashkovskii
@yrashk
хах
Namdak Tonpa
@5HT
_20170428_205855.JPG
nponeccop
@nponeccop
а чо это?
табличку надо едитить :)
Namdak Tonpa
@5HT
это оглавление из Le Coq` Art
Kwik Kwik
@sirikid
А что за алгебраические эффекты?
ну в пурескрипте не совсем алгебраические :(
algebraic effects гуглятся
Kwik Kwik
@sirikid
это случайно не как в идрисе?
nponeccop
@nponeccop
хез, я не знаю как в идрисе
Pavel Yakovlev
@zmactep
Всем привет. Ребята, подскажите, пожалуйста, или отправьте где почитать. Разбираюсь с кодировками в CoC. С простыми типами из Star-0 все понятно, со списками, вроде, тоже, но, допустим, есть у меня такой ADT: data WeirdList a = Nil | Cons a (WeirdList Int). Как его преобразовать в CoC?
Namdak Tonpa
@5HT
вполне легитимный тип, можно на Ом записать даже
а в чем проблема?
Pavel Yakovlev
@zmactep
Я понимаю, что легитимный. Просто что-то несколько застопорился. Не понимаю, какая цепочка преобразований его в чистый СоС.
Pavel Yakovlev
@zmactep
Кажется, написал тип и Nil (не формально вывел, а интуитивно написал на бумажке), а вот Cons не получился пока: https://paste.in.ua/2791/
Andrey Prokopenko
@swamp-agr
(не помню уже, как снова к вам пришёл, но прочёл всё, что тут написано, залпом, и охренел)
Namdak Tonpa
@5HT
лучше чем чат ваш русский по завтипам? :-)
Andrey Prokopenko
@swamp-agr
да это просто enlightenment в чистом его виде
nponeccop
@nponeccop
мы тут ща унивалентностью балуемся в гитхабе и телеграме
Namdak Tonpa
@5HT
кочай кубикал!
Andrey Prokopenko
@swamp-agr
затащил себе пару десятков статей из лога на "подумать", пока сходу вошла аннушка от гонсалеса