Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • May 06 15:49
    jvasileff closed #7469
  • May 06 15:49
    jvasileff commented #7469
  • May 05 06:11
    CretinHo opened #7469
  • Apr 07 08:41
    ShalokShalom commented #7454
  • Mar 08 08:49
    FroMage closed #525
  • Mar 08 08:49
    FroMage commented #525
  • Mar 01 16:20
    jvasileff commented #525
  • Mar 01 16:17
    jvasileff assigned #525
  • Feb 27 19:24
    kingjon3377 opened #525
  • Jan 12 13:12
    FroMage commented #524
  • Jan 12 12:20
    kingjon3377 closed #524
  • Jan 12 12:20
    kingjon3377 commented #524
  • Jan 12 10:42
    FroMage commented #524
  • Jan 11 23:33
    kingjon3377 commented #524
  • Jan 11 08:18
    FroMage commented #524
  • Jan 10 17:11
    kingjon3377 opened #524
  • Jan 04 11:03
    msx80 commented #7454
  • Jan 02 20:43
    kinegg commented #7454
  • Jan 02 18:20
    momomo commented #7454
  • Jan 02 12:58
    kinegg commented #7454
Umar Ali
@karimiumar

` public interface Condition {
Condition FALSE = facts -> false;
Boolean evaluate(Fact<?> fact);
default Condition and(Condition other) {
return fact -> this.evaluate(fact) && other.evaluate(fact);
}

default Condition or(Condition other) {
    return fact -> this.evaluate(fact) || other.evaluate(fact);
}

default Condition not() {
    return fact -> !this.evaluate(fact);
}

} @Test
public void testCondition() {
String str = "A String";
Condition a = fact -> !str.isBlank();
Condition b = fact -> str.contains("A");
a.and(b);
}`

Wojciech Potiopa
@Voiteh
interface Condition<Fact>{

    shared static Condition<Fact> falseCondition => object satisfies Condition<Fact> {
        shared actual Boolean evaluate(Fact fact) => false;
    };
    shared static Condition<Data >create<Data>(Boolean(Data) evala)=> object satisfies Condition<Data>{
        shared actual Boolean evaluate(Data fact) => evala(fact);
    };

    shared formal Boolean evaluate(Fact fact);

    shared default Condition<Fact> and(Condition<Fact> other)=> object satisfies Condition<Fact>{
        shared actual Boolean evaluate(Fact fact) => this.evaluate(fact) && other.evaluate(fact);

    };

    shared default Condition<Fact> or(Condition<Fact> other)=> object satisfies Condition<Fact>{
         shared actual Boolean evaluate(Fact fact) => this.evaluate(fact) || other.evaluate(fact);
    };

    shared default Condition<Fact> not=> object satisfies Condition<Fact>{
        shared actual Boolean evaluate(Fact fact) => !this.evaluate(fact); 

    };

}
shared test void testConditions(){
    value a=Condition.create<String>((String fact) => !fact.empty);
    value b=Condition.create<String>((String fact)=> fact.contains("A"));
    value result=a.and(b).evaluate("A string");
    assert(result);
}
You may take out Condition.create as top level function so You don't have to prefix it
Wojciech Potiopa
@Voiteh
It could be simplified a bit if You would not pass condition to and and or but function reference like in create so it would be:
interface Condition<Fact>{

    shared static Condition<Fact> falseCondition => object satisfies Condition<Fact> {
        shared actual Boolean evaluate(Fact fact) => false;
    };
    shared static Condition<Data >create<Data>(Boolean(Data) evala)=> object satisfies Condition<Data>{
        shared actual Boolean evaluate(Data fact) => evala(fact);
    };

    shared formal Boolean evaluate(Fact fact);

    shared default Condition<Fact> and(Boolean(Fact) other)=> object satisfies Condition<Fact>{
        shared actual Boolean evaluate(Fact fact) => this.evaluate(fact) && other(fact);

    };

    shared default Condition<Fact> or(Boolean(Fact) other)=> object satisfies Condition<Fact>{
         shared actual Boolean evaluate(Fact fact) => this.evaluate(fact) || other(fact);
    };

    shared default Condition<Fact> not=> object satisfies Condition<Fact>{
        shared actual Boolean evaluate(Fact fact) => !this.evaluate(fact); 

    };

}
shared test void testConditions(){
    value a=Condition.create<String>((String fact) => !fact.empty);
    value b=((String fact)=> fact.contains("A"));
    value result=a.and(b).evaluate("A string");
    assert(result);
}
Umar Ali
@karimiumar
@Voiteh Thank you.
Wojciech Potiopa
@Voiteh
the second option wont work if You would b.and(a) because b is now just a function and not Condition
probably there is a way to make it less verbose but i don't know the syntax
Umar Ali
@karimiumar
Ok
Umar Ali
@karimiumar

Does ceylon-1.3.3 support static interface member? I'm frequently getting following exception:

Ceylon backend error: method does not override or implement a method from a supertype
Some classes are missing from the generated module archives, probably because of an error in the Java backend compilation.

This is the case both from CLI and IDE-eclipse(oxygen) & IntelliJ-2017.2. JDK is 1.8.0_202 on Windows 7

Wojciech Potiopa
@Voiteh
it does but it's buggy as You see
Wojciech Potiopa
@Voiteh
You can use top level functions they more bug free from my experience
kiti_Nomad
@Kiti-Nomad
do you know this?
Saigut
@Saigut
Hey, what is the difference between and Streams and Sequences? Aren't they both the sequence of data?
msx80
@msx80
I think streams are a more generic abstraction, they define something that can be iterated, possibly lazily, including infinite series of values. Sequences are more like regular arrays or lists, ie materialized serie of actual data.
Sequences extends streams (Iterables)
David Festal
@davidfestal
Exactly
Zamfofex
@zamfofex

Hello once again, everyone! I hope you all have been doing well!

To anyone who might still frequent this channel: I don’t know if it’s of interest to anyone, but I wanted to mention that I decided to spend some time today generating a native image for my old solitaire game with GraalVM. It took me a while to figure it out, but it seems everything is working fine now!

I have been really looking forward to start playing around with Ceylon again! I don’t care if the project has been going slow lately, I just want to be able to actually enjoy a programming language again for once! And Ceylon is such a nice language, I feel like it’s difficult to not enjoy it. :blush:

I wish a great end of year to whomever here cares about the Gregorian calendar! :tada: All the best!

Zamfofex
@zamfofex
Here’s the executable!
unxz < solitaire.xz > solitaire
chmod +x solitaire
./solitaire
kiti_Nomad
@Kiti-Nomad
新春快乐!
kiti_Nomad
@Kiti-Nomad
祝大伙儿身体健康,万事如意,心想事成,财源滚滚!
Jonas Berlin
@xkr47
@zamfofex nice! :)
I have been getting enthusiastic about the Rust language lately
ShalokShalom
@ShalokShalom
Hi there :)
OCaml has a higher order module system and I considered it as the most advanced module system because of this, since it allows for structures that not even Haskell allows with its type classes.
Now I read on the announcement post of Ceylon becoming an official project of the Eclipse post, that Ceylon "has the most sophisticated and cleanly-integrated module system of any programming language."
kiti_Nomad
@Kiti-Nomad
Ocaml is a great language, I found it in many new languages, even F# looks exactly like Ocaml