• Haskell typefun вот я недавно в игрушечном примере делал typelevel floating point через предел type level rational, которые представляются как два type level integer. в это время можно делать через a/2^e, где a и e этот Integer. вопрос когда какое представление удобнее?

Replies (4)

  • @qnikst, Насколько я понимаю, умножэние быстрее во втором случае.
    Ну, и второй — аппаратно поддержывается, для жэлающих.
    Кроме того, банальней решаются вопросы выхода за пределы и точности.
  • @tzirechnoy, Да похоже на то. Блин я жочитал статью до поддержки real и мне страшно стало.
  • @qnikst, В чём страшно?
  • @tzirechnoy, Там честное построение приближения двумя rationals с уточнением по необходимости.