Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Dec 28 2018 05:02

    5HT on master

    Update lam.hts (compare)

  • Dec 20 2018 12:55

    5HT on master

    add \Type Arend's syntax (compare)

  • Dec 20 2018 12:50

    5HT on master

    mcedit syntax for sand256 theme (compare)

  • Dec 19 2018 15:39

    5HT on master

    fix travis (compare)

  • Dec 19 2018 15:34

    5HT on master

    travis cleanup cleanup (compare)

  • Dec 19 2018 13:55

    5HT on master

    fix travis (compare)

  • Dec 19 2018 13:47

    5HT on master

    fix travis (compare)

  • Dec 19 2018 13:40

    5HT on master

    travis (compare)

  • Dec 19 2018 13:28

    5HT on master

    travis (compare)

  • Dec 19 2018 12:53

    5HT on master

    travis (compare)

  • Dec 19 2018 12:52

    5HT on master

    travis (compare)

  • Dec 19 2018 11:42

    5HT on master

    disable travis Merge branch 'master' of github… (compare)

  • Dec 19 2018 11:36

    5HT on master

    Update Connection.ard (compare)

  • Dec 19 2018 11:21

    5HT on master

    formatting (compare)

  • Dec 19 2018 10:56

    5HT on master

    catgrpd (compare)

  • Dec 19 2018 10:49

    5HT on master

    meet/join (compare)

  • Dec 19 2018 10:32

    5HT on master

    clean connections (compare)

  • Dec 19 2018 10:28

    5HT on master

    connOr (compare)

  • Dec 19 2018 09:51

    5HT on master

    J fix (compare)

  • Dec 19 2018 09:37

    5HT on master

    category theory (compare)

Alexander Nemish
@nau
поэтому Денис, который колбасит Scala Native
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
затащил себе пару десятков статей из лога на "подумать", пока сходу вошла аннушка от гонсалеса