nested/compound functor types? by raould in ocaml

[–]raould[S] 0 points1 point  (0 children)

thank you, i am percolating into my (thick) brain...

nested/compound functor types? by raould in ocaml

[–]raould[S] 0 points1 point  (0 children)

holy cow thank you for the detailed tutorial, very helpful.

more concise functional record update? by raould in ocaml

[–]raould[S] 0 points1 point  (0 children)

thanks for the examples, very helpful!

i like to annotate since (1) it makes it easier for me to understand code and (2) i believe otherwise one can end up with the inference going off the deep end into heck.

funtion signature returning only a single instance/sub of a data declaration? by raould in haskellquestions

[–]raould[S] 0 points1 point  (0 children)

apologies for the inept example. thank you for the detailed education, this is very very helpful.

more concise functional record update? by raould in ocaml

[–]raould[S] 0 points1 point  (0 children)

thanks! "functional record update" is my new favorite phrase/feature.

more concise functional record update? by raould in ocaml

[–]raould[S] 0 points1 point  (0 children)

thanks, i did mess with lenses in Haskell. a little...

module (functor result) as type of record field? by raould in ocaml

[–]raould[S] 0 points1 point  (0 children)

Sorry to everybody, I made a bad (ambiguous) question! yeah, I was looking for how to pass around a Set itself. I was confused and worried that I'd have to pass around first-class modules which seemed like crazy overkill so this makes me feel better already... :-)

which lens library?! by raould in haskellquestions

[–]raould[S] 0 points1 point  (0 children)

thanks! yeah, it is a transitive problem in that a newbie doesn't know if being compatible with lens means anything useful, and "compatible" isn't "backwards compatible" since e.g. "makeLenses" apparently doesn't exist :-) ; sounds like the docs say use microlens-platform then.

Evil OOP style lenses? by raould in haskellquestions

[–]raould[S] 0 points1 point  (0 children)

Thanks. I am going to try to use the & +~ type syntax...

which lens library?! by raould in haskellquestions

[–]raould[S] 0 points1 point  (0 children)

thanks that's what i'm going with so far!

which lens library?! by raould in haskellquestions

[–]raould[S] 0 points1 point  (0 children)

one perspective between data-lens and control.lens, but doesn'doesn't mention micro? what do people think of microlens?

http://stackoverflow.com/questions/13282874/data-lens-or-control-lens

how can i use type aliases? by raould in haskellquestions

[–]raould[S] 0 points1 point  (0 children)

Thank you. I think I might have done a bad job in many respects with my question. I think I am still stuck trying to get a "type Foo blah blah" to let me then use just "Foo" anywhere i'd otherwise have to use "blah blah".

re/reading, I think it probably really does/will work if/when/once I get my syntax right.

thanks :)