Denommus has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
thomasga has quit [Quit: Leaving.]
AltGr has joined #ocaml
mengu has quit [Remote host closed the connection]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
kdef has quit [Quit: Leaving]
nojb has joined #ocaml
nojb has quit [Client Quit]
ontologiae_ has joined #ocaml
palomer has joined #ocaml
iankronquist has left #ocaml ["WeeChat 1.0.1"]
ygrek has joined #ocaml
ontologiae_ has quit [Ping timeout: 240 seconds]
nojb has joined #ocaml
lyxia has quit [Ping timeout: 250 seconds]
lyxia has joined #ocaml
jeffmo has joined #ocaml
ygrek has quit [Ping timeout: 256 seconds]
<apache2>
is it possible to use |> to pass a value to a variant constructor?
<nojb>
no
<apache2>
ok :) I thought I was missing something
<nojb>
data constructors are *not* functions
mengu has joined #ocaml
<apache2>
ok, it just intuitively seemed that they are similar
<Drup>
yes, it's annoying
<nojb>
yes, it would be nice if they were - but there are some inherent difficulties to making constructors functions related to the semantics of currying and the fact the tuple syntax used for constructor arguments
<Drup>
that's .... really just surface
<nojb>
why do you say ?
<Drup>
I mean those are not hard point, they are trivially solvable if you want to
jeffmo has quit [Quit: jeffmo]
<Drup>
it just that some people don't and the other will bikeshed it until death by boredom ensue, so it's not done :]
ollehar has quit [Read error: Connection reset by peer]
tsumetai has joined #ocaml
ygrek has joined #ocaml
ontologiae_ has quit [Ping timeout: 276 seconds]
ollehar has joined #ocaml
manizzle has joined #ocaml
gabemc has quit [Quit: Leaving]
mengu has joined #ocaml
shinnya has quit [Ping timeout: 256 seconds]
Algebr has quit [Ping timeout: 264 seconds]
mengu has quit [Ping timeout: 256 seconds]
kushal has joined #ocaml
darkf has joined #ocaml
idegen has quit [Quit: Leaving.]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
sdothum has joined #ocaml
kido1412 has joined #ocaml
sgnb` has quit [Read error: Connection reset by peer]
sgnb` has joined #ocaml
klaymen has joined #ocaml
klaymen_ has quit [Ping timeout: 272 seconds]
BitPuffin|osx has quit [Ping timeout: 255 seconds]
n3ss3s has joined #ocaml
kido1412 has quit [Quit: Page closed]
lewis1711 has joined #ocaml
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
palomer has quit [Quit: palomer]
mengu has joined #ocaml
javamonn has quit [Remote host closed the connection]
<nullcat>
ah I got a question about Bigarray
<nullcat>
I read the manual, but still have problem on this type declaration "type int64_array = (int64, Bigarray.int32_elt, Bigarray.c_layout) Bigarray.Array1.t"
mengu has quit [Ping timeout: 250 seconds]
<nullcat>
if for ('a, 'b, 'c) t, 'a means bigarray element type, 'b is the representation type
<nullcat>
why use Bigarray.int32_elt to represent int64?
swgillespie has joined #ocaml
palomer has joined #ocaml
kushal has quit [Ping timeout: 250 seconds]
seangrove has joined #ocaml
MercurialAlchemi has joined #ocaml
shinnya has joined #ocaml
<struktured>
nullcat: where do you see this? I can't find an *_array definition
<orbitz>
this, but obviously the compiler doesn't know how to force it to be a polymorphic variant
<Drup>
yeah, you can't do that :(
<orbitz>
Shame
matason has quit []
<orbitz>
Makes this API I want really annoying
<Drup>
in general, you can't manipulate the row variables in ocaml
<companion_cube>
let f : (module S with type err = [>`Closed] ) -> int =
<companion_cube>
:DD
<orbitz>
What does that do?
<companion_cube>
a function that takes S as a first-class module
<companion_cube>
I'm not sure it would work though.
SIGGIL has joined #ocaml
<orbitz>
ah, no, that isn't what I want
SIGILL has quit [Quit: WeeChat 1.1.1]
Denommus has joined #ocaml
darkf has quit [Quit: Leaving]
<orbitz>
Thanks Drup and companion_cube .
milosn has joined #ocaml
<Denommus>
Drup: I was thinking regarding ArrowPlus. An ArrowPlus for a value that doesn't "inhibit" doesn't make sense. So I'm making ArrowZero and ArrowPlus only work for ('a, 'b option) wire
contempt has quit [Ping timeout: 256 seconds]
lewis1711 has quit [Ping timeout: 250 seconds]
Hannibal_Smith has quit [Quit: Leaving]
Hannibal_Smith has joined #ocaml
SIGGIL is now known as SIGILL
Gama11 has joined #ocaml
matason has joined #ocaml
Hannibal_Smith has quit [Remote host closed the connection]
Gama11_ has quit [Ping timeout: 264 seconds]
contempt has joined #ocaml
yarl_ has joined #ocaml
<yarl_>
Hi, I want to have an ocaml cross-compiler to arm (bare-metal). Anyone with any experience in this?
<flux>
mrvn has, but he has not been here (for many moons?)
<Drup>
you really want bare metal or running without a linux is enough ?
<flux>
well, isn't running mirage directly on arm bare-metal?
<flux>
mirage can boot on some bare-metal arms?
<Drup>
no, it's running on xen
<flux>
is it because of hardware support?
<Drup>
iirc, there are plans for bare metal, but it's not done yet
<haesbaert>
Drup: weren't they working on an arm backend though ?
<flux>
apparently mrvn hasn't pushed to that repo for quite some time.. but it might still be your best starting point.
asQuirreL has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<yarl_>
Yeah, this seems very interesting, I'll read that thank you.
Hannibal_Smith has joined #ocaml
<yarl_>
Well, flux, I'm afraid the host is already arm (maybe raspi), am I right?
<yarl_>
(looking the Makefile)
<flux>
oh, you wanted to cross compile. well I'm sure that's the least of your problems.. ;-)
<flux>
I thought the 'bare metal' was the difficult part.
<flux>
though perhaps rpi has its own set of special issues
<yarl_>
Hehe, well that document is interresting for sure. But yeah I need a cross compiler.
<yarl_>
(also)
<flux>
you could use qemu and the native compiler
<flux>
in principle at least..
<flux>
but ocaml can be made to cross compile
<flux>
it's just not.. something it does out-of-the-box.
<yarl_>
Yeah, I am looking for documents about doing that.
<flux>
I suppose byte code is not enough, that'd be (much) simpler I think
The_Mad_Pirate has joined #ocaml
<flux>
in fact, I've done that quite a long time ago, for power pc. it's basically just a matter of getting ocamlrun and the libraries getting compiled.
<flux>
but I don't quite recall the arduous process
<yarl_>
I would like native (arm) code to be produced from amd64(whatever)
<Drup>
mirage can do cross compile
<adrien_znc>
ocamlopt's main trouble when doing cross is when the bitness is different
Algebr has quit [Remote host closed the connection]
nojb_ has joined #ocaml
nojb has quit [Ping timeout: 272 seconds]
nojb_ is now known as nojb
testcocoon has quit [Quit: Coyote finally caught me]
<_obad_>
wrt cross-compilation: for our embedded project I've decided to not cross-compile; instead I'm using opam on the actual hardware. that way I get all the benefits of opam and none of the cross-compilation headaches. the problem is that it doesn't integrate into yocto or an automated build system. I generate binary .ipk's on the host and then we use those for deployment.
<_obad_>
for automation we're thinking of setting up something qemu-based; it's 10x slower but for nightly builds it should be ok.
<adrien_znc>
yocto
<adrien_znc>
oh god
<adrien_znc>
not integrating into yocto is probably a positive thing if it means less yocto
<adrien_znc>
(mostly less bitbake)
<_obad_>
yocto is fine; I'm not the one doing python maintenance of recipes :)
<adrien_znc>
heh
nojb has quit [Client Quit]
Submarine has quit [Remote host closed the connection]
nojb has joined #ocaml
<_obad_>
I have a polymorphic variant question. type foo = `A | `B of [ `C | `D];; let g = function `C -> 1 | `D ->2;; let f = function `A -> 100 | `B x -> g x
<_obad_>
oh wait. this seems to work. my problem was with tuples. never mind
<Denommus>
how does React solve time leaks?
kandu_ has quit [Ping timeout: 240 seconds]
ggole has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
kandu has joined #ocaml
palomer has joined #ocaml
kandu is now known as Guest73948
ollehar1 has joined #ocaml
Gama11 has quit [Quit: No Ping reply in 180 seconds.]
Gama11 has joined #ocaml
slash^ has joined #ocaml
ldopa has joined #ocaml
asQuirreL has joined #ocaml
badkins has quit []
rand000 has quit [Ping timeout: 244 seconds]
nojb has quit [Quit: nojb]
shinnya has quit [Ping timeout: 252 seconds]
kdef has joined #ocaml
mengu has joined #ocaml
jwatzman|work has joined #ocaml
mengu has quit []
<orbitz>
_obad_: compiling ocaml on my raspi is.....unenjoyable
<dmbaturin>
orbitz: I like that definition. It's oddly precise.
<tokenrove>
my experience with cross-compiling ocaml in the past was pretty positive. i'd hate to be doing builds directly on underpowered arm machines. (now i'm imagining trying to build something with mlton on arm)
palomer has quit [Quit: palomer]
<dmbaturin>
tokenrove: Build time would have been measured in MLton release cycles. ;)
<ousado>
haha
<orbitz>
tokenrove: haha
<dmbaturin>
Compiling on a QEMU ARM VM is hardly better, actually.
octachron has quit [Quit: Leaving]
<orbitz>
is it super slow?
<dmbaturin>
Well, it may be better than real low-end ARMs, but compared to running native VMs it's still painfully slow.
<dmbaturin>
Provided it emulates a full system, not surprising.
<orbitz>
Yeah
<dmbaturin>
For kernel developers full system emulation is a good thing though.
<orbitz>
Yes definitely
<orbitz>
For little guy/girl just wanting to run some Ocaml on a raspi it's annoying :)
toolslive has quit [Quit: Leaving]
A1977494 has joined #ocaml
A1977494 has left #ocaml [#ocaml]
thomasga has quit [Quit: Leaving.]
yomimono has quit [Ping timeout: 264 seconds]
thomasga has joined #ocaml
nojb has joined #ocaml
jonludlam has quit [Remote host closed the connection]
jeffmo has joined #ocaml
seangrove has quit [Ping timeout: 276 seconds]
<struk|work>
anyone recommend a good presentation on monadic style programming (ideally in ocaml or scala) ? I might do a short talk at my company on the topic
psy_ has joined #ocaml
psy_ has quit [Read error: Connection reset by peer]
oscar_toro has quit [Ping timeout: 264 seconds]
BitPuffin has quit [Ping timeout: 256 seconds]
tPuffinBi has joined #ocaml
rand000 has joined #ocaml
tobiasBora has quit [Ping timeout: 255 seconds]
maufred has quit [Ping timeout: 265 seconds]
sgnb has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
tPuffinBi has quit [Ping timeout: 265 seconds]
javamonn has quit [Remote host closed the connection]
Haudegen has quit [Ping timeout: 272 seconds]
Anarchos has joined #ocaml
javamonn has joined #ocaml
maufred has joined #ocaml
Submarine has joined #ocaml
hbar has joined #ocaml
javamonn has quit [Remote host closed the connection]
tobiasBora has joined #ocaml
contempt has quit [Ping timeout: 276 seconds]
nullcat has joined #ocaml
shinnya has joined #ocaml
javamonn has joined #ocaml
nojb has quit [Quit: nojb]
psy_ has joined #ocaml
javamonn has quit [Remote host closed the connection]