RAW FP John Hughes Mary Sheeran 9,000,000 100,000 50% QuickSort - - PowerPoint PPT Presentation

▶
raw fp
SMART_READER_LITE
LIVE PREVIEW

RAW FP John Hughes Mary Sheeran 9,000,000 100,000 50% QuickSort - - PowerPoint PPT Presentation

May 14, 2023 330 likes •516 views

RAW FP John Hughes Mary Sheeran 9,000,000 100,000 50% QuickSort Feldspar Functional look-and-feel, targetting C for DSP processors Much more concise, and excellent performance (in some examples, early days) Feldspar lets me

slide-1
SLIDE 1

RAW FP

John Hughes Mary Sheeran

slide-2
SLIDE 2
slide-3
SLIDE 3

9,000,000

slide-4
SLIDE 4

100,000

slide-5
SLIDE 5

50%

slide-6
SLIDE 6
slide-7
SLIDE 7
slide-8
SLIDE 8
slide-9
SLIDE 9

QuickSort

slide-10
SLIDE 10
slide-11
SLIDE 11
slide-12
SLIDE 12
slide-13
SLIDE 13
slide-14
SLIDE 14
slide-15
SLIDE 15

Feldspar

  • Functional look-and-feel, targetting C for DSP

processors

  • Much more concise, and excellent

performance (in some examples, early days)

  • ”Feldspar lets me think big thoughts”
  • ”Feldspar lets me have my cookie and eat it

too”

slide-16
SLIDE 16

Development Testing DSELs Testing DSELs QuickCheck

slide-17
SLIDE 17

RAW FP