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

Replies (4)

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