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)

Namdak Tonpa
@5HT
я ставил скала нейтив
хотел на нем N2O.scala сделать
Alexander Nemish
@nau
наколбасил генератор LL
на строках
я хочет компайлер на скале писать, но на нативной
но пока это все очень сырое
кстати, заходите ко мне https://gitter.im/lasca-lang/compiler кому интересно
nponeccop
@nponeccop
@5HT лучше суда
а то уже 100500 румов которые ничем не отличаются
Я имел ввиду хакабле чекер для школьников на Хаскеле
По пейперу и на либах
Вариантов же не так много, из тех что школьники выбирают чтобы педалить на досуге
Взять эти 43 языка побить на группы
Namdak Tonpa
@5HT
ну я понял как они побиты, но там нет например хаскелей, они в Unrelated
надо с деревьев начинать классификацию
nponeccop
@nponeccop
Ну они побиты по связи с HNC
Namdak Tonpa
@5HT
нарисовать деревья всех языков представленых на Competitors page
предлагаю так
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
затащил себе пару десятков статей из лога на "подумать", пока сходу вошла аннушка от гонсалеса