pikelet-lang/Lobby

Angelo Bulfone

@boomshroom

I think Go actually managed to paradoxically implement its heap and garbage collector in itself.

Anyways, I need to get up early tomorrow and it's already past midnight, so see you tomorrow!

Brendan Zabarauskas

@brendanzab

Gnight!

Jon Purdy

@evincarofautumn

Huh, so he’s in my timezone

Brendan Zabarauskas

@brendanzab

Software Foundations has a new chapter on QuickCheck which is neat! Seems to miss a section on the motivations though...

Angelo Bulfone

@boomshroom

North America West coast?

Jon Purdy

@evincarofautumn

@boomshroom SF Bay Area, yeah :)

Brendan Zabarauskas

@brendanzab

https://softwarefoundations.cis.upenn.edu/qc-current/index.html

Angelo Bulfone

@boomshroom

I'm quite a bit further north in Vancouver, Canada.

Brendan Zabarauskas

@brendanzab

/me is in Melbourne

Ie. the Australian one, not the californian one

Jon Purdy

@evincarofautumn

@boomshroom Ah, cool—that’s not a far flight, but not exactly “let’s meet for coffee” distance :P

Angelo Bulfone

@boomshroom

Seeing the work on Habit just makes me more excited about Pikelet.

Brendan Zabarauskas

@brendanzab

Heh, so much more work to do though 😬

Angelo Bulfone

@boomshroom

Also I'm not even out of university yet and have a disappointingly low amount of code contributions.

Jon Purdy

@evincarofautumn

Bah, that’s a weak metric anyhow, don’t concern yourself

Angelo Bulfone

@boomshroom

I tend to be more concerned about what's cool rather than what's practical.

Hence why I do so much OS dev.

Brendan Zabarauskas

@brendanzab

Plenty of time for that! I’d advise not getting so sucked into oss that you drop out like I did!

Jon Purdy

@evincarofautumn

Well, broadly speaking, you need both—cool for short-term notoriety and attracting new interest, practical for long-term success

Brendan Zabarauskas

@brendanzab

Yeah

Angelo Bulfone

@boomshroom

My recent attempt at a game is one of my first real attempts at something practical, but it's already stalled due to having trouble with the engine and my inability to draw.

Brendan Zabarauskas

@brendanzab

You can embrace the terrible drawing style perhaps?

😊

Angelo Bulfone

@boomshroom

That can be a bit difficult when trying to tell a story.

I'm probably being way too ambitious for my first attempt.

Brendan Zabarauskas

@brendanzab

Yeaaah, very easy to fall into.

Angelo Bulfone

@boomshroom

I should also mention that I'm not a writer, I just love story-driven action RPGs. :P

Brendan Zabarauskas

@brendanzab

Only one way to get better

Well, that is an oversimplification

Angelo Bulfone

@boomshroom

For real this time, good night!

Brendan Zabarauskas

@brendanzab

:joy:

Jon Purdy

@evincarofautumn

if I say goodnight and an hour later you see me online it's not that I lied it's just that I failed

— https://twitter.com/artyintheuk/status/1034637711410388992

Brendan Zabarauskas

@brendanzab

:clap: :D

Angelo Bulfone

@boomshroom

According to Wikipedia, ANF seems to be preferred by strict languages while CPS is preferred by non-strict ones.

While Pikelet will probably be strict by its nature, it would be really interesting if there was a non-strict systems language.

Looking at the notations themselves, the only real difference seems to be let-polymorphism.

Brendan Zabarauskas

@brendanzab

yeah, not sure if that is an inherent limitation though

but yeah, William Bowman recommends it because it's easier to do type preserving compilation with it

ie. with dependent types

https://www.williamjbowman.com/resources/wjb-paper-cccc.pdf

Brendan Zabarauskas

@brendanzab

Also had an interesting discussion with him about ANF and effects: https://twitter.com/brendanzab/status/1035852942568374272

Brendan Zabarauskas

@brendanzab

Tbh I feel like I’m running into a bit of ‘idea debt’ with Pikelet...

A bit stuck making much progress

ie. been thinking too much about what to do, and not keeping up with actually trying things

Brendan Zabarauskas

@brendanzab

need to try more stuff :laughing:

Jon Purdy

@evincarofautumn

Interesting thread

I feel like combining effects and dependent types shouldn’t be as involved as they’re making it out to be—or rather, what do dependent types add that change the nature of effects?

Brendan Zabarauskas

@brendanzab

yeah, might be worth asking that on that thread!

I am kind of just trusting them when they say that they are

People

Repo info

Activity