Hlavní navigace

Názor k článku Kawa: překvapivě silný a výkonný dialekt Scheme pro JVM od Calculon - Dobrý den, měl bych jednu poznámku - když...

  • 30. 7. 2019 0:54

    Calculon

    Dobrý den, měl bych jednu poznámku - když se věnujete kvaternionům (což je jistě zajímavé téma), možná by stálo za to uvést alespoň, jak se používají pro výpočet rotací v trojrozměrném prostoru (jako ilustraci jejich užitečnosti). Ještě zajímavější by bylo vysvětlit, jak se ke vzorečku pro násobení došlo a proč musí být ony "imaginární jednotky" tři. To by ale asi bylo spíše na samostatný článek (s příklady z 3D grafiky).

    A ještě otázka k jednotkám - obsahuje jazyk i rovnostní logiku (resp. příslušné vyhodnocování ekvivalencí)? Pokud například vím, že V=J C**-1 a A=C s**-1, tak bych po vynásobení chtěl J s**-1 nebo přímo W. To trochu hraničí s automated reasoning, ale jde jen o rozhodnutelnou grupu řešitelnou třeba Knuth-Bendixem, takže není důvod to v jazyce nemít.

    Každopádně díky za zajímavý článek.