functional programming - Associative binary operation for Option in Scala -


मुझे याद है कि मोनाद एक मोनोइड है यही है, एक सहस्राब्दी बाइनरी ऑपरेशन * है, इसलिए यदि ma और mb है monadic मान तब मा * mb भी एक मौद्रिक मूल्य है

यदि ऊपर सही है, तो स्कैला में ऑप्शन के लिए बाइनरी ऑपरेशन क्या है? उदाहरण के लिए, * में कुछ (1) * कुछ (2)

( इस उत्तर से इसकी परिभाषा चुरा ली गई है और केवल किसी न किसी प्रकार का स्पष्टीकरण देने की कोशिश करता है। श्रेणी सिद्धांत का मेरा ज्ञान बल्कि मूल है। )

T = & gt; विकल्प [टी] ) मानते हैं और नहीं मान (जैसे। < कोड> कुछ (3) या कोई नहीं )।

मानों पर एक मोनोइड के लिए एक उदाहरण के रूप में, सूची [टी] ।

हमारे पास एक द्विआधारी ऑपरेशन है एक ?? ¢: एस Ã ?? एस - & gt; एस : 

  डीईएफ़ एपीएनडी [टी] (सूची 1: सूची [टी], सूची 2: सूची [टी]): सूची [टी] = सूची 1 ऐप लिस्ट 2   
 और खाली सूची  शून्य  जाहिर पहचान तत्व है हालांकि हर मोनद में कोई  अनुलग्नक  नहीं है, इसलिए उपरोक्त सभी मोनादों पर सामान्यीकृत नहीं किया जा सकता है। चलिए, द्विआधारी संचालन की परिभाषा को थोड़ा सा बदलते हैं।  
 अब, उपरोक्त मामले में  एक ??  को इनपुट मानों के ट्यूपल को लौटने के रूप में देखा जा सकता है :  <पूर्व>  सूची [टी] एक ?? सूची [टी] = & gt; (सूची [टी], सूची [टी])   
 और हमारा  अनुलग्न करें  फ़ंक्शन इस इनपुट के रूप में इस टपल को प्राप्त करता है।  
 हालांकि, हम  एक ??  को  एक ????  में ट्यूप्लिंग ऑपरेशन को बदल सकता है, अब फ़ैक्टिका संरचना का अर्थ हो सकता है।  
  (K = & gt; सूची [के]) एक ???? (कश्मीर = & gt; सूची [के]) = & gt; (कश्मीर = & gt; सूची [सूची [के]])   
 और इसलिए, हम एक समारोह को पूरा करने के लिए देख रहे हैं  μ: टी â ???? टी - & gt; टी  या अधिक विशिष्ट  
  (के = & gt; सूची [सूची [के]]) = & gt; (कश्मीर = & gt; सूची [के])   
 यह ऑपरेशन Scala में  flatten  ( join  हास्केल में) के रूप में जाना जाता है। मोनोइड का पहचान तत्व मोनड कन्स्ट्रक्टर है, जिसका स्कैला ( वापसी  हास्केल में) में कोई सामान्य नाम नहीं है, लेकिन हर मोनद के लिए मौजूद है। उदाहरण के लिए।  x = & gt; सूची (एक्स) ।  
 चीजों को लपेटने के लिए, इस प्रश्न के उत्तर और अन्य उत्तरों पर विचार करने के लिए तीन संभावनाएं हैं कि कैसे एक मोनॉड एक मोनोइड हो सकता है:  
 ए) प्रत्येक मोनद भी उपर्युक्त में मोनैक्टर रचना के तहत एक मोनोइड है।  
 बी) हर मोनद  एम [टी]  एक मोनोइड है, अगर एक मोनोइड भी है टी के लिए कुछ बाइनरी ऑपरेशन  ~ + ~ ):  के लिए {x & lt; - ma; Y & lt; - mb} उपज x ~ + ~ y   
 सी)  कुछ  मोनादों में एक या अधिक विशिष्ट मोनोइड्स हो सकते हैं जो बी में से अलग है। उदाहरण  सूची  एक ऐप या  विकल्प  एस  orElse ।

Comments

Post a Comment

Popular posts from this blog

sql - Return Function using Cursor -

My current schedule is: USERID Department NAME Real Estimated 522 Xyz Department John Wayne 2/1/14/14 8:34 522 Investigation Department John Wayne 2/17/1411: 21 78 9Except Department Bill Smith 2/17/14 9:41 78 9 Excise Department Bill Smith 2/17/14 11:16 78 9 Excise Department Bill Smith 2 / 17/14 11:50 78 9 Excise Department Bill Smith 2/17/14 12: 18 856 Explore Department Raul Castill 2/17/14 9:25 I have to create a function which enables me to enter a user ID and that Allows the user to return data from the person. However, I want to take the first line and want to hold the actual date and then put it in the 'column' check and I also carry the last row and store it in 'Check Out' in the column call. Basically, for every day, I want to record the records in the user's time and want to take the time for each day. This is what I have done so far " return @RtnValue table (useridd integer, deptname varchar (max), emplname varchar (100), actualDate da...
Read more

c++ - why does this code produce a runtime error? -

contains # lt; Stdio.h & gt; #to & lt include, conio.h & gt; #to & lt include, windows.h & gt; Structure node {int a; Structure node * next; }; Zero constructivist (Structure node ** head) {struct node * p, * temp; Int n; Printf ("Enter number \ n"); Scanf ("% d", & amp; n); P = (straight node *) maulok (psychophag (strip node)); P-> = N; If (* head == 0) {* head = p; P-> Next = 0; Temporary = p; } And {temp-> next = p; Temporary = p; P-> Next = 0; }} Void frontbacksplit (Structure node ** head, Structure node ** Head1, Structure node ** Head 2) {int counter = 0, i; Structure node * temporary, * p; Temporary = * head; While (temporary! = 0) {counter ++; Temporary = temp-> Next; } Int n; If (counter% 2 == 0) {n = counter / 2; } And {n = (counter + 1) / 2; } Temp = * head; (I = 0; i & lt; n-1; i ++) for {if (* head1 == 0) {* head1 = temp; } Temp = temp- & gt; next; } P = temp; Temporary = temp-> Next; P-> Next ...
Read more

javascript - Is there any way to add a new parameter to a function programmatically? -

Since I can set the number of expectations by calling a function its function.length Property, do I have to programmatically create the right number of parameters to include in that function at runtime? Example: var xyz = function (a, b) {}; Var BCD = function (A, B, C, D, E, F) {}; // vararg example var doc = document, func_length = xyz.length; Doc.xyz = (function () {returns function (A, B, C, D, E) works for one / but other is not}}}. Call (doctor); / * With `only two parameters ', like' Return function (A, B)`, if this function is used for `xyz` (although in this case 5 works fine), and return function ( If the function is used for 'BCD' (which does not work with only five parameters) with A, B, C, D, E, F) `6 / / Xyz.apply (blank, arguments) Think about ... but which logic ..? : // Returning function (A, B, C, D, E) does not support work with more than five parameters, which will be mostly class - hence my question / I also know very well That I use an obj...
Read more