00:44
PrsPrsBK has quit [Quit: PrsPrsBK]
01:37
endformationage has joined #ponylang
02:30
aturley_ has joined #ponylang
02:32
aturley has quit [Ping timeout: 250 seconds]
04:12
rkallos has joined #ponylang
05:31
endformationage has quit [Quit: WeeChat 1.9.1]
05:46
_whitelogger has joined #ponylang
05:48
endformationage has joined #ponylang
05:51
endformationage has quit [Client Quit]
07:34
SqREL has joined #ponylang
07:44
ivarsfg has joined #ponylang
07:49
<
ivarsfg >
Hi everyone. One of the talks on Pony mentioned a formal specification, but I cannot find it anywhere on the website or in the repos. Is it available publicly?
08:10
betawaffle has quit [Ping timeout: 252 seconds]
08:11
betawaffle has joined #ponylang
08:39
PrsPrsBK has joined #ponylang
08:54
PrsPrsBK has quit [Quit: PrsPrsBK]
09:18
ivarsfg has quit [Quit: Page closed]
09:22
SenasOzys has joined #ponylang
09:44
Foaly has joined #ponylang
10:10
_whitelogger has joined #ponylang
10:13
dx_ob has quit [Read error: Connection reset by peer]
10:13
dx_ob has joined #ponylang
10:23
Foaly has quit [Quit: Now 'mid shadows deep falls blessed sleep.]
11:21
ivarsfg has joined #ponylang
11:30
<
ivarsfg >
I'll check those out, thanks!
11:37
SenasOzys has quit [Ping timeout: 268 seconds]
11:39
ivarsfg has quit [Quit: Page closed]
11:54
beardhatcode has joined #ponylang
12:29
dx_ob has quit [Remote host closed the connection]
12:47
OtakuSenpai has joined #ponylang
13:15
Foaly has joined #ponylang
13:22
<
beardhatcode >
How do I pass a number to an actor as iso?
13:25
<
beardhatcode >
recover iso U8(10) end
13:25
<
beardhatcode >
does not work
13:27
<
vaninwagen >
Numbers are a little bit special, they are always val
13:27
<
vaninwagen >
So you can freely pass them around
13:27
<
beardhatcode >
I want to create two actors that perform ping-pong a certain number of times
13:28
<
beardhatcode >
Can you subsrract form a val?
13:29
<
vaninwagen >
Sure, this will create a new number
13:33
<
beardhatcode >
That makes sense
13:33
<
beardhatcode >
the val means that you can't change the contents of what a variable is pointing to
13:33
<
beardhatcode >
but you can change the thing a variable is pointing to
13:34
<
vaninwagen >
If you use let you have a static assigment, if you use var, you can reassign
13:34
<
vaninwagen >
val means you cannot mutate what you have referenced
13:34
<
vaninwagen >
Numbers dont have nothing to mutate
13:59
beardhatcode has quit [Quit: beardhatcode]
14:04
endformationage has joined #ponylang
14:17
OtakuSenpai has quit [Quit: Leaving]
14:21
OtakuSenpai has joined #ponylang
14:22
endformationage has quit [Quit: WeeChat 1.9.1]
14:25
Tuxified has joined #ponylang
14:26
endformationage has joined #ponylang
14:34
ivarsfg has joined #ponylang
14:35
ivarsfg has quit [Client Quit]
15:13
Tuxified has quit [Ping timeout: 256 seconds]
15:23
OtakuSenpai has quit [Ping timeout: 252 seconds]
15:58
SqREL has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
16:19
Foaly has quit [Quit: Now 'mid shadows deep falls blessed sleep.]
16:28
nisanharamati has joined #ponylang
17:13
Foaly has joined #ponylang
17:19
Foaly has quit [Ping timeout: 260 seconds]
17:23
Foaly has joined #ponylang
17:25
OtakuSenpai has joined #ponylang
17:35
PrsPrsBK has joined #ponylang
19:14
SqREL has joined #ponylang
20:21
Foaly has quit [Quit: Now 'mid shadows deep falls blessed sleep.]
20:51
SqREL has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
23:08
SenasOzys has joined #ponylang
23:24
SenasOzys has quit [Read error: Connection reset by peer]
23:24
SenasOzys has joined #ponylang