gnomon , 3 months ago

@akkartik @torbiak psst @technomancy 👀↑↑ 🌙‼️

technomancy , 3 months ago

@gnomon @akkartik @torbiak yeah! it looks neat but between not having a single example in the readme, the convoluted install instructions, and serving up what looks to be the only documentation as a PDF on a server without a functional TLS cert, it seems to be screaming "not ready for use" pretty loudly

khm , 3 months ago

seems like a harsh take considering they don't control that server (the article is also available via https://www.sciencedirect.com/science/article/abs/pii/S0167642320300046 ) there's a whole reference manual in the doc/ directory and a folder full of examples/

that installation is rough though, I wonder what the status is of getting their changes upstreamed

CC: @gnomon @akkartik @torbiak

technomancy , 3 months ago

@khm @gnomon @akkartik @torbiak I'm not saying it as a derogatory thing; I just figure it's probably still in the early stages of a research project

I looked thru the manual in the doc directory and I can't find anything there or in the paper about how it handles nilable types... the paper criticizes (rightly) Teal's approach of implicitly making every type nilable, but it doesn't seem to describe an alternative

technomancy , 3 months ago

@khm @gnomon @akkartik @torbiak the other thing is, re "getting the changes upstreamed", they are the upstream, so you have to figure if they haven't mainlined those patches yet there's probably a good reason for that?

khm , 3 months ago

fair enough, I just didn't want passersby to dismiss it out of hand

CC: @gnomon @akkartik @torbiak