The Nineteenth Byte

quartata

3:00 AM

C++ lambdas fit just fine in a std::function

Function pointers are a thing for C statement block functions

Qwerp-Derp

Does the syntax above work

quartata

I think you grossly underestimate how powerful modern C++ is. That's why we're not compiling to LLVM.

Qwerp-Derp

A(m, n) -> [m = 0: n + 1
           [n = 0: A(m - 1, 1)
           [A(m - 1, A(m, n - 1))

Downgoat

Ok well if you're going to C++ that's different

quartata

Not really. Function pointers exist in C too.

Downgoat

3:02 AM

@Qwerp-Derp I'm not a fan at the lack of matchinf braces and less whitespace honestly

Qwerp-Derp

Golfed:

quartata

Most of the transpiled code will be like C. We'll probably need to end up plundering C++'s stdlib for implementation details (particuarly shared:) is all.

Qwerp-Derp

That's ungolfed

A(m,n)->[m=0:n+1,n=0:A(m-1,1),A(m-1,A(m,n-1))

Should I change to curly braces?

Downgoat

@quartata ok that would work

quartata

@Qwerp-Derp Yeah. Looks more like a piecewise function like that

Downgoat

3:05 AM

Still not sure on how you will manage to implement polymorphism in C but OK

Qwerp-Derp

piecewse?

What

Oh

quartata

spelling is hard

H Walters

@Downgoat it's not really all that hard... you just follow a slightly different idiom

Qwerp-Derp

A(m, n) -> {m = 0: n + 1
           {n = 0: A(m - 1, 1)
           {A(m - 1, A(m, n - 1))

quartata

@Downgoat Polymorphism was a bad word. Envision it more like a struct with a union and an enum if you want

Downgoat

3:07 AM

@quartata will primitives be wrapped in PytekObjects then?

Qwerp-Derp

So like that

It looks nice

quartata

@Downgoat Yes.

H Walters

@Downgoat "virtual functions" map through function pointers. "Method calls" are just functions, where you explicitly pass the equivalent of "this" pointers.

Downgoat

@HWalters well you'd have to go and kinda manually reimplemment scopes in a sense.

H Walters

Setting your "virtual function table" is a matter of picking the right C function to allocate/initialize your object

Downgoat

3:08 AM

@quartata ok cool, thanks

H Walters

Well, yeah, you do, but it's actually not that rare of a thing, and isn't terribly difficult... you just follow a C-like idiom

Qwerp-Derp

Does the syntax look alright?

Wait so it's called a piecewise function?

Downgoat

Difficulty isn't a problem, but any naive solution to such would be incredibly slow to my understanding

@Qwerp-Derp the "if" structure? Yeah

Qwerp-Derp

@Downgoat Huh

The more you know

H Walters

@Downgoat The straightforward way to implement this type of thing should be pretty much equivalent to virtual functions in C++ in terms of performance

Qwerp-Derp

3:12 AM

Also what does Haskell's pattern matching have to do with this

Downgoat

@Qwerp-Derp it's basically exactly what you're doing

Qwerp-Derp

So is Haskell's pattern matching essentially the same as my syntax for CMQ?

CMQ is my lang btw

Downgoat

Wrapping primitives seems to be slow but I guess any decent compiler should be able to do basic optimization to speed up

@Qwerp-Derp no but example is:

sign x |  x >  0        =   1
       |  x == 0        =   0
       |  x <  0        =  -1

Transcript for