Ooh. What’s the type of (||), then?
-
-
-
It works on any HeytingAlgebra, which Record has an instance for (as of 0.12) as long as the types in the record all have instances.
নতুন কথা-বার্তা -
-
-
its just presuming monoidal mappend
-
It's lifting Semiring in the first case, and HeytingAlgebra in the second.
কথা-বার্তা শেষ
নতুন কথা-বার্তা -
-
-
I am not entirely convinced this is cool. Maybe I'm getting old.
-
You don't like lifted instances?
-
Not that implicitly, no.
-
Is it more implicit than any other lifted instance?
কথা-বার্তা শেষ
নতুন কথা-বার্তা -
-
-
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায়
-
-
-
So unlike OCaml PureScript looks like it supports polymorhic operators, if that is even the right term? At least I remember in OCaml there being a different operator for floating point and integer division.
-
I've always called them "overloaded" but I may have it incorrect as well.
-
Looks like "operator ad hoc polymorphism" could be used as well, so.. many.. words.. :)
কথা-বার্তা শেষ
নতুন কথা-বার্তা -
-
-
Love monoids!
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায়
-
লোড হতে বেশ কিছুক্ষণ সময় নিচ্ছে।
টুইটার তার ক্ষমতার বাইরে চলে গেছে বা কোনো সাময়িক সমস্যার সম্মুখীন হয়েছে আবার চেষ্টা করুন বা আরও তথ্যের জন্য টুইটারের স্থিতি দেখুন।