Операции сложения F # в блоке do

Question

У меня есть вопрос относительно соглашений об использовании блоков do в F #. В первую очередь это возникает при работе с библиотечными классами .NET и другим кодом .NET.

Позвольте привести пример.

1. сделай блок обернутый вокруг заявлений:

let drawHelloName (width:int, height:int) name = 
    let bmp = new Bitmap(width, height) 
    use fnt = new Font("Arial", 12.0f) 
    use gr = Graphics.FromImage(bmp) 
    do 
     gr.Clear(Color.White) 
     gr.DrawString(name, fnt, Brushes.Black, PointF(10.0f, 10.0f)) 
    bmp 

2. Без сделай блока:

let drawHelloName (width:int, height:int) name = 
    let bmp = new Bitmap(width, height) 
    use fnt = new Font("Arial", 12.0f) 
    use gr = Graphics.FromImage(bmp) 
    gr.Clear(Color.White) 
    gr.DrawString(name, fnt, Brushes.Black, PointF(10.0f, 10.0f)) 
    bmp 

Теперь в моей голове, я думаю, что пример 1 является более ясным и больше к точке и стилю F #. Так как на самом деле не «естественно» работать с утверждениями в функциональном программировании, мы явно переносим утверждения в блок do, чтобы показать, что они являются побочными эффектами. Но мне интересно, что такое конвенция?

Answer 1

Поскольку на самом деле не «естественно» работать с утверждениями в функциональном программировании, мы явно переносим утверждения в блок do, чтобы показать, что они являются побочными эффектами.

Я согласен с тобой. Однако, если вы посмотрите на код F # в дикой природе, они, как правило, свободны в этом вопросе. Не существует строгого соглашения, просто следуйте тому, что, по вашему мнению, является лучшим для вас.

Еще один момент заключается в том, что блоки создают новые области действия для значений, которые мы хотели бы явно контролировать их время жизни. Например, если вы хотели бы распоряжаться gr раньше и продолжать использовать fnt, ваша первая функция может быть записана:

let drawHelloName (width:int, height:int) name = 
    let bmp = new Bitmap(width, height) 
    use fnt = new Font("Arial", 12.0f) 
    do 
     use gr = Graphics.FromImage(bmp) 
     gr.Clear(Color.White) 
     gr.DrawString(name, fnt, Brushes.Black, PointF(10.0f, 10.0f)) 
    (* Continue to do something with 'fnt' *) 
    bmp 

другое место, где вы должны использовать do блоки внутри неявных конструкторами, например

type T(width, height) = 
    let bmp = new Bitmap(width, height) 
    use fnt = new Font("Arial", 12.0f) 
    use gr = Graphics.FromImage(bmp) 
    do 
     gr.Clear(Color.White) 
     gr.DrawString(name, fnt, Brushes.Black, PointF(10.0f, 10.0f))