💅🏽 👩🏽‍🏭 🤙🏽 प्रोग्रामिंग भाषा मरकरी में गेम लाइफ 💼 👧🏻 🧛🏽

प्रोग्रामिंग लैंग्वेज मर्करी के साथ प्रयोगों के एक हिस्से के रूप में , साथ ही हाल ही में बार-बार उठाए गए खेल के विषय की छाप के तहत, जीवन ( 1 , 2 , 3 ) इस दिलचस्प प्रोग्रामिंग भाषा में इसके कार्यान्वयन को लिखना चाहता था।

बुध के बारे में संक्षेप में। इस कार्यात्मक तर्क प्रोग्रामिंग भाषा की कल्पना प्रोलॉग के सुधार के रूप में की गई थी। सुधार प्रस्ताव में स्थैतिक टाइपिंग शुरू करने में (साथ ही नियतत्ववाद के शासन को घोषित करने में) शामिल हैं। नतीजतन, संकलक के पास प्रभावी निष्पादन योग्य कोड बनाने के लिए अधिक अवसर हैं, संकलन चरण पर अधिक नियंत्रण। प्रस्तावक प्रेमी शायद एक मजाक जानते हैं:

प्रश्न: एक लाइट बल्ब को बदलने में कितने प्रोलॉग प्रोग्रामर लगते हैं?

एक: गलत।

प्रोलॉग्स के दायरे में, विजुअल प्रोलॉग टाइप किए गए उपयोगकर्ताओं के लिए एक ठोस जगह है। लेकिन यह ध्यान देने योग्य है कि विज़ुअल प्रोलॉग और मर्करी के दृष्टिकोण बहुत भिन्न हैं।

वीआईपी अभियान अधिक रूढ़िवादी है, और बुध अधिक कट्टरपंथी है। उदाहरण के लिए, शास्त्रीय प्रस्तावनाओं की सभी अनिवार्य विशेषताएं, जैसे कि मुखर / पीछे हटना, विफलता-चालित लूप, इत्यादि को पारा से बाहर निकाल दिया गया था, और I / O के साथ काम करने के तरीके उन हास्केल में मिलते-जुलते हैं, अर्थात् हर फ़ंक्शन जो इनपुट का उपयोग करता है- आउटपुट को दो अतिरिक्त चर स्वीकार करने चाहिए: WorldIn और WorldOut, जो इस फ़ंक्शन को कॉल करने से पहले और बाद में बाहरी दुनिया की स्थिति का वर्णन करते हैं। इन दो चर का उपयोग लगातार दो फ़ंक्शन कॉल के बीच पैरामीट्रिक संबंध को निर्दिष्ट करने के लिए किया जाता है, जो कंपाइलर को उन्हें पुन: व्यवस्थित करने से रोकता है। इस तरह की निर्भरता की अनुपस्थिति में, कंपाइलर कार्यों के लिए कॉल करने के लिए स्वतंत्र है / जिसके परिणामस्वरूप वह प्रोग्राम को ऑप्टिमाइज़ करने के लिए अनुरोध करता है। वीआईपी डेवलपर्स, इसके विपरीत, न केवल अनिवार्य विशेषताओं को हटा दिया, बल्कि अपने प्रोलॉग कार्यान्वयन के लिए OOP भी जोड़ा।

सामान्य तौर पर, बहुत कुछ कहा जा सकता है, लेकिन कोड पर चलते हैं। (आप आधिकारिक वेबसाइट पर , या इस रूसी भाषा की वेबसाइट पर बुध विषय पर अतिरिक्त जानकारी पा सकते हैं)।

कार्यान्वयन वास्तव में इस youtube वीडियो में दिखाए गए एपीएल समाधान दृष्टिकोण पर आधारित है:

एपीएल कोड की एक पंक्ति में गेम लाइफ ।

मुझे यकीन है कि प्रोलॉग और एरलैंग विशेषज्ञ बुध के वाक्य विन्यास को काफी परिचित पाएंगे।

:- module life. :- interface. :- import_module io. :- pred main(io, io). :- mode main(di, uo) is det. :- implementation. :- import_module int, list, require. :- type row == list(int). :- type grid == list(row). :- type sign ---> sum; mul; or_. :- type lr ---> left; right; no. :- type ud ---> up; down; no. eq([R | RR], N) = [eq_row(R, N) | eq(RR, N)]. eq([], _) = []. eq_row([H|T], N) = [(H=N->1;0) | eq_row(T,N)]. eq_row([],_) = []. sum(M1, M2) = R :- R1 = agg(M1, M2, sum) -> R = R1 ; error("can't sum"). or(M1, M2) = R :- R1 = agg(M1, M2, or_) -> R = R1 ; error("can't or"). mul(M1, M2) = R :- R1 = agg(M1, M2, mul) -> R = R1 ; error("can't mul"). sum_lst(L) = R :- ( L = [M1,M2|MM] -> R = sum_lst([sum(M1,M2)|MM]) ; L=[M] -> R = M ; error("sum_lst") ). :-func agg(grid, grid, sign) = grid is semidet. agg([R1 | RR1], [R2 | RR2], Sign) = [agg_rows(R1, R2, Sign) | agg(RR1, RR2, Sign)]. agg([], [], _) = []. :-func agg_rows(row, row, sign) = row is semidet. agg_rows([E1 | EE1], [E2 | EE2], Sign) = [agg_elts(E1, E2, Sign) | agg_rows(EE1, EE2, Sign)]. agg_rows([], [], _) = []. agg_elts(E1, E2, sum) = E1 + E2. agg_elts(E1, E2, mul) = E1 * E2. agg_elts(E1, E2, or_) = E1 \/ E2. hor([H | T], LR) = [hor_row(H, LR) | hor(T, LR)]. hor([], _) = []. head_det(L) = E :- ( L = [], error("empty list") ; L=[E1|_], E = E1 ). gen(T, N) = R :- ( N=0 -> R = [] ; R = [T|gen(T,N-1)] ). vert(M, up) = [zeros(M) | without_last(M)]. vert(M, down) = without_first(M) ++ [zeros(M)]. vert(M, no) = M. zeros(M) = gen(0, length(head_det(M))). without_first(L) = R :- ( L = [], error("without_first fail") ; L=[_ | T], R=T ). without_last(L) = R :- ( L=[], error("without_last fail") ; L=[_], R=[] ; L=[H,H1|T], R=[H|without_last([H1|T])] ). hor_row(L, left) = [0 | without_last(L)]. hor_row(L, right) = without_first(L) ++ [0]. hor_row(L, no) = L. :- func move(grid, ud, lr) = grid. move(M, UD, LR) = hor(vert(M, UD), LR). neighbours(M) = sum_lst([ move(M, up, left), move(M, up, no), move(M, up, right), move(M, no, left), move(M, no, no), move(M, no, right), move(M, down, left), move(M, down, no), move(M, down, right) ]). %% this is GoL algorithm %% next(M) = or(eq(MN,3), eq(mul(M,MN),4)) :- MN = neighbours(M). %% grid pretty-print %% print_m([H|T]) --> print_r(H), nl, print_m(T). print_m([]) --> []. print_r([H | T]) --> print_el(H), print_r(T). print_r([]) --> []. print_el(H) --> print(H=0->".";"#"). trace(M, N) --> ( {N = 0} -> [] ; print_m(M), nl, trace(next(M), N-1) ). m1 = [ [0,1,0,0,0,0,0,0,0,0], [0,0,1,0,0,0,0,0,0,0], [1,1,1,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0], [0,0,0,0,0,0,0,0,0,0] ]. main --> trace(m1,25).

वास्तव में, संपूर्ण एल्गोरिथ्म की मुख्य पंक्ति है:

 %% this is GoL algorithm %% next(M) = or(eq(MN,3), eq(mul(M,MN),4)) :- MN = neighbours(M).

जिसका शाब्दिक अर्थ है: सेल अगले चरण में जीवित रहेगा यदि उसके पड़ोसियों की संख्या, स्वयं 3 है, या पड़ोसियों की संख्या, जिसमें स्वयं भी शामिल है, 4 है और सेल जीवित है।

पारा की एक और दिलचस्प विशेषता इसकी प्रकार की कटौती करने की क्षमता है, ठीक हैसेल की तरह। ऐसा करने के लिए, --infer-all स्विच के साथ संकलित करें:

 D:\stuff\test\mercury>mmc.bat --infer-all -s hlc.gc life.m life.m:021: Inferred :- func eq(list.list(list.list(T2)), T2) = life.m:021: list.list(list.list(int)). life.m:024: Inferred :- func eq_row(list.list(T2), T2) = list.list(int). life.m:027: Inferred :- func sum(list.list(list.list(int)), life.m:027: list.list(list.list(int))) = list.list(list.list(int)). life.m:028: Inferred :- func or(list.list(list.list(int)), life.m:028: list.list(list.list(int))) = list.list(list.list(int)). life.m:029: Inferred :- func mul(list.list(list.list(int)), life.m:029: list.list(list.list(int))) = list.list(list.list(int)). life.m:031: Inferred :- func sum_lst(list.list(list.list(list.list(int)))) = life.m:031: list.list(list.list(int)). life.m:047: Inferred :- func agg_elts(int, int, life.sign) = int. life.m:051: Inferred :- func hor(list.list(list.list(int)), life.lr) = life.m:051: list.list(list.list(int)). life.m:054: Inferred :- func head_det(list.list(T)) = T. life.m:060: Inferred :- func gen(T, int) = list.list(T). life.m:066: Inferred :- func vert(list.list(list.list(int)), life.ud) = life.m:066: list.list(list.list(int)). life.m:070: Inferred :- func zeros(list.list(list.list(T))) = list.list(int). life.m:072: Inferred :- func without_first(list.list(T)) = list.list(T). life.m:078: Inferred :- func without_last(list.list(T)) = list.list(T). life.m:086: Inferred :- func hor_row(list.list(int), life.lr) = list.list(int). life.m:093: Inferred :- func neighbours(list.list(list.list(int))) = life.m:093: list.list(list.list(int)). life.m:110: Inferred :- func next(list.list(list.list(int))) = life.m:110: list.list(list.list(int)). life.m:115: Inferred :- pred print_m(list.list(list.list(int)), io.state, life.m:115: io.state). life.m:115: Inferred :- mode print_m(in, di, uo) is det. life.m:118: Inferred :- pred print_r(list.list(int), io.state, io.state). life.m:118: Inferred :- mode print_r(in, di, uo) is det. life.m:121: Inferred :- pred print_el(int, io.state, io.state). life.m:121: Inferred :- mode print_el(in, di, uo) is det. life.m:123: Inferred :- pred trace(list.list(list.list(int)), int, io.state, life.m:123: io.state). life.m:123: Inferred :- mode trace(in, di, di, uo) is det. life.m:131: Inferred :- func m1 = list.list(list.list(int)).

(इस कुंजी के बिना, सभी हस्ताक्षर कोड में निर्दिष्ट होने चाहिए)।

वास्तव में, वास्तव में लॉन्च ग्लाइडर के विकास को दर्शाता है:

 D:\stuff\test\mercury>life.exe .#........ ..#....... ###....... .......... .......... .......... .......... .......... .......... .......... #.#....... .##....... .#........ .......... .......... .......... .......... .......... .......... ..#....... #.#....... .##....... .......... .......... .......... .......... .......... .......... .#........ ..##...... .##....... .......... .......... .......... .......... .......... .......... ..#....... ...#...... .###...... .......... .......... .......... .......... .......... .......... .......... .#.#...... ..##...... ..#....... .......... .......... .......... .......... .......... .......... ...#...... .#.#...... ..##...... .......... .......... .......... .......... .......... .......... ..#....... ...##..... ..##...... .......... .......... .......... .......... .......... .......... ...#...... ....#..... ..###..... .......... .......... .......... .......... .......... .......... .......... ..#.#..... ...##..... ...#...... .......... .......... .......... .......... .......... .......... ....#..... ..#.#..... ...##..... .......... .......... .......... .......... .......... .......... ...#...... ....##.... ...##..... .......... .......... .......... .......... .......... .......... ....#..... .....#.... ...###.... .......... .......... .......... .......... .......... .......... .......... ...#.#.... ....##.... ....#..... .......... .......... .......... .......... .......... .......... .....#.... ...#.#.... ....##.... .......... .......... .......... .......... .......... .......... ....#..... .....##... ....##.... .......... .......... .......... .......... .......... .......... .....#.... ......#... ....###... .......... .......... .......... .......... .......... .......... .......... ....#.#... .....##... .....#.... .......... .......... .......... .......... .......... .......... ......#... ....#.#... .....##... .......... .......... .......... .......... .......... .......... .....#.... ......##.. .....##... .......... .......... .......... .......... .......... .......... ......#... .......#.. .....###.. .......... .......... .......... .......... .......... .......... .......... .....#.#.. ......##.. ......#... .......... .......... .......... .......... .......... .......... .......#.. .....#.#.. ......##.. .......... .......... .......... .......... .......... .......... ......#... .......##. ......##.. .......... .......... .......... .......... .......... .......... .......#.. ........#. ......###.

शायद आज के लिए बस इतना ही।

कुछ और लिंक:

विंडोज पारा भाषा वितरण यहाँ उपलब्ध है: code.google.com/p/winmercury
इस YP पर कुछ और उदाहरण: langexplr.blogspot.com/search/label/mercury
ताज़ा प्रस्ताव: 1 , 2
K और q (एपीएल के वंशज, kx.com के खेल जीवन के वन-लाइनर्स की एक जोड़ी): k , q

प्रोग्रामिंग भाषा मरकरी में गेम लाइफ

More articles: