LinearGo now supports Go 1.6

Re:LinearGo now supports Go 1.6 by thechao on Sunday March 20, 2016 @08:59AM (#11322735)

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?

[ Parent | on HN ]

Re:LinearGo now supports Go 1.6 by bert_cwchang on Sunday March 20, 2016 @10:44AM (#11323100)

LOL... 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/

[ Parent | on HN ]

Re:LinearGo now supports Go 1.6 by apgwoz on Sunday March 20, 2016 @10:53AM (#11323138)

No, as in linear types. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.5...

[ Parent | on HN ]

Re:LinearGo now supports Go 1.6 by srean on Tuesday March 22, 2016 @01:00AM (#11334509)

ATS 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.

[ Parent | on HN ]