Vyxal

user

01:01

Help is required to restore the vyxal thing in canvas

Terse elegant readable has become terse elegant semantle

Or we could just leave it tbh

lyxal

01:31

Also symvy planning needs a bit more attention than canvas imo

Vyxal Bot

01:56

[Discord Relay]
nailuj29#4234: new lyxal pfp 👀

lyxal

CGSE exclusive

Unrelated String

04:26

whoa

lyxal

what is it?

Vyxal Bot

[Discord Relay]
UnrelatedString#9744: was playing off the "new lyxal pfp"

lyxal

05:05

!!/help

Vyxal Bot

All of my commands start with !!/
- Use "!!/ping me" or "!!/don't ping me" to add/remove yourself from the ping list
- To evaluate Vyxal code, use "!!/run" followed by flags (if any), followed by code and inputs inside inline code blocks (multiline code is not supported; provide multiline input in multiple code blocks)
- For a full list of commands, see https://github.com/Vyxal/SE-Bot#readme

lyxal

!!/coffee

Beep boop why you no yum liquid?

!!/coffee hyper-neutrino

Vyxal Bot

@lyxal brews a cup of coffee for @hyper-neutrino

lyxal

Works for me

hyper-neutrino

05:36

probably a bug

!!/coffee

hm idk

!!/coffee .

Vyxal Bot

@hyper-neutrino brews a cup of coffee for @.

hyper-neutrino

w/e

lyxal

07:34

in The Nineteenth Byte, 27 mins ago, by hyper-neutrino

if you have smth specific you want i can ask an admin

I do got a specific library in mind

pip install vyxal on DMOJ would be cool

Because it's easier than adding the whole language as an individual thing

@hyper-neutrino ^

user

11:28

@lyxal another ai thing?

lyxal

You're only realising this now?

Y'all do realise that I've been using this one on SE for a while now right?

And that nailuj29 is only commenting on it because it's the first time they've seen it

user

I’ve never bothered looking too closely at it

It just looks black from q distance

Reminded me pf your flowey pfp

Steffan

17:53

@user

[error] Referring to non-existent class vyxal.JSMain
[error] called from core module module initializers
[error] Referring to non-existent method static vyxal.JSMain.main([java.lang.String)void
[error] called from core module module initializers
[error] There were linking errors
[error] (vyxalJS / Compile / fastLinkJS) There were linking errors
[error] Total time: 3 s, completed Apr 29, 2022 11:53:08 AM

I can't get the vyxalJS to work

the JVM works

Vyxal Bot

19:11

Steffan153 created branch VyxalS/postfix-modifiers

Steffan153 opened PR #12 (Vyxal/VyxalS) (Vyxal:postfix-modifiers → Vyxal:main): make modifiers postfix

Steffan

19:35

!!/am i privileged

!!/status

!//status

@VyxalBot status

bot ded

!!/status

@hyper-neutrino

hyper-neutrino

circular structure thing again, weird

!!/status

Vyxal Bot

@hyper-neutrino I am doing you.

hyper-neutrino

i'll try to figure out how to fix this

it could be a websocket disconnect TBH

i might just make it crash on error and auto-restart

Steffan

!!/am i privileged

Vyxal Bot

@Steffan You are not a privileged user. If you believe this is a mistake, please ask an admin to grant you permissions. [!!/promote 421797]

Seggan

21:27

i just found out that kotlin has generators

and now i cant stop using it

because i dont have to specify anymore the hasNext function for certain iterators

user

22:20

@Seggan Wait wut

@Steffan Hmm, what did you run?

Unrelated String

@lyxal oh yeah wait is nailuj not a cgcc user

Vyxal Bot

cgccuser requested changes on PR #12 (Vyxal/VyxalS): "Thanks for the changes, I'll look it over properly later"

user

22:33

@Steffan Did running vyxalJS/fastOptJS not produce similar output?

Seggan

@user vv

sequence {
    // calc
    yield(obj)
}

returns a Sequence<T>

Unrelated String

nice

Seggan

which is basically a lazy list

user

Ooh

I love how yield is just a function in the stdlib

Seggan

me too

im considering replacing JyxalList with Sequence

user

22:46

Not a bad idea, since you're using Any anyway, right?

Seggan

ye

im currently checking out the operations it provides

it provides map and filter

hmm seems Sequence is Kotlin's version of Java's Stream

but much better

user

I'd suggest using the more general Iterable instead

Seggan

nah

then my code would be much more verbose

user

Ah, you need to use asIterable

Seggan

im saying get rid of JyxalList and replace it with Sequence

user

22:53

?

Seggan

since Sequence is a lazily evaluated list just like JyxalList

user

Iterable would also work for that

Seggan

@user i think you understood me as replacing the internals of JyxalList with Sequence?

user

Kotlin's Iterable, I mean, not Java's

Seggan

theyre the same

ah nvm

i though you meant Iterator

user

22:54

@Seggan I thought you were going to replace JyxalList with Sequence<Any> everywhere

Seggan

ye i am

user

@Seggan I think they really are the same in bytecode but Kotlin just treats them as different in source code? idk

Seggan

@user just Sequence is considered a collection, and has all the map, zip, filter, etc functions in it

user

But you can instead use Iterable<Any> everywhere and do sequence { ... }.asIterable when actually constructing a lazy list

@Seggan They are extension methods, though

Seggan

iterable does not have them

user

22:56

The Sequence interface itself has only a method to get an iterator

Sure it does

The Kotlin version does

Seggan

ah

i thought only Collection had

user

They are extension methods though, you are right about that

Seggan

also you cannot "get the nth element" from an Iterable

while you can from a Sequence

user

f

List has that but again, Sequence doesn't implement List :(

Seggan

Sequence has take

which is List's get

user

23:00

Not really

It's somewhat wasteful to do seq.take(n) and then get the last element of that

Seggan

but you have the same thing with lazy lists

you have to generate all the elements before it

user

Ye

I mean it creates another Sequence object

But that's not a huge deal ¯\_(ツ)_/¯

Seggan

hmm using Sequence has a slight problem

Sequence is a generic type

user

Unchecked casts are fine

Unrelated String

wouldn't you want to do that anyways

Seggan

23:04

which means using is on it requires is Sequence<*>

user

You're casting anyway, right?

Seggan

and the * means that it is nullable

Unrelated String

oh

yikes

Seggan

and also is Nothing

user

Just use a wrapper or smth

Seggan

23:05

which means i cannot do most operations on it

Unrelated String

^

user

@Seggan That ain't a problem

You just do seq as Sequence<Any>

It'll be all good

Seggan

but thats so much more noise

user

Follow your dreams

@Seggan Use an extension method

Unrelated String

how is that that much more noise

Seggan

23:06

constantly casting

ill just go back to good ol' JyxalList

user

val Sequence<*>.toVyxal: Sequence<Any> = this as Sequence<Any>

Nonono please don't

Use Sequence

@user This reduces the noise somewhat

Seggan

@user why not

user

No real reason lol

Seggan

Sequence breaking everything

user

But it'll just be sugarier and you won't have to have implementations of map and filter and whatnot

Seggan

23:08

i do have map and filter and whatnot

user

@Seggan No I mean I have no real reason for not liking JyxalList

@Seggan Exactly, and there's no need to have an entire file for that stuff

Seggan

oops wrong one

that is the weirdest error

user

Context? (bigger screenshot plz)

Seggan

nvm fixed

Unrelated String

reminds me my plan in perhaps is to have a PerhapsList that's just a normal list except with a boolean for if it might be infinite

Seggan

23:10

but using null assertions everywhere is not pretty smh

user

Kotlin contracts could help you here

Seggan

i mean when doing operations like map and filter the elements are nullable

so i constantly have to !!

user

You could use an inline class as a wrapper

Transcript for