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
сука, 2000 строк весь компилятор – уже 2 бага
пацаны из комьюнити реально с другой планеты
есть либа llvm-hs
биндинги ллвм к хаскелю
тормозные – пиздец
а пацаны рассуждают какбы их сделать еще более типизированными
там блядь нельзя проект скомпилить если TemplateHaskell подключаешь, а они о типах.
llvm-hs/llvm-hs#95
Namdak Tonpa
@5HT
незнаю мы сами с эрланга LLVM генерили
и это занимало 1 файл
нахуй какие-то либы для этого )
Alexander Nemish
@nau
идею с филдами понял, потом сделаю
рассказываю нахуй либы
вы генерили LL файл и отдавали его clang
а я хочу чтобы можно было JIT делать
у меня будет REPL
уже есть вернее, но сейчас сломан
типа как в Julia
а для этого нужно юзать C/C++ LLVM API
а для него нужны биндинги
потому что писать компилятор на С++ это пиздец
Namdak Tonpa
@5HT
ясно
Alexander Nemish
@nau
кстати, хотите смешное?
биндингов LLVM для джавы нет
поэтому Денис, который колбасит 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 и т.д.
хотя для хаскеля там зоопарк будет