azimut has quit [Ping timeout: 258 seconds]
azimut has joined #ocaml
wonko has quit [Ping timeout: 276 seconds]
azimut has quit [Ping timeout: 258 seconds]
azimut has joined #ocaml
milia has quit [Remote host closed the connection]
milia has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]
waleee has quit [Ping timeout: 250 seconds]
John_Ivan has quit [Ping timeout: 272 seconds]
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
chrisz has quit [Ping timeout: 272 seconds]
chrisz has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
azimut has quit [Ping timeout: 258 seconds]
milia has quit [Ping timeout: 276 seconds]
xd1le has joined #ocaml
jao has quit [Ping timeout: 276 seconds]
bartholin has joined #ocaml
milia has joined #ocaml
Tuplanolla has joined #ocaml
adanwan has quit [Ping timeout: 258 seconds]
adanwan_ has joined #ocaml
Serpent7776 has joined #ocaml
adanwan has joined #ocaml
adanwan_ has quit [Ping timeout: 258 seconds]
olle has joined #ocaml
spip has quit [Quit: Konversation terminated!]
spip has joined #ocaml
adanwan has quit [Remote host closed the connection]
bobo_ has joined #ocaml
spip has quit [Ping timeout: 276 seconds]
adanwan has joined #ocaml
Haudegen has joined #ocaml
szkl has joined #ocaml
wonko has joined #ocaml
bartholin has quit [Quit: Leaving]
bartholin has joined #ocaml
Haudegen has quit [Ping timeout: 272 seconds]
Haudegen has joined #ocaml
taupiqueur has joined #ocaml
John_Ivan has joined #ocaml
taupiqueur has quit [Quit: Client closed]
azimut has joined #ocaml
John_Ivan has quit [Ping timeout: 260 seconds]
John_Ivan has joined #ocaml
John_Ivan_ has joined #ocaml
taupiqueur has joined #ocaml
John_Ivan has quit [Ping timeout: 260 seconds]
jlrnick has joined #ocaml
jlrnick has quit [Ping timeout: 250 seconds]
random-jellyfish has joined #ocaml
mro has joined #ocaml
jao has joined #ocaml
xd1le has quit [Quit: xd1le]
mro has quit [Remote host closed the connection]
wonko has quit [Ping timeout: 272 seconds]
waleee has joined #ocaml
olle has quit [Ping timeout: 272 seconds]
milia has quit [Quit: leaving]
John_Ivan_ has quit [Remote host closed the connection]
John_Ivan_ has joined #ocaml
random-jellyfish has quit [Quit: Client closed]
xgqt has quit [Quit: WeeChat 3.5]
waleee has quit [Ping timeout: 272 seconds]
xgqt has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 276 seconds]
olle has joined #ocaml
Serpent7776 has quit [Ping timeout: 276 seconds]
taupiqueur has quit [Quit: Client closed]
bartholin has quit [Quit: Leaving]
mro has joined #ocaml
<
olle>
Hm, is there a way to get rid of let* () = thing () in, and just do thing () instead?
mro has quit [Quit: Leaving...]
<
companion_cube>
no, alas we don't have `;*`
<
sim642>
Maybe we should
<
companion_cube>
s🤷
<
companion_cube>
wut
<
companion_cube>
ok weird font I guess, I see a santa where I meant "shrug"
<
olle>
companion_cube: oh yeah :) ;*
<
olle>
Error: Constraints are not satisfied in this type.
<
olle>
Dunno what's wrong here
<
olle>
I wanna do a GADT that passes around a stack state :d
<
companion_cube>
my advice: don't
<
olle>
companion_cube: Why?
<
olle>
I failed with the monadic bind
<
olle>
Guess I can just try to do it with pipe
<
companion_cube>
it's overkill and will bring you a lot more pain than benefits
<
olle>
Well, statically enforce correct stack state was the entire point of the experiment :d
wonko has joined #ocaml
<
companion_cube>
it's been done for Tezos
<
companion_cube>
experiment away!
<
olle>
companion_cube: you have a link?
<
olle>
So I want to go from
<
olle>
start () |> num 1 |> num 2 |> plus |> dot
<
olle>
`1 2 + .`, keeping same semantics :d
<
olle>
ppx perhaps, but didn't read much about it yet
hrberg has joined #ocaml
hrberg has quit [Client Quit]
hrberg has joined #ocaml
waleee has joined #ocaml
jlrnick has joined #ocaml
azimut has quit [Ping timeout: 258 seconds]
azimut has joined #ocaml
rgrinberg has joined #ocaml
cedric has joined #ocaml
cedric has quit [Client Quit]
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
<
olle>
Oh, [% ] extensions must be valid OCaml syntax?
<
companion_cube>
yes
<
companion_cube>
you've got to be able to build a parsetree for them
<
olle>
companion_cube: and that wouldn't include things like `1 2 3`? :d
bartholin has joined #ocaml
wonko has quit [Ping timeout: 250 seconds]
<
octachron>
you should use the {%ext|..|} syntax for foreign code ppxs.
<
olle>
octachron: But that's pure string, then?
<
olle>
I'd have to write my own parser :)
<
olle>
Well, pretty trivial in the case of Forth
<
octachron>
Precisely
<
olle>
Doesn't feel like an "embedded" DSL anymore, might as well be in a separate file :d Hm hm
<
octachron>
Not really, you keep the ability to manipulate the embedded code as value withing the OCaml code.
<
olle>
Lemme think...
<
olle>
Maybe a variadic function instead. `forth 1 2 plus dot` --> exapdn to num 1 |> num 2 |> etc
<
olle>
Although variadic seems complex
<
olle>
Or a combination, using [%forth f 1 2 plus dot] where f is a dummy variadic function.
<
olle>
Maybe I'll get back to simply learning Forth ^^'
jlrnick has quit [Ping timeout: 276 seconds]
taupiqueur has joined #ocaml
taupiqueur has quit [Client Quit]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<
olle>
#hacktheplanet
Stumpfenstiel has joined #ocaml
zebrag has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
bartholin has quit [Quit: Leaving]
spip has joined #ocaml
bobo_ has quit [Ping timeout: 272 seconds]
wonko has joined #ocaml
<
olle>
use( fn.name xa xb precision )bin_root
<
olle>
These guys are just silly, defining a word `use(` xD
random-jellyfish has joined #ocaml
Tuplanolla has joined #ocaml
olle has quit [Ping timeout: 260 seconds]
Tuplanolla has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
random-jellyfish has quit [Quit: Client closed]
Stumpfenstiel has quit [Ping timeout: 272 seconds]
Haudegen has quit [Ping timeout: 260 seconds]