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

sonata admin - how to add ManyToOne property field in configureListfield in sonataAdmin -

I have a phone unit unit that contains many properties for many unit entity classes I An exception is given during the rendering of a template ("You must define a associated_property option or Create a \ __counter __ \ Examens \ ExamensBundle \ unit \ Grade Proxy :: __ toString service examens.examens.admin.fonctionnaire from the field option idGrade to the method is in SonataDoctrineORMAdminBundle "): CRUD: Line_ on line_list_orm_many_to_one.html.tw Fontionnaire.php class: & lt ;? Php namespace exams \ ExamensBundle \ Entity; Use the theory / ORM \ mapping as an ORM; / ** * PhoneNationLayer * / Class Fictionalair {//...//// ** * @VARAEfimens \ Examinations Bundle \ Unit \ Grade * / Private $ IDGed; //...//} FonctionnaireAdmin.php: & lt ;? Php namespace exams ExamensBundle \ Admin; Use Sonata \ AdminBundle \ Admin \ Admin; Sonata \ AdminBundle \ Datagrid \ ListMapper; Sonata \ AdminBundle \ Datagrid \ DatagridMapper; Sonata \ AdminBundle \ Validat...
Read more

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

sql server - How to use pivot in this table -

वास्तविक तालिका संरचना ==================== =============== slno ParnetID ParnetName संवर्धन मार्केटर 1 SLM1010S SKR.RAJASHEGARAN 2 43640 2 40049 M.KANNAN 3 43640 3 40018 M.PRABU 6 43,640 4 SLM1010S SKR.RAJASHEGARAN 2 43641 5 40042 M.KANNAN 3 43,641 6 40011 M.PRABU 6 43,641 मैं अपने प्रश्न हैं: अस्थायी रूप (slno, parentid, parentname, parentpromotionid, marketerid, (चयन गणना (*) parentmaster कहां t1.marketerid = marketerid और t1.parentid से चयन युक्त = parentid और t1.parentname = parentname और slno & lt; = t1.slno) ROWNUM के रूप में parentmaster t1 रूप से) का चयन करें marketerid, [2], [6], [3] अस्थायी धुरी से (न्यूनतम (parentid) के लिए parentpromotionid में ( [2], [6], [3])) के रूप में टी लेकिन मैं इस तालिका संरचना चाहते हैं MarketerID 2 से 6 3 43,640 SLM1010S 40,018 40049 43641 SLM1010S 40011 40042 यह आपकी मदद कर सकता है .. बाज़ार का चयन करें, [2], [3], [6] से ( मार्केटर का चयन करें, संवर्धन, ParnetID parentmaster) घ धुरी (न्यूनतम (ParnetID) ([2], [3], [6])) के ...
Read more