ВеткаСтатья 1992 года о Forth.

9 сообщений · 21:21–17:04

Статья 1992 года о Forth. Не будем судить автора строго. Там такой пример: : тройной-сдвиг-влево сдвиг-влево сдвиг-влево сдвиг-влево ; что по сути есть: : 8* ( u -- u1 ) 3 lshift ; https://compiler.su/_A/014.html PS Полагаю, Forth как и Lisp, критикуют весьма посредственные программисты.

21:21

В
Вячеслав Маслов
Но если записать : : 8* ( x -- x1 ) 8 * ; то видно, что ваше определение не тождественно моему, не по реализации, а по типам параметров, которые они обслуживают.
14:25
1. В
  Вадим Яковлев
  Фотография
  нажмите — покажем
  Можно и так ( u -- u1 ) Я не особо думаю о типах. Для меня на стеке параметров просто числа.
  16:25
2. R
  ruv
  Это определение является системно-зависимым, т.к. «*» применяется к значению типа x.
  16:31
  1. В
    Вадим Яковлев
    Не понимаю что значит "системно-зависимым". Не знаю как сейчас работает по скорости lshift по сравнению с умножением, но в старых системах умножение работало медленнее чем lshift.
    16:36
    1. R
      ruv
      Зависимость от реализации Форт-системы (see implementation dependent) — зависимость от поведения или функции системы, которые не предписаны стандартом. #forth #terminology
      16:43
      1. R
        ruv
        Термином "implementation dependent" (зависящее от реализации) характеризуется функция или поведение, которое должна предоставлять система, но стандарт не определяет, как именно это реализуется, и не требует это документировать. #forth #terminology
        17:02
    2. В
      Вячеслав Маслов
      : 8* 3 lshift ; : *8 8 * ; : tst1 t6| 2 8* |1t ; seet tst1 : tst2 t6| 2 *8 |1t ; seet tst2 tst1 (10**6 runs) pr: 0 0 T1 = 1212816 tics 0 ms 275 us 640 ns pr: 2 2 Tc = 1221440 tics 0 ms 277 us 600 ns tst2 (10**6 runs) pr: 18 18 T1 = 4118224 tics 0 ms 935 us 960 ns pr: 2 2 Tc = 4084036 tics 0 ms 928 us 190 ns PS. По прежнему сдвиг в разы быстрее.
      17:04
R
ruv
Это определение тоже системно-зависимое, но в меньшей степени.
16:34