Vyxal

Fmbalbuena

00:00

@user What name of esolang?

user

Oops (it's in a private repo, and it's crappy enough that I don't feel like discussing it more)

Fmbalbuena

ok

i want to learn Vyxal.

user

00:13

@lyxal ^

!!/info

Vyxal Bot

user

@Fmbalbuena ^ There's a tutorial there, along with other helpful links

Fmbalbuena

@lyxal @user how to put the variable to the stack?

user

Like this

Fmbalbuena

@user is "#" comments?

user

00:19

Yup, just like Python (and some other languages)

Fmbalbuena

@user What a waste of commands.

user

It's meant to make it easier to understand Vyxal, unlike other golflangs that focus solely on golfiness

One of Vyxal's primary goals is readability. Comments help with that a lot

Fmbalbuena

and making polyglots?

lyxal

@Fmbalbuena do you know how stacks work?

user

Besides, there's 254 more characters, and even more commands in all

@Fmbalbuena I suppose so, yeah

Fmbalbuena

00:20

@lyxal Yeah

lyxal

That's good

Do you know how type overloads work?

Fmbalbuena

the stack starts at [input]

@lyxal uh what is type overload?

lyxal

@Fmbalbuena it's when a built-in (element is what we call them) does different things based on the type(s) it's given

Fmbalbuena

@lyxal I still don't understand.

lyxal

For example, / (divide), performs division when given two numbers, string wrapping when given a string and a number and string spitting when given two strings

!!/run 3 4/

Vyxal Bot

00:22

@lyxal 0.75

lyxal

!!/run `abcdef`2/

Vyxal Bot

@lyxal ⟨`abc`|`def`⟩

Fmbalbuena

@lyxal i know

lyxal

!!/run `abcdecfgch``c`/

Vyxal Bot

@lyxal ⟨`ab`|`de`|`fg`|`h`⟩

lyxal

00:23

@Fmbalbuena the general idea is that everything does different things based on what is given

Fmbalbuena

!!/run `aa\`aa`

Vyxal Bot

@Fmbalbuena Did you forget to put backticks around your code (`code`)? Remember to escape any backticks in your code (to type `hi`, enter `\`hi\``).

Fmbalbuena

!!/run aa\`aa

Vyxal Bot

@Fmbalbuena 1

user

@Fmbalbuena Vyxal doesn't have infix syntax (and besides, a backslash followed by a backtick escapes the backtick in markdown)

lyxal

00:25

Vyxal can be seen as kind of postfix

user

More concatenative than postfix, really

lyxal

The elements operate in a postfix way, but they aren't parsed as postfix

Fmbalbuena

@lyxal is there Vyxal equvalent of 05AB1E ("”")

lyxal

I just have to check what that does

Fmbalbuena

This uses compressed strings which gets words.

lyxal

00:27

You can do that inside normal strings

Any sequence of two non ascii letters gets turned into a dictionary word

You can get these by using øD on a string

!!/run `Hello, World!`øD

Vyxal Bot

@lyxal `ƈṡ, ƛ€!`

user

And the other way:

!!/run `ƈṡ, ƛ€!`

Vyxal Bot

@user Hello, World!

Fmbalbuena

example

emanresu A

@Fmbalbuena It's like, say, in Python, + adds two numbers when given those, but appends two strings when given those.

lyxal

00:29

@Fmbalbuena exactly

emanresu A

That's overloading, pretty much :P

user

@emanresuA And concatenates two lists when given those (which is pretty much what Vyxal does)

Fmbalbuena

@lyxal did you see this example

emanresu A

Yeah, although not all languages do that.

lyxal

@Fmbalbuena I replied to it

And yes, that is how dictionary string compression works

emanresu A

00:30

PHP has pretty much no overloading, for example

user

Really? I thought it was the cursed language with overloading and coercion producing crazy bugs

emanresu A

And don't ask why "Lyxal" is in the compression dictionary

Fmbalbuena

@lyxal Is there "Fmbalbuena" in the compression dictionary?

emanresu A

@user Well, it has . for concatenation and + for addition :P

user

Vanity

inb4 lyxal kicks me from the room

@emanresuA Shows what i know about Vyxal

lyxal

00:32

!!/run `Fmbalbuena`øD

Vyxal Bot

@lyxal `F¡‹⇩↑↳ǔ`

emanresu A

Yeah.

lyxal

@Fmbalbuena not the whole word, but snippets of it

user

The people who made JS must've had someone like me who had no idea what JS was supposed to be but tried implementing stuff anyway :P

lyxal

Anyhow @Fmbalbuena it seems you have a good understanding of most of the basic concepts of vyxal

Vyxal Bot

00:33

@TheodoreBanks Welcome to the Vyxal chat room! Type !!/help for my list of commands, and !!/info for info about Vyxal!

lyxal

Do you understand structures?

Fmbalbuena

yes

lyxal

Then you already know vyxal :)

Fmbalbuena

00:59

@hyper-neutrino Question: !!/pull is only for users with permission?

hyper-neutrino

→ 38 messages moved to Trash

it's for admins only (which is more restrictive than privileged)

currently the only admin is me

Allxy

01:12

@hyperneutrino is this account privileged?

Asking so I don't accidentally ping everyone while testing the hyperping

hyper-neutrino

idk

!!/am i privileged

Vyxal Bot

@hyper-neutrino you are a privileged user

hyper-neutrino

you didn't even ping me btw

Fmbalbuena

!!/am i privileged

Vyxal Bot

@Fmbalbuena you are not a privileged user; ask someone to grant you permissions if you believe you should have them (user id: 524398)

Allxy

01:13

Lol

!!/am I privileged

Vyxal Bot

@Allxy you are not a privileged user; ask someone to grant you permissions if you believe you should have them (user id: 521865)

Allxy

Okay good

!!/hyperping

Vyxal Bot

@Allxy you are not a privileged user; ask someone to grant you permissions if you believe you should have them (user id: 521865)

hyper-neutrino

hyperping was already tested kekw

Allxy

Good.

Fmbalbuena

01:14

!!/not am I privileged

emanresu A

What does kekw stand for anyway?

lyxal

@hyper-neutrino well maybe I didn't see that

hyper-neutrino

it was deleted lol

so like

yeah

Allxy

Very gameristic

lyxal

@Allxy based

emanresu A

01:15

[2.7818281828, " \t\r\n\000b\000c"] apparently

user

@Allxy Don't you be doing that, Allxy, I've kicked you now :P

lyxal

Gosh dang it

emanresu A

Do mods have unkick powers?

user

Yes, an appropriate punishment

lyxal

Can ros unkick

Allxy

01:19

@user stoopid.

user

Sorry I didn't mean to do that again

lyxal

Bruh

user

I was trying to ignore you lol

lyxal

Bruh moment

user

@Allxy you're a sock you dont even have a bran of your own shutup

emanresu A

01:21

cd allxy, pip install brain

lyxal

@user I have a very simple remedy for this

But so long as you don't kick allxy again I won't have to

user

@lyxal Un-RO-ing me? lol

@emanresuA Real gamers use ~\C:\home\user\Downloads\pton\python 3.9\bin\python3.9.exe -m pip install brain

Allxy

@lyxal based? Based on what? Based on your mom?

4

user

Why you gotta keep bringing Allxy in and tempting me to kick you?

@Allxy No, based on Joe

lyxal

Because I wanted to make bad joke

@user it's not to tempt you just don't kick ez

Bold of them to assume we actually have norms

hyper-neutrino

01:46

idk if we can unkick

but we can undo the room creation ban from getting kicked

user

The norms for this room are that there are no norms

lyxal

02:15

Hey where did the test log file on the repo go?

I'm seeing a very distinct lack of txt files

Did one of y'all delete it (it's cool if you did, I'm just wondering where it went)

!!/don't ping me

Vyxal Bot

@lyxal I have taken you off of the ping list.

lyxal

!!/ping me

Vyxal Bot

@lyxal I have put you on the ping list.

lyxal

> I have taken you off of the ping list.

> off of

Should just be off

@hyper-neutrino ^

hyper-neutrino

03:33

don't both work?

i mean for consistency sure

lyxal

no I don't mean about consistency, I mean grammar wise

hyper-neutrino

why is "off of" incorrect though?

lyxal

off of

== English == === Pronunciation === (UK) IPA(key): /ˈɒfəv/, (reduced, before a consonant) /ˈɒfə/ === Preposition === off of (now colloquial) Off; from. [from 15th c.] c. 1591, William Shakespeare, Henry VI, part 2, First Folio 1623, II.1: Card. What, art thou lame? Simpc. I, God Almightie helpe me. Suff. How cam'st thou so? Simpc. A fall off of a Tree. 1740, Samuel Richardson, Pamela: Do, my dearest child, get me off of this difficulty, and I can have no other [...]. 1928, "Eye of Gawd", Time, 28 Sep 1928: "The green curtains that hung there for years and years... have been taken down...

> The use of off of as a preposition is now considered tautological or incorrect by some usage guides and is not suitable for formal or business use. Off of can be replaced with on, from or off: "This is based on (off of) his first book"; "I got the information from (off of) the Internet"; "He took a paper off (off of) his desk".

"off of" is just something that bugs me, that's all

hyper-neutrino

¯\_(ツ)_/¯ sure i'll change it

!!/pull

Vyxal Bot

@hyper-neutrino pulling new changes; I will restart in a few seconds if any updates are available

hyper-neutrino

03:38

lyxal

thank you

It's a small and petty thing, but I appreciate it

hyper-neutrino

free golf so i'll take it

lyxal

ah yes feels good to know that Ġ was never re-implemented correctly lol

user

@lyxal um, i did bc pytest was erroring, i thought i accidentally generated it

lyxal

@user lol no

that was me routing the output to a single text file

because it was too long for powershell

pytest test_elements.py >test_log.txt

also, we're below 100 failed

======================= 98 failed, 216 passed in 43.37s =======================

user

03:52

Ah

To make it shorter, you can remove the print statement to print code in processor.py

Or you can use --maxfail=3 for just the first three failures

lyxal

no no that's good

it's good the way it is

user

👍

lyxal

04:10

juicy.

gotta love those email notifications

user

Turn them off lol

lyxal

so many of these fails are just wrong test data in the yaml

lyxal

04:50

@emanresuA remember when you changed ǒ to be wrap into chunks of length 2?

you didn't update the test cases in the yaml lol

lyxal

05:04

also, we're down to 77 test case fails left

in 2 hours, I've managed to fix 21 things

very cool

nvm I can't count

we're down to 75 left

======================= 75 failed, 238 passed in 23.12s =======================

user

Nice

Actually, 69 would be nice:p

hyper-neutrino

i will take that out of context

user

05:30

🤬

lyxal

gotem

emanresu A

05:52

@lyxal Oop

(s)

emanresu A

08:37

lyxal

09:16

6 hours ago, by hyper-neutrino

Way ahead of you

emanresu A

Oof.

lyxal

10:10

So one thing I've realised is that the test cases for the constants that are also irrational (as in, pi, etc) need a bit of special treatment in the element testing file

Because the Sympy value is gonna be a little different then what the docs have

emanresu A

Yeah, and function testcases == pain :P

@lyxal And the radian/degree/trig/log/e^x functions :P

lyxal

@emanresuA exactly

emanresu A

That can be your job because needs slep, o/

lyxal

Yes, and imma explain my idea

So what I was thinking was to use nsymplify on both expected and actual value if it's detected that the expected value is in float form

Basically, it's just a little extra parsing in the test generator

lyxal

11:32

unordered = (
                            len(expected) > 1
                            and expected[0] == "{"
                            and expected[-1] == "}"
                        )

because there are totally curly brackets in the yaml

*curly brackets that aren't parts of constants

lyxal

11:53

on closer inspection, there's only one single test case where this is applied

- '["adbcdbcd"] : {"b","c","d","bc","cd","bcd","db","dbc"}'

and even then, that seems like that there's a problem with the element, not a need for a special case like this

user

12:13

Actually, multiple elements need to be compared out of of order, but I didn’t bother with those

lyxal

oh

well dang

I deleted the unordered part because it was that one element

user

I think the generated tests should optionally be able to give their own assertions

lyxal

also, there's been a surprising amount of constants implemented incorrectly lol

@user that's a good idea

user

Lol

@lyxal yeah it was too specific 👍

lyxal

======================= 61 failed, 252 passed in 57.87s =======================

huh, sympy is turning out to be more annoying than I thought

it's like itertools and symbolic math had a child

because I'm feeling a very heavy sense of deja vu with all these gosh dang sympy classes

e.g:

x = sympy.cos(sympy.nsimplify(3.1415926535, rational=True))

>>> x
cos(6283185307/2000000000)
>>> type(x)
cos

>>> type(x).__bases__
(TrigonometricFunction,)

>>> type(x).__bases__[0].__bases__
(Function,)

>>> type(x).__bases__[0].__bases__[0].__bases__
(Application, <class 'sympy.core.expr.Expr'>)

just when I thought I had a catch-all way of determining if something is sympy, they go and screw it up

because usually vyxal just checks if sympy is in str(type(whatever))

because, y'know, most sympy objects have sympy.whatever.whatever.and_so_on as their type

but apparently...

apparently

cos (and presumably sin and tan) don't

I tell you what, wrapping stuff in sympy.nsimplify makes me feel like I'm doing the coding equivalent of off-camera mining/building in minecraft

what tf is wrong with pytest?

hang on I'mm'a rant in TNB about this

because this is weird af

user

12:46

sympy doesn’t have a function to check if an object is a symp?

This is sadge, let’s roll our own Rational number library

We don’t even need most of those classes because they’re for irrationals

About what you posted in TNB, could vyxalify be borked?

Also 61 left, very cool

lyxal

wrong.

======================= 59 failed, 254 passed in 48.55s =======================

and with that, I'm off to bed

because frick trig

2

it sucks

and has too many types in sympy

!!/'night

Vyxal Bot

@lyxal o/

PyGamer0

15:35

!!/am i privileged

Vyxal Bot

@PyGamer0 you are not a privileged user; ask someone to grant you permissions if you believe you should have them (user id: 513493)

lyxal

23:54

in The Nineteenth Byte, 7 mins ago, by user

@lyxal Using isinstance(foo, sympy.Basic) might work (SO question)

Gosh dang really?

Try it online!

So it does.

Transcript for