3 ms·
The title had me excited that this was going to be Go extended with a linear type system. Speaking of: is there a linear C variant?
by thechao 11y ago
The title had me excited that this was going to be Go extended with a linear type system. Speaking of: is there a linear C variant?
- bert_cwchang 11y agoLOL... the name is indeed a little bit misleading Do you mean liblinear for C? actually, the original liblinear is written in C, and it has both binary executable and library file for advanced using. please ref to: https://www.csie.ntu.edu.tw/~cjlin/liblinear/ https://www.csie.ntu.edu.tw/~cjlin/liblinear/
- apgwoz 11y agoNo, as in linear types. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.5002 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.5...
- srean 11y agoATS might be close to what you want, but its more ML than C. If you use any language with linear types I would be very curious of anecdotes you may have to share, more so if you have used them in anger. There is linearML but sadly the development slowed down once pikatchu got hired by facebook.