Email or username:

Password:

Forgot your password?
Top-level
Devine Lu Linvega

@maxime_andre I've tried to implement Lamping's graph reduction in uxntal, I've noodled with pretty much every one of these programs: github.com/HigherOrderCO/Wikin

I've ran their little webserver thing and got the tictactoe program to show

7 comments
Devine Lu Linvega replied to Devine Lu Linvega

@maxime_andre I'm only superficially interested in this stuff, I mean, it's cool and everything -- I like to read about alternative ways of doing combinatory logic, I'm always looking for things that I couldn't do in uxn, that I might draw inspiration from. I think I also just like running these types of programs that are easy to reflect about.

I think so far, the most accessible implementation of interaction net is Inpla, I've been thinking about making a visual editor for it.

max22- replied to Devine Lu Linvega

@neauoire yes this morning during breakfast 😂 . and another time a couple of weeks ago iirc (or maybe it was another paper, but related to inpla)

Devine Lu Linvega replied to max22-

@maxime_andre When I read it, I was like okay, I need a graphical editor for this. It'll be so nice to see the graph instead of using textual representation, for once, this would make sense.

A lot of folks are interested in flow-based programming but mapping over non-structural programming, this would be the ideal candidate.

Devine Lu Linvega replied to Devine Lu Linvega

@maxime_andre Just stumbled on a pdf that is basically a focused version of Shinya's chapter 5(LL0) implementation!
arxiv.org/pdf/1505.07164.pdf

max22- replied to Devine Lu Linvega

@neauoire ah yes this one is more readable :)
i think i have seen one by Ian Mackie which was quite cool too, but i can't find it anymore... :(

max22- replied to Devine Lu Linvega

@neauoire ok ok, on my side i've tried to implement the graph reduction too, but i have not played with the examples. I'd like to understand how it works, and build my little toy. I've managed to calculate 2^2, 2+2 in church encoding, but it starts to be a little boring. I've not implemented the inet -> lambda translation to show the result.

Go Up