ВеткаКстати я тут подумал что JonesForth уже устарел (не заведется под современным 64-разрядным линуксом), а больше вроде хор…

20 сообщений · 16:27–16:16

Кстати я тут подумал что JonesForth уже устарел (не заведется под современным 64-разрядным линуксом), а больше вроде хороших руководств нет... пора чтоли браться за перо?

16:27

R
ruv
Если можешь не браться за перо — не берись. Берись, если не можешь удержаться 😉
18:14
1. R
  Rigidus Rigidus
  Рецензентом побудешь?
  18:15
  1. R
    ruv
    Да, побуду.
    18:16
V
Vladimir Nekrasov
Ссылка
нажмите — покажем
https://dacvs.neocities.org/SF/
08:08
1. R
  Rigidus Rigidus
  на что обратить внимание?
  09:10
  1. V
    Vladimir Nekrasov
    Интересные там, скорее, комментарии в SForth.dmp (contains a primitive Forth system in 1000 hand-written bytes of annotated machine code)
    09:51
    1. V
      Vladimir Nekrasov
      Не сравнится, конечно, с твоим учебником https://github.com/rigidus/rigidus.ru/tree/master/org/lrn/forth но может пригодиться
      10:02
  2. R
    ruv
    Ссылка
    нажмите — покажем
    https://github.com/AndreiDuma/SmithForth_RISC-V This project was developed as part of my Master's thesis, in which I thoroughly annotate SmithForth's machine code before porting it to RISC-V. #forth #riscv #implementation
    11:14
    1. R
      Rigidus Rigidus
      И этого хватило на диссер? Значит ли это что написание своей форт системы с графикой, многозадачностью и прочими фичами тоже может потянуть на такое?
      11:18
      1. R
        ruv
        Видимо, хватило для получения степени магистра наук в Университете Бухареста. Для магистерской диссертации не требуется наличие абсолютной научной новизны или оригинального научного вклада.
        11:31
        R
        Rigidus Rigidus
        Я бы хотел получиить магистра таким способом, тем более что у меня его нет. Не думал что это возможно. Какие шаги стоит предпринять?
        11:32
        R
        ruv
        Найти научного руководителя, который одобрит эту тему. Дальше уже он все расскажет.
        11:33
        R
        Rigidus Rigidus
        так как у меня даже бакалавра нет, я не знаю где искать такого научника
        11:34
        R
        ruv
        Я бы вначале с пристрастием опросил GPT, — он выдаст общий расклад.
        11:39
        R
        Rigidus Rigidus
        Он нетворкинг не заменяет
        11:43
      2. R
        ruv
        По идее, в диссертации упор должен быть на исследовании, а не на реализации. Реализация должна отвечать на какой-то исследовательский вопрос. Просто сделать богатую фичами реализацию языка — это больше инженерная работа, чем научная.
        15:48
        R
        Rigidus Rigidus
        Какие могут быть направления таких исследований?
        15:49
        R
        ruv
        Вот, я копаю сейчас типизацию. Очевидно, что-то по теме статической типизации в конкатенативных языках, с прототипом для Форта — подошло бы. А вообще, поспрашивай ИИ-агентов, они расскажут.
        15:53
        R
        Rigidus Rigidus
        Чатгпт говорит что одним из направлений могут быть новые возможности: quotations; лексические области видимости; модули; алгебраические типы данных; pattern matching; исключения; продолжения; автоматическое управление памятью; effect handlers; first-class stacks. Нужна проверяемая гипотеза: Уменьшают ли quotations число сложных манипуляций со стеком без заметного роста размера реализации? Или: Позволяет ли модульная система независимо компилировать словари, сохраняя характерную для Forth интерактивность? кажется вокруг окружений тема интересная для исследований?
        16:16