path: root/doc/forum/functions_that_yield_properties
diff options
authorspwhitton2016-06-05 06:13:06 +0000
committeradmin2016-06-05 06:13:06 +0000
commitcaf7ec750dc1d5424ab60532e52709c1cef1c8ca (patch)
treeb7200fa4fdabee02b6ee62c96725f00cd9254311 /doc/forum/functions_that_yield_properties
parent79a74a849058876bb5bc8673e7ab6ca093f70192 (diff)
Added a comment
Diffstat (limited to 'doc/forum/functions_that_yield_properties')
1 files changed, 17 insertions, 0 deletions
diff --git a/doc/forum/functions_that_yield_properties/comment_3_76f4a92cf26ae2fcc3152a0f1a19f516._comment b/doc/forum/functions_that_yield_properties/comment_3_76f4a92cf26ae2fcc3152a0f1a19f516._comment
new file mode 100644
index 00000000..7b1954bb
--- /dev/null
+++ b/doc/forum/functions_that_yield_properties/comment_3_76f4a92cf26ae2fcc3152a0f1a19f516._comment
@@ -0,0 +1,17 @@
+[[!comment format=mdwn
+ username="spwhitton"
+ subject="comment 3"
+ date="2016-06-05T06:13:05Z"
+ content="""
+> The type of this will be somewhat more complex than the one you gave, but it should work.
+GHC's inferred type is not something I can understand, and I suspect that it is far more general than it needs to be. In this sort of situation, are their strategies one can employ to write a sensible type signature? I think that the only thing I need to restrict is avoiding trying to ensure properties with info.
+> You might be able to finesse this by using a monoidial value and get the description of mkp mempty.
+Could you expand a little on this suggestion, please? I want to be able to use unmodified core properties like `User.accountFor`, and that takes a non-monoidal `User`.
+> Or, you could do something like this to tie the knot. I don't know if this is a good idea (it might even <<loop>>), but it illustrates the core problem nicely; to get at the Info, we need a Host, but to get a Host, we need to already know its properties.
+This seems to work!