Fork me on GitHub
#off-topic
<
2019-01-22
>
lilactown05:01:09

nerd question: does anyone know if you need continuations in order to implement algebraic effects?

val_waeselynck09:01:18

You're bluffing.

mseddon10:01:54

@U4YGF4NGM https://www.eff-lang.org/handlers-tutorial.pdf short answer, you don't need first class continuations, no.

lilactown16:01:18

thanks! @U06GS6P1N not sure what you mean. most of my encounters with algebraic effects has come from reading multicore OCaml, which does use delimited continuations heavily

lilactown17:01:10

I canโ€™t tell if Iโ€™m being dense, @U1GCL8V2B it looks like that paper assumes delimited continuations exist in their language

mseddon17:01:32

Oh god, sorry, yes, you do. I had not had anywhere near enough coffee when I wrote that xD

lilactown17:01:09

itโ€™s ok ๐Ÿ™‚

mseddon17:01:44

Apologies if I sent you down a rabbit hole...

lilactown17:01:16

nah. I had skimmed that article before but you made me actually sit down and read at least the beginning part, which was good ๐Ÿ˜›

lilactown17:01:59

it seems like thereโ€™s a specific class of effects one can imagine implement without continuations, e.g. any synchronous accessing of resource or task. but anything where you want to halt (e.g. exceptions) or continue later after another thread of execution requires continuations

val_waeselynck18:01:41

@U4YGF4NGM I was joking :)

lilactown18:01:04

๐Ÿ˜„ โค๏ธ

agigao10:01:04

Hi Clojurians, I do honestly wonder if anyone has ever experienced code theft inside the company/department? In a new organization I solved a few problems through python scripts and decreased time of some data operations from day(s) to 3-5 minutes and recently I heard that the head of the department is posing as the author of those solutions. ๐Ÿ˜„

val_waeselynck10:01:19

Ask him to solve an even harder optimization problem with everyone CC'd

val_waeselynck10:01:31

Also, the Git log contains your email information, right?

Vincent Cantin11:01:39

I suggest to go to talk to him. Keep in mind that hear-says are sources of misunderstandings, assume the best and ask for clarifications.

borkdude10:01:29

next time write it in Clojure, so he doesnโ€™t understand it ๐Ÿ˜›

mseddon10:01:12

'forget' to commit project.clj or deps.edn ๐Ÿ˜‰

mpenet11:01:17

Can be tricky. Depending if he used "we" (or name of dept.) or "I" for instance.

agigao12:01:02

Yeah, and the thing is I write crystal clear, abstract, reusable, documented code and today I saw the downside of it. Regarding clojure: yeah, Iโ€™m going to eventually make this move and migrate to Clojure, but a few obstacles hold me back right now. I assume it was I, because it was happening inside our department.

borkdude12:01:57

well, I was only half-joking, just use whatever you want ๐Ÿ™‚

manutter5113:01:31

Wasnโ€™t that the plot of the original Tron?

agigao14:01:35

@manutter51 no idea, never watched it :)