haskell - Caching intermediate states of a series of computations -


So, this is a solid idea: I'm writing a Scrabble Game A, and in the process of calculating all possible steps, However, I have to calculate a bunch of intermediate values ​​of the board square. I want to cache these intermediate values ​​in a way that is composable.

So, more logical:

Without caching, I have f :: w a - & gt; WB , G :: WB - & gt; WC , where w can be a factor, but in my case Scrabble board is the datatype. After adding i caching, I have f ':: m (wa) - & Gt; M (wb) , and g ':: m' (w b) - & gt; M '(WC) , where m and m are monad datat type * cached state but now i < Can not write code> f ' and g'

I'm not super familiar with the Moned Transformer, but it seems like I used it here, depending on the frequent lift my monedic functions are required. That's how deep the cached-functions were in the series of compositions. Like if I had a f 'g' h ', h' my execution would require some lift lift up . Am I off-base here? In theory, f ', g , and h are unrelated, and there is no need to know about each other's cached status Is there a better way of reflecting this freedom?

* I do not think they have to be monitored, because I do not modify other functions to m and m '. They are 'private' for f ' and g .

In general, m (w) -> M (wb) and m '(w b) - & gt; is a m a function (or other denomination joke) and

m ' is "indicated" (I.e. this is a refund / pure function), then you m (w) -> M (M '(WC)) .

Forward if m and m ' and both of them have a common mood (i.e. ma -> gt; ta < / Code> and m 'a - & gt; ta is present), then you can use those lifts and a type of structure m (v) - & Gt; T (WC) .

Freedom and composition competitiveness goals - both are good - but for writing two things, they are "matching shapes", which do not let them independently separate.


-

Comments

Post a Comment

Popular posts from this blog

Member with no value in F# -

After I am trying to convert F # to the following C # code: [StructLayout (LayoutKind.Sequential, charset = CharSet.Ansi)] Private class DOCINFOA {[MarshalAs (UnmanagedType.LPStr)] public string nomeDocumento; [Marshall (UnmanagedType.LPStr)] Public string arquivoSaida; [Marshall (UnmanagedType.LPStr)] Public String Tipodo; } I am doing the following: Named place printer module RawPrinterHelper = [& LT; StructLayout (LayoutKind.Sequential, charset = CharSet.Ansi) & gt;] Type DOCINFOA = [& LT; MarshalAs (UnmanagedType.LPStr) & gt;] Member this.nomeDocumento [& LT; MarshalAs (UnmanagedType.LPStr) & gt;] Member this.arquivoSaida [& LT; MarshalAs (UnmanagedType.LPStr) & gt;] Member This Tipoda [/ code> But I get: One type of definition is necessary for one or more members . Can I vacate these members? you val code> member : [& lt; StructLayout (LayoutKind.Sequential, charset = CharSet.Ansi) & gt;] Type DOCINFOA = [...
Read more

java - Joda Time Interval Not returning what I expect -

मेरे पास निम्न प्रोग्राम है import java.util। *; Import java.text। *; आयात करें org.joda.time। *; सार्वजनिक श्रेणी के स्कोप कंट्रोल {सार्वजनिक स्थिर अंतराल मिलनसार () {दिनांक समय currDate = नया दिनांक समय (2008, 4, 4, 15, 30, 0, 0); दिनांक समय epochDate = नया दिनांकटाइम (2000, 1, 1, 12, 0, 0, 0); अंतराल अंतराल = नया अंतराल (युरोप डेट, करोडेट); वापसी अंतराल; } सार्वजनिक स्थिर शून्य मुख्य (स्ट्रिंग [] आर्ग्स) {डबल दिनबात = मिलते समय ()। ToDurationMillis () / 1000/60/60/24; StdOut.println (daysBtween); }} मुझे आउटपुट मिल रहा है: 3016.0 लेकिन जो मैं देख रहा हूं वह है: 3016.1458333333 मैं क्या कर रहा हूँ ? toDurationMillis एक लंबा लौटा देता है, और प्रत्येक प्रभाग को int के रूप में घोषित किया जाता है। जावा इस प्रकार इनट्स को लॉन्ग में परिवर्तित कर देगा और डिवीजन को लंबे समय तक लौटाना होगा। परिणाम को अंत में दोहरे रूप में परिवर्तित करना। डबल्स का उपयोग करके अभिव्यक्ति करने के लिए जावा को बताने के लिए, अभिव्यक्ति के किसी भी घटक को दोहरे रूप में घोषित करें। उदाहरण के लिए: ...
Read more

c# - Showing a SelectedItem's Property -

So I have enabled a rightclick option for my DataGrid. I want to display the only chosen property but it is not behaving like what I would like it to display my name and additional. Public category Paymentinfo {public int PaymentNo {get; Set; } Public string date {get; Set; } Public Double Pay {get; Set; } Public Double Principle {get; Set; } Public Double Interest {get; Set; } Public Double Balance {Received; Set; }} Private Zero MenuItem_OnClick (Object Sender, RoutedEventArgs e) {MessageBox.Show (AmortGrid.SelectedItem.ToString ()); } I'm trying to apply it without using a View Module! If I place a breakpoint where the messagebox and the recipient place it on selected ITEM, then this property will display the payment. A date-payment-principle-interest-balance is the only value that needs payment. Was hoping that it would be something like this MessageBox.Show (AmortGrid.SelectedItem.PaymentNo.ToString ()); When you call ToString () So you get the class typ...
Read more