On Sat, Apr 21, 2012 at 7:34 AM, Steven W. Orr wrote:
> Then define a class called Bool that redefines things like __rlshift__ and
> __rrshift__. That would get >>= and <<= for Implications and nodus tolens.
> It's not a total solution. I can't see how you're going to get IFF, NAND and
> NOR.
IFF
On 4/19/2012 3:28 PM, dmitrey wrote:
hi all,
can I somehow overload operators like "=>", "->" or something like
that? (I'm searching for appropriate overload for logical implication
"if a then b")
Thank you in advance, D.
This tickled a memory from decades back when I worked in PL/I. They have
On Sat, Apr 21, 2012 at 4:21 AM, Kiuhnm
wrote:
> Another option is to rely on ugly pseudo-operators:
> a .imp. b
> a .imp (b .imp. c)
Or functions:
implies(a,b)
implies(a,implies(b,c))
That's the simplest option :) No hacks required, syntax is clear even
if the reader doesn't know what you're
On 4/20/2012 19:49, Jussi Piitulainen wrote:
Kiuhnm writes:
On 4/20/2012 17:50, Nobody wrote:
On Thu, 19 Apr 2012 12:28:50 -0700, dmitrey wrote:
can I somehow overload operators like "=>", "->" or something
like that? (I'm searching for appropriate overload for logical
implication "if a then
Kiuhnm wrote:
> You can also "overload" '<-' ;)
In the same spirit:
http://code.activestate.com/recipes/384122-infix-operators/
--
http://mail.python.org/mailman/listinfo/python-list
Kiuhnm writes:
> On 4/20/2012 17:50, Nobody wrote:
> > On Thu, 19 Apr 2012 12:28:50 -0700, dmitrey wrote:
> >
> >> can I somehow overload operators like "=>", "->" or something
> >> like that? (I'm searching for appropriate overload for logical
> >> implication "if a then b")
> >
> > You cannot cr
On 04/20/12 11:45, Kiuhnm wrote:
IOW, you can't define "->" or "=>", but you could define">=" or ">>".
You can also "overload" '<-' ;)
Oooh, that's evil. Slick, but evil! :-D
-tkc
--
http://mail.python.org/mailman/listinfo/python-list
On 4/20/2012 17:50, Nobody wrote:
On Thu, 19 Apr 2012 12:28:50 -0700, dmitrey wrote:
can I somehow overload operators like "=>", "->" or something like that?
(I'm searching for appropriate overload for logical implication "if a then
b")
You cannot create new operators, but you can control how
On Thu, 19 Apr 2012 12:28:50 -0700, dmitrey wrote:
> can I somehow overload operators like "=>", "->" or something like that?
> (I'm searching for appropriate overload for logical implication "if a then
> b")
You cannot create new operators, but you can control how existing
operators work on type
On Thursday, April 19, 2012 11:09:52 PM UTC-7, Ben Finney wrote:
> alex23 writes:
>
> > On Apr 20, 5:54 am, Jacob MacDonald wrote:
> >
> > > On Thursday, April 19, 2012 12:28:50 PM UTC-7, dmitrey wrote:
> > > > can I somehow overload operators like "=>", "->" or something like
> > > > that?
> >
alex23 writes:
> On Apr 20, 5:54 am, Jacob MacDonald wrote:
>
> > On Thursday, April 19, 2012 12:28:50 PM UTC-7, dmitrey wrote:
> > > can I somehow overload operators like "=>", "->" or something like
> > > that?
> > I don't believe that you could overload those particular operators,
> > since t
On Fri, Apr 20, 2012 at 12:43 AM, Chris Angelico wrote:
> On Fri, Apr 20, 2012 at 2:38 PM, alex23 wrote:
>> On Apr 20, 5:54 am, Jacob MacDonald wrote:
>>
>>> On Thursday, April 19, 2012 12:28:50 PM UTC-7, dmitrey wrote:
>>> > can I somehow overload operators like "=>", "->" or something like
>>>
On Thu, Apr 19, 2012 at 3:28 PM, dmitrey wrote:
> hi all,
> can I somehow overload operators like "=>", "->" or something like
> that? (I'm searching for appropriate overload for logical implication
> "if a then b")
> Thank you in advance, D.
> --
> http://mail.python.org/mailman/listinfo/python-l
On Fri, Apr 20, 2012 at 2:38 PM, alex23 wrote:
> On Apr 20, 5:54 am, Jacob MacDonald wrote:
>
>> On Thursday, April 19, 2012 12:28:50 PM UTC-7, dmitrey wrote:
>> > can I somehow overload operators like "=>", "->" or something like
>> > that?
>
>> I don't believe that you could overload those part
On Apr 20, 5:54 am, Jacob MacDonald wrote:
> On Thursday, April 19, 2012 12:28:50 PM UTC-7, dmitrey wrote:
> > can I somehow overload operators like "=>", "->" or something like
> > that?
> I don't believe that you could overload those particular operators,
> since to my knowledge they do not ex
On Thursday, April 19, 2012 12:28:50 PM UTC-7, dmitrey wrote:
> hi all,
> can I somehow overload operators like "=>", "->" or something like
> that? (I'm searching for appropriate overload for logical implication
> "if a then b")
> Thank you in advance, D.
I don't believe that you could overload t
On Thu, Apr 19, 2012 at 1:28 PM, dmitrey wrote:
> hi all,
> can I somehow overload operators like "=>", "->" or something like
> that? (I'm searching for appropriate overload for logical implication
> "if a then b")
No, because those aren't operators in Python. You could overload ">="
(__ge__) o
hi all,
can I somehow overload operators like "=>", "->" or something like
that? (I'm searching for appropriate overload for logical implication
"if a then b")
Thank you in advance, D.
--
http://mail.python.org/mailman/listinfo/python-list
18 matches
Mail list logo