<alexgordon>
ec: I have been thinking more about macro systems
<alexgordon>
in particular I've been trying to distill the "essence" of what a programming language is
<alexgordon>
and then turn that into a library, that you write code for (instead of in)
<alexgordon>
anyway so I've figured out the syntax, and the type system mostly
<alexgordon>
scoping and modules are the hard bit
<ec>
wat
<ec>
7:14 PM <alexgordon> in particular I've been trying to distill the "essence" of what a programming language is
<ec>
7:14 PM <alexgordon> and then turn that into a library, that you write code for (instead of in)
<ec>
this makes literally no sense to me
<alexgordon>
ec: haha I know it's kinda vague
<alexgordon>
ec: I don't know where to start :|
<alexgordon>
ec: think of when you add static type annotations. You are running a mini logic program in the compiler (albeit in a limited, turing-incomplete language)
<alexgordon>
programming at compile-time
<alexgordon>
in C++ you can even use "constexpr" which lets you run a pure function at compile-time
<alexgordon>
going the other way, when you write a data structure definition, it would be _nice_ to have that available at runtime, so that maybe you could use a library to check json against it
<ec>
K? Like, I get all of that.
<ec>
look at all of my goals with Paws.
<ec>
But I wouldn't call any of those things *language*, so to speak. Like, I don't think you can ‘distill language down to the essence, and then remove the essence.’
<ec>
my efforts have been to distill language down to the essence, and then remove everything *else*, implementing it abstractively à la rubinius; but I don't see how you can go farther than that?
<alexgordon>
ec: but distilling down to the essence and removing the essence is precisely what I'm trying to do
<alexgordon>
ec: all (popular) programming languages have certain things in common. a syntax, lexical scoping, functions, data structures, flow control, etc
<alexgordon>
how far can you push that stuff into a library?
<alexgordon>
I am doing a shit job of explaining this :P
<alexgordon>
hell _I_ don't even agree with what I'm saying
<alexgordon>
I guess it's about reorganisation, rather than deletion
<alexgordon>
ec: actually I've thought of a good way to explain it: Lisp, but with a mainstream syntax and good type system
<alexgordon>
LOL
<purr>
lolllol
<alexgordon>
it's easier to explain why lisp is dumb than why it's great
cythraul is now known as gq
<gq>
there we go
<gq>
earlier it was like "NICK GQ IS UNAVAILABLE"
<gq>
all my wat.
<ec>
lol
<purr>
lololol
<ec>
pir y tho
oldskirt_ has quit [Remote host closed the connection]
oldskirt has joined #elliottcable
<ec>
grumpy
<ec>
unmotivated
<ec>
grumpy.
<alexgordon>
gq!
<gq>
alexgordon!
<alexgordon>
gq: for some reason I keep pronouncing your nick as "glowqoil"
<alexgordon>
I have clearly decided that you are the alter ego if micah
<alexgordon>
*of
<gq>
damn it
<gq>
i was gq before he was glowcoil
<gq>
D:
<gq>
and i'm older than him so that's true in several senses
<gq>
IF ANYONE IS AN ALTER EGO IT'S HIM
<alexgordon>
mmhmm
<alexgordon>
does irc support unicode nicks?
<alexgordon>
I have never seen one so I guess the answer is no...
<alexgordon>
/nick
eligrey has quit [Quit: Leaving]
<gq>
heh
<purr>
<whitequark> like that should've been the church of afro hair and the bishop should assemble humongous mechas in his garage
alexgordon has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
alexgordon has joined #elliottcable
Hrorek has quit [Quit: Leaving]
Sorella has quit [Quit: Connection closed for inactivity]
eligrey has joined #elliottcable
meowrobot has quit [Quit: let us connect our intestines and mutually digest]
alexgordon has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<purr>
<joelteon> joke's on you: all log files are now being written to /dev/sda
<pikajude>
how is that a joke, past me
<pikajude>
hey, so i'm retarded
<pikajude>
quick question
<pikajude>
i need to access work sites when at work
<pikajude>
but i also want to use my disconnect.me VPN
<pikajude>
what is my recourse
<pikajude>
work sites being hosted in the phoenix datacenter
eligrey has quit [Quit: Leaving]
<purr>
* whitequark read that as "dick-shaped break-down"
oldskirt has quit [Quit: gone]
oldskirt has joined #elliottcable
|jemc| has joined #elliottcable
alexgordon has joined #elliottcable
<ec>
hm
<purr>
<alexgordon> fuck oop is so complicated
<ljharb>
pikajude: split tunnel vpn
<ljharb>
pikajude: as in, don't funnel all your traffic through your vpn, just a whitelist.
alexgordon has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
|jemc| has left #elliottcable ["WeeChat 1.3"]
Sorella has joined #elliottcable
alexgordon has joined #elliottcable
<purr>
<devyn> I'm high on cold medicine, so I don't give a fuck, yay
<pikajude>
well my trackpad is no longer with us
<pikajude>
unfortunately
yrashk has joined #elliottcable
meowrobot has joined #elliottcable
alexgordon has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<purr>
<Nuck> TheLifelessOne: Just get a beagleboarduino
eligrey has joined #elliottcable
|jemc| has joined #elliottcable
alexgordon has joined #elliottcable
yrashk has quit [Quit: Connection closed for inactivity]
<alexgordon>
ec: so I've started using unicode in macros, and oh man does it help. no stupid escaping schemes necessary!
oldskirt_ has joined #elliottcable
oldskirt has quit [Ping timeout: 264 seconds]
|jemc| has quit [Ping timeout: 260 seconds]
<purr>
<whitequark> I find it fascinating that when you insert your penis into someone, that's actually myriads and myriads of stable excitations of electromagnetic field interacting with each other as described by some obscure math