kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
202 posts
1,169 followers
385 following
Prolific Poster
Conversation Starter
comment in response to
post
Thanks for sharing. Congratulations on the paper. I’ll have a look.
comment in response to
post
You can:
# let f : 'a @ unique once -> 'a @ unique once = fun x -> x;;
val f : 'a @ once unique -> 'a @ once unique = <fun>
comment in response to
post
Nice, we can’t get two aliases for physical equality check; if we did the reference is not unique.
I know that Daan Leijen and others worked on uniqueness and reuse, and have published a few papers on this.
comment in response to
post
I think the compiler will not be able to infer the magic there because we're switching the phantom type argument. Compiler can't see that, I think.
comment in response to
post
Indeed. This would work
```
let write r v =
{ contents = v }
```
Then, perhaps explain that the magic is safe since the protocol is encoded in the phantom type argument.
comment in response to
post
I believe this is one of the design goals of the modes system. For Jane Street, it brings the ability to erase modes and release open source libs compatible with upstream OCaml. However, I don’t know the modes system enough to see whether this is possible in all the cases.
comment in response to
post
Lost it when they put the mask on 😂
comment in response to
post
Ack. This is great. Thank you. Let me do some work on this.
comment in response to
post
Apart from the questions that you've posted (completion rate, distribution of enrolled students), what other questions are relevant? Would you recommend a paper that I should read on this topic?
comment in response to
post
Thanks. These stats are not available in Public. Let me poke people at IITM.
This is the distribution of enrolled students in the first batch of online BS programme from publicly available info: drive.google.com/file/d/158VS....
comment in response to
post
Not sure I was meant to be tagged, but streetcars are great! :-) Had the pleasure of riding ones in Milan most recently. Have fun in KC.
comment in response to
post
... are online but the assignments are evaluated by TAs and the exams are offline and proctored in standardized examination centres.
comment in response to
post
It seems like a huge deal, I agree. I'd love to have something equally good for the OCaml ecosystem, but it's easier said than done. (Not that opam is terrible, but it's not as good as Cargo.)
comment in response to
post
@sabine.sh should know.
comment in response to
post
Ooty