<discocaml>
<contificate> other compilers don't support this either, like MSVC doesn't when you target 64 bits
<discocaml>
<contificate> GCC supports it, but it also requires register clobber lists and lots of other stuff
<Anarchos>
contificate sure. I just wonder how far we can go writing an OS purely in OCaml (and kernel codes require pure asm some times)
<discocaml>
<contificate> I'd be worried more about the runtime, but I seem to recall that dbuenzli created an "rpi-boot-ocaml". As for other stuff, I expect that Mirage libraries cover a decent chunk of relevant stuff.
<discocaml>
<yawaramin> the Mirage unikernel is written in OCaml
bartholin has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 260 seconds]
<companion_cube>
On top of a real kernel or hypervisor though
<companion_cube>
Rump kernel I think?
nirvdrum740 has joined #ocaml
nirvdrum74 has quit [Read error: Connection reset by peer]
nirvdrum740 is now known as nirvdrum74
alexherbo2 has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
Inline has joined #ocaml
<discocaml>
<contificate> is it not like Solo5 or something
alfiee has joined #ocaml
<discocaml>
<dubious245> -# What is a CCBot?
<discocaml>
<dubious245> -# Is it connected to an irc channel somewhere?
alfiee has quit [Ping timeout: 268 seconds]
<discocaml>
<Kali> CCBOT is an irc bridge to #ocaml on libera
bartholin has quit [Ping timeout: 260 seconds]
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
Serpent7776 has joined #ocaml
Inline_ has joined #ocaml
Inline has quit [Ping timeout: 252 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 248 seconds]
Inline_ has quit [Ping timeout: 248 seconds]
Inline has joined #ocaml
bartholin has joined #ocaml
Inline_ has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Inline has quit [Ping timeout: 276 seconds]
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
chiselfuse has quit [Remote host closed the connection]
chiselfuse has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
dhil has joined #ocaml
jlrnick has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
Inline has joined #ocaml
ygrek has joined #ocaml
inline__ has joined #ocaml
Inline is now known as Guest9324
inline__ is now known as Inline
Inline has quit [Remote host closed the connection]
dhil has quit [Ping timeout: 248 seconds]
Inline_ has quit [Ping timeout: 252 seconds]
Guest9324 has quit [Ping timeout: 265 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 260 seconds]
infohazards has quit [Remote host closed the connection]
infohazards has joined #ocaml
Inline has joined #ocaml
Inline_ has joined #ocaml
Inline__ has joined #ocaml
Inline is now known as Guest7123
Inline__ is now known as Inline
Inline__ has joined #ocaml
Inline is now known as Guest8076
Guest8076 has quit [Killed (tungsten.libera.chat (Nickname regained by services))]
Inline__ is now known as Inline
alexherbo2 has joined #ocaml
Inline__ has joined #ocaml
Inline is now known as Guest3389
Guest3389 has quit [Killed (molybdenum.libera.chat (Nickname regained by services))]
Inline__ is now known as Inline
Guest7123 has quit [Ping timeout: 248 seconds]
Inline_ has quit [Ping timeout: 248 seconds]
wbooze has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 248 seconds]
wbooze_ has joined #ocaml
Inline_ has joined #ocaml
Inline has quit [Killed (silver.libera.chat (Nickname regained by services))]
Inline_ is now known as Inline
rgrinberg has joined #ocaml
wbooze has quit [Ping timeout: 252 seconds]
jlrnick has quit [Ping timeout: 272 seconds]
ygrek has quit [Remote host closed the connection]
wbooze_ has quit [Quit: Leaving]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
<discocaml>
<gooby_diatonic> This is what I meant
<discocaml>
<gooby_diatonic> ```fsharp
<discocaml>
<gooby_diatonic> type t =
<discocaml>
<gooby_diatonic> | A
<discocaml>
<gooby_diatonic> static member f () = printfn "Hello world"
<discocaml>
<gooby_diatonic>
<discocaml>
<gooby_diatonic> // Hello world
<discocaml>
<gooby_diatonic> let () = t.f ()
<discocaml>
<gooby_diatonic> ```
<discocaml>
<gooby_diatonic> FSharpPlus uses this to implement monads and such, it can be useful
Inline has quit [Ping timeout: 260 seconds]
Inline has joined #ocaml
wbooze has joined #ocaml
Inline has quit [Ping timeout: 260 seconds]
wbooze has quit [Ping timeout: 268 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
Inline has joined #ocaml
Inline has joined #ocaml
Inline has quit [Killed (tantalum.libera.chat (Nickname regained by services))]
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Anarchos has quit [Quit: Vision[]: i've been blurred!]