-
Notifications
You must be signed in to change notification settings - Fork 0
Lessons: Nikola
dybber edited this page Nov 30, 2012
·
23 revisions
What have we learned about Nikola so far?
-
folds and scans are missing from the language and without those, we have to use meta language constructs instead. These are concealed for the Nikola compiler which thus lacks valuable information about the program structure and makes certain programs harder to write.
-
We are unsure how the built-in generate function is to supposed to be used. (We should contact Geoffrey), our binomial pricer thus generates arrays on the host and transfers the to the device
-
There seems to be a lot of errors that aren't statically checked for. This for example type checks with GHC, but Nikola fails to compile it: example1 :: Exp Int32 -> Exp Int32 example1 n = foldl (+) 0 [0..n]