search

ghorn / dynobud

your dynamic optimization buddy
GNU Lesser General Public License v3.0
27 stars 5 forks source link

get rid of JV (View refactor) #95

Open ghorn opened 8 years ago

ghorn commented 8 years ago

I want to get rid of JV, but preserve the symbolic splitting properties of View (that is, don't break everything into a scalar.

Maybe a function like

split :: J (f :. g) a -> f (J g a)

would accomplish this.

The open question is how to handle products. A little template haskell could give special lenses, perhaps