পুরানো প্রশ্নের মতো তবে এটি সত্যিই ভাল, তাই আমি উত্তর দেব।
আপনি মনডকে কোডের ব্লক হিসাবে ভাবতে পারেন যার জন্য আপনার কীভাবে কার্যকর করা হবে তার উপর আপনার সম্পূর্ণ নিয়ন্ত্রণ রয়েছে: কোডের প্রতিটি লাইন কী ফিরবে, কোনও লাইনে ফাঁসি কার্যকর হওয়া উচিত কিনা, প্রতিটি লাইনের মধ্যে আরও কিছু প্রক্রিয়াজাতকরণ ঘটবে কিনা।
আমি কিছু জিনিস উদাহরণ দেব যা মনডস সক্ষম করে তোলে যা অন্যথায় কঠিন হবে। এই উদাহরণগুলির কোনটিই হাস্কেলের মধ্যে নেই, কেবলমাত্র আমার হাস্কেল জ্ঞানটি কিছুটা নড়বড়ে, তবে হাস্কেল কীভাবে সন্ন্যাসীদের ব্যবহারকে অনুপ্রাণিত করেছে, তার উদাহরণ এটি।
parsers
সাধারণত, আপনি যদি কোনও প্রকারের পার্সার লিখতে চান, কোনও প্রোগ্রামিং ল্যাঙ্গুয়েজ বাস্তবায়নের জন্য বলতে হয়, আপনাকে হয় বিএনএফ স্পেসিফিকেশনটি পড়তে হবে এবং পার্স করার জন্য লুপ কোডের পুরো গোছাটি লিখতে হবে, অথবা আপনাকে একটি সংকলক সংকলক ব্যবহার করতে হবে ফ্লেক্স, বাইসন, ইয়্যাক ইত্যাদি But
পার্সারগুলি আসলে ম্যানড বা বিশেষ উদ্দেশ্যমূলক ভাষা যেমন ইয়্যাক, বাইসন ইত্যাদির সাহায্যে করা যায় না
উদাহরণস্বরূপ, আমি আইআরসি প্রোটোকলের জন্য বিএনএফ ভাষা স্পেসিফিকেশন নিয়েছি :
message = [ ":" prefix SPACE ] command [ params ] crlf
prefix = servername / ( nickname [ [ "!" user ] "@" host ] )
command = 1*letter / 3digit
params = *14( SPACE middle ) [ SPACE ":" trailing ]
=/ 14( SPACE middle ) [ SPACE [ ":" ] trailing ]
nospcrlfcl = %x01-09 / %x0B-0C / %x0E-1F / %x21-39 / %x3B-FF
; any octet except NUL, CR, LF, " " and ":"
middle = nospcrlfcl *( ":" / nospcrlfcl )
trailing = *( ":" / " " / nospcrlfcl )
SPACE = %x20 ; space character
crlf = %x0D %x0A ; "carriage return" "linefeed"
এবং এটিকে F # তে কোডের প্রায় 40 লাইনে সঙ্কুচিত করে (যা অন্য ভাষা যা মনাদদের সমর্থন করে):
type UserIdentifier = { Name : string; User: string; Host: string }
type Message = { Prefix : UserIdentifier option; Command : string; Params : string list }
let space = character (char 0x20)
let parameters =
let middle = parser {
let! c = sat <| fun c -> c <> ':' && c <> (char 0x20)
let! cs = many <| sat ((<>)(char 0x20))
return (c::cs)
}
let trailing = many item
let parameter = prefixed space ((prefixed (character ':') trailing) +++ middle)
many parameter
let command = atLeastOne letter +++ (count 3 digit)
let prefix = parser {
let! name = many <| sat (fun c -> c <> '!' && c <> '@' && c <> (char 0x20)) //this is more lenient than RFC2812 2.3.1
let! uh = parser {
let! user = maybe <| prefixed (character '!') (many <| sat (fun c -> c <> '@' && c <> (char 0x20)))
let! host = maybe <| prefixed (character '@') (many <| sat ((<>) ' '))
return (user, host)
}
let nullstr = function | Some([]) -> null | Some(s) -> charsString s | _ -> null
return { Name = charsString name; User = nullstr (fst uh); Host = nullstr (snd uh) }
}
let message = parser {
let! p = maybe (parser {
let! _ = character ':'
let! p = prefix
let! _ = space
return p
})
let! c = command
let! ps = parameters
return { Prefix = p; Command = charsString c; Params = List.map charsString ps }
}
এফ # এর মোনাদ সিনট্যাক্সটি হাস্কেলের তুলনায় বেশ কুৎসিত, এবং সম্ভবত আমি এটির কিছুটা উন্নতি করতে পারতাম - তবে বাড়ি নেওয়ার বিষয়টি কাঠামোগত, পার্সার কোডটি বিএনএফ-এর মতোই। এটি কেবল মনড (বা পার্সার জেনারেটর) ব্যতীত আরও অনেক বেশি কাজ গ্রহণ করত না, এটির নির্দিষ্টকরণের সাথে প্রায় কোনও সাদৃশ্য থাকত না, এবং পড়তে এবং বজায় রাখতে উভয়ই ভয়ানক ছিল।
কাস্টম মাল্টিটাস্কিং
সাধারণত মাল্টিটাস্কিংকে একটি ওএস বৈশিষ্ট্য হিসাবে বিবেচনা করা হয় - তবে মোনাদগুলির সাহায্যে আপনি আপনার নিজস্ব শিডিয়ুলারটি লিখতে পারেন যে প্রতিটি নির্দেশ মোডের পরে প্রোগ্রামটি শিডিয়ুলারের উপর নিয়ন্ত্রণ সঞ্চার করে, যা কার্যকর করার জন্য আরও একটি মোনাড বেছে নিতে পারে।
একজন লোক গেম লুপগুলি নিয়ন্ত্রণের জন্য একটি "টাস্ক" মোনাড তৈরি করেছে (আবার এফ # তে), যাতে প্রতিটি কলগুলিতে কাজ করে এমন একটি রাষ্ট্রীয় মেশিন হিসাবে সমস্ত কিছু লেখার পরিবর্তে Update()তিনি কেবলমাত্র সমস্ত নির্দেশাবলী লিখতে পারেন যেন তারা একক ফাংশন ছিল ।
অন্য কথায়, কিছু করার পরিবর্তে:
class Robot
{
enum State { Walking, Shooting, Stopped }
State state = State.Stopped;
public void Update()
{
switch(state)
{
case State.Stopped:
Walk();
state = State.Walking;
break;
case State.Walking:
if (enemyInSight)
{
Shoot();
state = State.Shooting;
}
break;
}
}
}
আপনি যেমন কিছু করতে পারেন:
let robotActions = task {
while (not enemyInSight) do
Walk()
while (enemyInSight) do
Shoot()
}
লিনকিউ থেকে এসকিউএল
লিনকিউ থেকে এসকিউএল আসলে একটি মনাদের উদাহরণ এবং অনুরূপ কার্যকারিতা সহজেই হাস্কেলের মধ্যে প্রয়োগ করা যেতে পারে।
আমি এই সমস্ত সঠিকভাবে মনে রাখছি না বলে আমি বিশদগুলিতে উঠব না , তবে এরিক মাইজার এটিকে বেশ ভালভাবে ব্যাখ্যা করেছেন ।