@bascule does rust have some concept of monads or another pretty/fancy CPS mechanism I forgot?
-
-
-
@jrmithdobbs Rust has monads and things that fill the roles of monads (e.g. Option). It’s also impure… -
@bascule you have some links to examples?
New conversation -
-
-
@bascule@bitemyapp BCPL, Algol68 short syntax and LML/ZetaLisp would like to have a word with you. -
@lojikil 2/3 of what you just mentioned are unabashedly imperative languages -
@bascule Both BCPL and Algol68 had functional-ish expressions: `(int sum := 0; for i to n do sum +:= f(i) od; sum)` -
@lojikil little different from real lambdas/HOFs, or a Hindley-Milner inspired type system
End of conversation
New conversation -
-
-
-
@joefiorini@tomdale Rust is the most high-level systems programming language I've personally ever seen -
-
@joefiorini@tomdale https://twitter.com/bascule/status/421767957316780032 … any questions? (please check timestamps)
End of conversation
New conversation -
-
-
.
@bascule "truly functional-ish" ... that phrasing conveys no meaning. -
@yfeldblum compiles directly to a native ISA with no runtime: https://mail.mozilla.org/pipermail/rust-dev/2013-July/004841.html …
End of conversation
New conversation -
-
New conversation
-
-
-
@bascule I'm eager to figure out whether I can use Rust on tiny machines such as Arduino. I have a lot to learn in that whole area. -
@kaleidic in theory it should be great! e.g: https://mail.mozilla.org/pipermail/rust-dev/2013-July/004841.html …
End of conversation
New conversation -
-
-
@bascule Haskell. Great ffi for systems stuff. Haven't looked at rust since .4ish but it is definitely nifty.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@bascule it is also a object-ish language that really makes you think about mutability, which is weird and interestingThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.