Proton

Mr. Xcoder

18:12

Hi all

Who's first to make a CMC?

totallyhuman

woosh

Step Hen

@HyperNeutrino what does partial function mean here

HyperNeutrino

So like map(function, list) does what you'd expect, and map(function) returns a function f such that f(list) == map(function, list).

Step Hen

@HyperNeutrino oh that's really cool 0.o

Mr. Xcoder

CMC: Sum all the odd elements from 1 to a given positive integer higher than 1 (both inclusive). No text-solutions, spoilers + byte count please.

5 -> 9

@Mr. Xcoder 30 bytes

HyperNeutrino

18:15

o I had 32 :(

Step Hen

@HyperNeutrino uh is .. broken?

HyperNeutrino

@StepHen no...? why do you think so?

Step Hen

wait me stupid

Mr. Xcoder

@StepHen No, you probably want +1 because it is half-inclusive

HyperNeutrino

kek

Mr. Xcoder

18:16

@HyperNeutrino Outgolfed you in your own lang twice. Spoiler to yours?

HyperNeutrino

nvm 22 bytes

Mr. Xcoder

I mean, you just had >0 right?

HyperNeutrino

?

Mr. Xcoder

nvm

Step Hen

@HyperNeutrino gimme a little and I'll catch up :P

HyperNeutrino

18:16

I'm not using any special Proton features

Mr. Xcoder

@HyperNeutrino How does filter work? What's the syntax?

Business Cat

@HyperNeutrino Yeah I got that too

HyperNeutrino

filter(condition, list)

But you don't need that...

@BusinessCat nice

Business Cat

Assuming I understand the challenge...

Mr. Xcoder

29 bytes

Step Hen

18:18

@HyperNeutrino what does (+) do again?

Mr. Xcoder

@HyperNeutrino No list comprehension, right?

Step Hen

I thought it made + a function

Business Cat

Sum odd numbers between 1 and input inclusive?

HyperNeutrino

@Mr.Xcoder nope

Mr. Xcoder

@BusinessCat Yes

HyperNeutrino

18:18

@StepHen (+) returns a function that does +

Business Cat

Yeah then 22

Step Hen

@HyperNeutrino Try it online! what am I doing wrong

Mr. Xcoder

Lemme solve it too

HyperNeutrino

@StepHen That's doing (+)(1), (+)(2), (+)(3) :P

Leaky Nun

@Mr.Xcoder 12 bytes

HyperNeutrino

18:19

Try reduce

Step Hen

@LeakyNun math to the rescue

HyperNeutrino

@LeakyNun weird math stuff?

Mr. Xcoder

@LeakyNun Nope, you probably forgot inclusive

Leaky Nun

@HyperNeutrino not weird if you know the math

Mr. Xcoder

I mean, I had 12 too

Leaky Nun

18:19

@Mr.Xcoder just test it

Mr. Xcoder

@LeakyNun Yeah, it's wrong

HyperNeutrino

oh wait I just remember what summing odd numbers does... :D

Mr. Xcoder

5 yields 4, not 9

Leaky Nun

oops

Business Cat

@LeakyNun How did I not realize this

HyperNeutrino

18:20

14 bytes

Mr. Xcoder

14 bytes

HyperNeutrino

and I feel dumb for not realizing :P

Leaky Nun

14 bytes

HyperNeutrino

I think we've arrived at the optimal solution

Step Hen

@LeakyNun -~ isn't too much different from +1

Leaky Nun

18:21

@Mr.Xcoder yours doesn't work for 6

@StepHen I came up with it independently

Step Hen

@LeakyNun ik

Mr. Xcoder

@LeakyNun Nor does yours

They both give 16

Step Hen

@HyperNeutrino feature-request: switch ^ and **

HyperNeutrino

@StepHen no

Mr. Xcoder

No

Step Hen

18:22

boo

Leaky Nun

@Mr.Xcoder why on earth would // take precedence over ~ @HyperNeutrino

Mr. Xcoder

Wait, we aren't done

@LeakyNun Who knows?

Step Hen

Hyper done broke it

HyperNeutrino

Let me run the parser on something

o woops

totallyhuman

lel

HyperNeutrino

18:24

$ echo -~a//b > test.proton
$ parse test.proton
AST:<Token type=unifix_operator content=-> (prefix/expression)
|       <Token type=unifix_operator content=~> (prefix/expression)
|       |       <Token type=binary_operator content=//> (expression)
|       |       |       <Token type=identifier:expression content=a> (expression)
|       |       |       <Token type=identifier:expression content=b> (expression)

Welp

Mr. Xcoder

@HyperNeutrino bug: l=>l*(l+1)//2-l and -: 'int' and 'NoneType'... Why?

HyperNeutrino

TIO to exact usage?

Mr. Xcoder

Might wanna fix that

Step Hen

wait, the maths doesn't work @LeakyNun

I think

Mr. Xcoder

@HyperNeutrino Tio

Step Hen

18:25

since it has to work for both evens and odds

Leaky Nun

@StepHen sum of odd numbers is perfect squares

Mr. Xcoder

@StepHen It doesn't

Leaky Nun

@StepHen (l+1)//2 would work

if Hyper didn't bork -~l//2

Step Hen

oh right intdiv

me stupid

Mr. Xcoder

CMC: Divisors of a given positive integer.

12 -> [1,2,3,4,6,12]

HyperNeutrino

18:27

rip I need to fix a part of my parser

Mr. Xcoder

@Mr. Xcoder 27 bytes

Step Hen

@Mr.Xcoder you know you can reply to yourself, right?

Mr. Xcoder

@StepHen I do

Step Hen

@StepHen like this

Mr. Xcoder

I think I golfed it

Leaky Nun

18:28

26 bytes

Mr. Xcoder

@LeakyNun filter?

I was just solving with that

Leaky Nun

@Mr.Xcoder yes

Mr. Xcoder

26 bytes

I think that's it

Leaky Nun

@Mr.Xcoder yep, identical

Mr. Xcoder

ok

Step Hen

18:30

25 bytes copied from you two though

Mr. Xcoder

CMC: Check if a number is prime. cc @HyperNeutrino Does proton have any kind of any / all syntax?

HyperNeutrino

sigh well I fixed it but with a really hacky thing

Mr. Xcoder

@StepHen Mhhm, logical not?

HyperNeutrino

@Mr.Xcoder just any and all functions

Mr. Xcoder

Thx

Step Hen

18:31

@HyperNeutrino why is operator precedence so hard, it's easy in my cQuents interpreter :P

HyperNeutrino

@StepHen Because I made my own parser and it's really bad :P

Step Hen

@HyperNeutrino but I did too

and mine works flawlessly

HyperNeutrino

can I see yours

Step Hen

@Mr.Xcoder yep

@HyperNeutrino yeah but it's ASTs so I dunno if you'll copy it or no

HyperNeutrino

see I never learned anything like this so I am doing everything from scratch without knowing how to properly do anything

@StepHen mine uses ASTs too

Step Hen

18:33

@HyperNeutrino starting here and down

it's not very dynamic though

Mr. Xcoder

Pfff.. This is a valid Proton program: ([x for x:9..l if ])

Step Hen

I'm going to make those 6 functions 1 function when I rewrite

HyperNeutrino

ASCII-only was disappointed in me using a regex-like parser but he didn't seem opposed to PEG parser which is the same thing :P

Leaky Nun

@Mr.Xcoder 26 bytes

HyperNeutrino

@Mr.Xcoder yeah cuz the if isn't matched so the list contains two children, only the first of which is ever interpreted

@StepHen thanks

Mr. Xcoder

18:34

@LeakyNun 26?!

Leaky Nun

@Mr.Xcoder wat

Mr. Xcoder

nothing

HyperNeutrino

wait what CMC is this now

Mr. Xcoder

@HyperNeutrino prime

Leaky Nun

@HyperNeutrino prime

HyperNeutrino

18:35

ok thanks

Step Hen

@HyperNeutrino it parses stuff like ** first and stuff like ~ last

HyperNeutrino

o ok

Mr. Xcoder

29 bytes

Step Hen

@HyperNeutrino scratch that it does it in a weird order

HyperNeutrino

23 bytes

operator functions and argument binding ftw \o/

Mr. Xcoder

18:37

@HyperNeutrino 1 is prime

HyperNeutrino

o

Step Hen

bitwise bin ops -> +-` -> */ -> ^ -> unary ops

@Mr.Xcoder ... no it's not

Mr. Xcoder

@StepHen In his program

Step Hen

@Mr.Xcoder oh xD

Mr. Xcoder

Wait, that applies to mine too

HyperNeutrino

18:38

rip

well leaky's checks for it so :P

Step Hen

wait, it this gen primes or is prime

Leaky Nun

@StepHen is prime

the footer gen primes

HyperNeutrino

That makes mine 27 bytes then :(

Mr. Xcoder

28 bytes

HyperNeutrino

I need to learn how to golf in my language :(

4

Mr. Xcoder

18:40

@HyperNeutrino Does all require all([]) or just all() as in Python?

Leaky Nun

@Mr.Xcoder generators work

Mr. Xcoder

Yyyaay, 26 then

26 bytes

HyperNeutrino

Also 27 bytes

Leaky Nun

@HyperNeutrino yep, Leaky Nun outgolfs everyone in every language, even if they are their creator

HyperNeutrino

@LeakyNun yup :(

:P

Mr. Xcoder

18:42

@LeakyNun Even Dennis in Jelly or isaac in Pyth? :P

HyperNeutrino

Every language has its own mindset. My mindset when using Proton is too heavily focusing on function composition stuff whereas usually doing it the more trivial and Pythonic way is shorter (since Proton is very similar to Python after all :P)

Leaky Nun

@Mr.Xcoder :P

HyperNeutrino

(IIRC I learned this stuff about programming mindsets from you @LeakyNun in JHT :P)

Mr. Xcoder

Next CMC

HyperNeutrino

CMC: Sum all of the even numbers from 1 to n exclusive, without using the symbol =

This prevents you from making an anonymous function :D

Mr. Xcoder

18:43

that should be easy

Leaky Nun

@HyperNeutrino does it have to work for odd numbers?

HyperNeutrino

yes

Leaky Nun

@HyperNeutrino :c

HyperNeutrino

:P

Leaky Nun

how do you even define a function

Mr. Xcoder

18:45

Wait... You cannot assign the int(input()) to anything without =

HyperNeutrino

I mean, you just use existing functions and chaining

Leaky Nun

@HyperNeutrino how do you chain?

@Mr.Xcoder you don't need it

Mr. Xcoder

realized

Business Cat

35 bytes

I think

ANd probably bad

Leaky Nun

@BusinessCat nice

but it doesn't work for even numbers

Business Cat

18:47

It's supposed to be exclusive

Mr. Xcoder

@BusinessCat But it has to work for evens.

Step Hen

@HyperNeutrino I really need to write cQuents 1

Mr. Xcoder

41 bytes

Leaky Nun

@Mr.Xcoder :P

HyperNeutrino

@Mr.Xcoder Why would summing even numbers give an odd number ._.

Mr. Xcoder

18:48

@HyperNeutrino What is your current byte count?

HyperNeutrino

25

Step Hen

@HyperNeutrino it includes 1

HyperNeutrino

@StepHen no it checks for oddness ಠ_ಠ

Mr. Xcoder

Wait, even you said? I though they were odds

Step Hen

oh lol

HyperNeutrino

18:49

@Mr.Xcoder yes :P

Leaky Nun

3 mins ago, by Leaky Nun

@HyperNeutrino how do you chain?

@HyperNeutrino please

HyperNeutrino

Try the || operator: x || y => (y % x) == 0

@LeakyNun func + func

Mr. Xcoder

42 bytes

Leaky Nun

@HyperNeutrino is it new?

HyperNeutrino

f1 + f2 is the same as x => f2(f1(x))

@LeakyNun no it's been around for a while

Leaky Nun

18:50

@HyperNeutrino wow

Mr. Xcoder

Nvm

Step Hen

@HyperNeutrino why would func + func imply x=>

Mr. Xcoder

@HyperNeutrino Do you use a full program?

Leaky Nun

@StepHen no that doesn't

HyperNeutrino

@StepHen because func + func returns a function

@Mr.Xcoder no

Leaky Nun

18:50

x=>f2(f1(x)) itself is another function

Mr. Xcoder

How do you define a function?

ooh

Step Hen

@Mr.Xcoder a first-order citizen /s

Mr. Xcoder

reads syntax

Leaky Nun

@HyperNeutrino how do you call a dyad with the same arguments

Mr. Xcoder

> dyad

Not Jelly

@HyperNeutrino Any hints, even slight ones?

Anyone?

Step Hen

18:56

@HyperNeutrino is this supposed to work? Try it online!

Mr. Xcoder

@StepHen Forgot braces: (x,y)=>: tio.run/##KyjKL8nP@/8/zTbP1q4oNaU0OVVDQ6NCp1LT1q5Cu1JTx1BPL0/…

Step Hen

@HyperNeutrino do you have anonymous functions (not arrow) like JS has? JS has name = function(args){}

instead of function name(args){}

Mr. Xcoder

Did we kill the room or something?

Step Hen

CMC: Output nth prime

Business Cat

print("nth prime")

Mr. Xcoder

19:03

Loophole

Step Hen

@BusinessCat _=>"nth prime"

Mr. Xcoder

bye o/

Step Hen

I need a version of Java where ; is replaced with o/

System.out.println("Hello, World!") o/

Business Cat

What if our natural language also ended each statement with a semicolon;

Step Hen

@BusinessCat what if programming languages ended statements with periods...

Business Cat

19:05

Prolog does

HyperNeutrino

hi sorry left for a bit

Step Hen

we could just adopt European decimal point: 1,0

HyperNeutrino

@BusinessCat That is not a statement that is a question

Are we still doing the same CMC?

Step Hen

@HyperNeutrino we aren't doing any anymore

HyperNeutrino

o ok

Business Cat

19:07

I'm not because I have work to get done ;_;

HyperNeutrino

Has anyone gotten the 25 byte solution for the sum even numbers CMC?

Step Hen

@HyperNeutrino although I have one unanswered:

6 mins ago, by Step Hen

CMC: Output nth prime

Business Cat

I'd rather write Proton than English though

HyperNeutrino

lol

Step Hen

@HyperNeutrino no one knows your Proton-specific syntax yet :P

and no

HyperNeutrino

19:08

@StepHen Reminds me, I should add an nfind function

2&(..)+filter(2&(||))+sum

Step Hen

@HyperNeutrino so where does the input come into play...

Mr. Xcoder

0

A: Reduce string to a snippet of the alphabet

Proton, 59 bytes Port of the Python 2 submission. s=>reduce((x,y)=>x+y*((ord(y)-ord(x[-1]))%32==1),s.strip()) Try it online!

HyperNeutrino

function call

Mr. Xcoder

Anyone, golfing suggestions ^^

?

Leaky Nun

@HyperNeutrino tfw .. is also a function

HyperNeutrino

19:09

no it's an operator

Business Cat

@HyperNeutrino This language is pretty much becoming Perl at this point

Step Hen

@LeakyNun it's not, () makes it one

HyperNeutrino

@BusinessCat lol

Mr. Xcoder

@HyperNeutrino Is Proton supposed to be a combination of Python and Java, with the most golfy features from each?

HyperNeutrino

And JavaScript and Cheddar

Step Hen

19:11

@Mr.Xcoder more like Python and JavaScript

Mr. Xcoder

Cheddar? Downgoat would be proud

If anyone has golfing suggestions, drop a comment

Step Hen

Starring Proton, developed by Mr. Benzene Ring himself

Leaky Nun

CMC: square a number with function chaining

Step Hen

@HyperNeutrino please halp Try it online!

Mr. Xcoder

@LeakyNun valid?

Leaky Nun

19:24

@Mr.Xcoder of course not :P

Mr. Xcoder

Not sure what func chaining is

HyperNeutrino

@StepHen it takes two arguments ಠ_ಠ

Step Hen

@Mr.Xcoder f1 + f2

Leaky Nun

16 mins ago, by HyperNeutrino

2&(..)+filter(2&(||))+sum

HyperNeutrino

@StepHen ಠ_ಠ

Mr. Xcoder

19:24

:)

Step Hen

@HyperNeutrino still breaks

Mr. Xcoder

@LeakyNun I read without >_>

Duh

HyperNeutrino

@StepHen First of all putting & in front of it is guaranteed to fail because binary operator functions require two arguments and & prevents it from having more than one argument

Mr. Xcoder

@LeakyNun Byte count?

HyperNeutrino

@LeakyNun 6 bytes valid?

Leaky Nun

19:26

valid

@Mr.Xcoder 6 bytes

HyperNeutrino

yay

Here's 16 bytes: (x=>x,x=>x)+*(*)

Business Cat

@HyperNeutrino I think I understand this syntax now

HyperNeutrino

yay \o/

Mr. Xcoder

@HyperNeutrino How does this syntax work? Pls explain

Business Cat

It seems it turns an operator into a function

And you can use & to specify the argument of one side

Mr. Xcoder

19:28

@HyperNeutrino Pls explain

HyperNeutrino

Then, (*) is a function that multiplies and *function automatically splats the arguments

(x=>x,x=>x) is a tuple with every element being a function, so it becomes a function, kind of like distributing functions over arguments

Mr. Xcoder

ok

HyperNeutrino

Finally, + chains them together

Mr. Xcoder

@HyperNeutrino Got it... Like (+)&3 adds 3 to the parameter, right?

HyperNeutrino

yes

Step Hen

19:30

@HyperNeutrino ok, I'm confused

how does 2&(..) work

but also (**)&2

Business Cat

2&(**) also works

Step Hen

@BusinessCat but it does something different

and &2(**) is invalid

HyperNeutrino

2&(..) is equivalent to x => 2..x

Mr. Xcoder

Yay

HyperNeutrino

whereas (..)&2 is equivalent to x => x..2

@Mr.Xcoder +1

Mr. Xcoder

19:34

CMC: Check if an integer is triangular

cc @LeakyNun @StepHen @HyperNeutrino

Leaky Nun

@Mr.Xcoder oh god why

Mr. Xcoder

Don't know, just in case you wanted to leave for inactivity

sorry

Leaky Nun

@Mr.Xcoder no that wasn't what i meant

Mr. Xcoder

@LeakyNun oh, I want it to be challenging

HyperNeutrino

17 bytes

Using the cool math thing :P

Step Hen

19:37

@HyperNeutrino again, why doesn't this work: Try it online!

Mr. Xcoder

HINT TO EVERYONE: A number n is triangular iff 8n+1 = x^2, x in N.

HyperNeutrino

@StepHen Why is your print statement in the input field? :)

Step Hen

@HyperNeutrino good question

HyperNeutrino

ಠ_ಠ :P

Mr. Xcoder

I did the exact same thing >_<

HyperNeutrino

19:41

sigh

Mr. Xcoder

@HyperNeutrino 32 bytes :'-(

About double

HyperNeutrino

um why are you doing n==int(n) rather than n%1==0 or 1||n

Mr. Xcoder

:O Forgot the trick

Step Hen

@HyperNeutrino how do you do default args in =>

Mr. Xcoder

@HyperNeutrino Is this it?

HyperNeutrino

19:44

@StepHen well you have to use a nullable like a?? => ... and then check if the argument name exists

@Mr.Xcoder yup :)

Step Hen

@HyperNeutrino uh... show me? :P

Mr. Xcoder

Why doesn't n=>-~8*n**2 work... Gotta fix the operator precedence

HyperNeutrino

tio.run/…

Step Hen

@HyperNeutrino why isn't this valid... Try it online!

Mr. Xcoder

CMC: Print a diagonal line of length N.

HyperNeutrino

19:46

because I didn't implement that

Mr. Xcoder

Like, N=5:

\
 \
  \
   \
    \

No, list of lines not allowed

Step Hen

@HyperNeutrino ok what am I doing wrong here? Try it online!

HyperNeutrino

I don't know either

Step Hen

and no, nothing's in the input

Mr. Xcoder

@StepHen in?

ppperry

19:49

I just noticed that the -c flag in proton doesn't work.

Business Cat

Why is this borking?

Step Hen

@Mr.Xcoder in python it's be for i in range(0,n)

so why doesn't for i in 0..n work

Business Cat

Well, not that it would solve the challenge anyway

But my question still stands

Mr. Xcoder

Isn't it for i:0..n in PROTON?

Step Hen

@Mr.Xcoder maybe

@Mr.Xcoder nope still borked: Try it online!

Mr. Xcoder

19:50

Still

Step Hen

same error

so I think in is still legal

HyperNeutrino

o '\\' itself is borked

BORK ALERT 🚨 BORK ALERT 🚨 BORK ALERT

Mr. Xcoder

@HyperNeutrino Why?

tio.run/##KyjKL8nP@59m@z/P1k4pJk9JLys/…

Borked ^

"\\" is borked

Step Hen

@HyperNeutrino still borked after I change to "/"

Mr. Xcoder

@All You can use any char instead of `\`

HyperNeutrino

19:53

I killed string literals by accident

Step Hen

@HyperNeutrino oh fun

Mr. Xcoder

33 bytes

Step Hen

@Mr.Xcoder this still doesn't work though: Try it online! cc @HyperNeutrino

HyperNeutrino

fixed

Business Cat

I think backslash escapes were borked

Mr. Xcoder

19:55

@BusinessCat \n isn't

Business Cat

Weird

Mr. Xcoder

@StepHen for i:0..n{print(" "*i+"X")}

HyperNeutrino

@StepHen Since when did Proton use colons?

Mr. Xcoder

This is how it is supposed to work and look

HyperNeutrino

yup

Step Hen

19:56

oh ok me stupid thanks

HyperNeutrino

lol

Mr. Xcoder

28 bytes

@StepHen @Mr.Xcoder That's a snippet though.

You cannot hardcode stuff

Step Hen

31 bytes

@Mr.Xcoder I know I was testing it

@HyperNeutrino thank you for allowing stuff in lambdas :P

HyperNeutrino

40 bytes because I was trying to use function chaining which is longer :(

Step Hen

Proton will be my go-to for lambdas that actually need to do something

HyperNeutrino

19:59

np :D

Transcript for