Jan :rust: :ferris: · @janriemer
395 followers · 532 posts · Server floss.social

@danielzenzes I never had a need for breaking out of nested loops.

On a related note: when you want to break out of a control flow, e.g. when traversing a tree structure with a visitor, you can also use

std::ops::ControlFlow

doc.rust-lang.org/std/ops/enum

It makes breaking out of control flow much more explicit.

And it can also be used with `?` operator in order to return early when it's value is ControlFlow::Break. :awesome:

#explicitoverimplicit #controlflow #rustlang #Rust

Last updated 2 years ago

Technology Tales · @technology_tales
10 followers · 92 posts · Server mstdn.social
Technology Tales · @technology_tales
13 followers · 96 posts · Server mstdn.social
«lambalicious» · @lambalicious
14 followers · 337 posts · Server aleph.land

What is the best part of conditional branching / control flow?

#programming #controlflow #programminglogic

Last updated 4 years ago

ITSEC News · @itsecbot
687 followers · 32461 posts · Server schleuss.online
Julien M. · @julm
485 followers · 4935 posts · Server framapiaf.org

« as a Compiler Intermediate Language »

« Thanks to the isomorphism, terms of the can also be seen as a with an emphasis on . »

« Beside the point about simple grammar — for which it is hard to improve upon the elegance of the λ-calculus — manages to combine the advantages of both direct and continuation-passing styles. »
lambda-the-ultimate.org/node/5

#sequentcalculus #curryhoward #programminglanguage #controlflow #sequentcore #haskell

Last updated 7 years ago