F#

Мне понравился язык F# - потихоньку изучаю его. Кратко поясню: F# - это мультипарадигмальный язык программирования для платформы .Net, поддерживающий функциональное, императивное и объектно-ориентированное программирование. F# статически типизирован, т.е. информация о типах доступна уже на этапе компиляции, что обеспечивает большую надёжность программного кода.

Кроме того, на F# можно писать скрипты! Эти скрипты не интерпретируются, а предварительно компилируются в памяти и уже откомпилированный код запускается на исполнение. За счёт этого скрипты, написанные на F# выполняются гораздо быстрее, чем скрипты, написанные на чистых скриптовых языках.

Сейчас меня интересуют именно скрипты, а не компилируемые приложения, написанные на том же F#. Я решил проверить следующее: поскольку скрипт, написанный на F# предварительно компилируется, то, теоретически, можно сделать так, чтобы скрипт выполнил всё что от него требуется и затем сам себя удалил! Ведь откомпилированный код уже не связан с исходным текстовым fsx-файлом скрипта. Как показала практика - моё предположение оказалось верным. Это приятно радует и будет мною востребовано в механизмах обновления моих программ.

Привожу пример скрипта, написанного мною в качестве теста. Обратите внимание на то, что работа скрипта начинается с того, что он совершенно спокойно сам себя удаляет, и уже затем выполняет всю требующуюся от него работу:

//*********************************************************************************
(*
Скрипт написан на языке F#. Такие скрипты не интерпретируются построчно, а компилируются в момент их запуска, результат компиляции загружается в память и выполняет всю работу.
Поскольку скрипт компилируется - он выполняется гораздо быстрее, чем скрипт, который интерпретируется. Кроме того, поскольку работу выполняет откомпилированный код, находящийся в памяти - связи с исходным текстовым файлом скрипта нет, т.е. можно заставить скрипт выполнить всё что нужно и затем удалить самого себя (т.е. исходный fsx-файл).
*)
open System
open System.IO

//Первым делом удаляем файл текущего скрипта
//Это можно сделать так:
//let file = Path.Combine(__SOURCE_DIRECTORY__, __SOURCE_FILE__)
//File.Delete(file)
//Или так:
let file = __SOURCE_DIRECTORY__ + "\\" + __SOURCE_FILE__
File.Delete(file)

if File.Exists(file) then printfn "Беда: файл не удалён..."
else printfn "Файл успешно удалён!"

//Выводим на консоль информацию о системе
printfn @"Текущий сценарий: ""%s\%s""" __SOURCE_DIRECTORY__ __SOURCE_FILE__
printfn "Текущее время: %A" DateTime.Now
printfn "Имя компьютера (NetBIOS): %s" Environment.MachineName
printfn "Домен: %s" Environment.UserDomainName
printfn "Имя пользователя (логин): %s" Environment.UserName
printfn "Версия операционной системы: %s" Environment.OSVersion.VersionString
printfn "Системный каталог: %s" Environment.SystemDirectory
let xbit condition = if condition then "x64" else "x86"
printfn "Разрядность операционной системы: %s" (xbit Environment.Is64BitOperatingSystem)
printfn "Количество центральных процессоров: %d" Environment.ProcessorCount
printfn "Разрядность текущего процесса: %s" (xbit Environment.Is64BitProcess)
printfn "Объём файла подкачки: %d Мб" Environment.SystemPageSize
printfn "Версия CLR: %A" Environment.Version
0
//*********************************************************************************

Этот код нужно сохранить в текстовый файл с расширением fsx. Запустить его можно либо из Проводника, выбрав из контекстного меню пункт "Run with F# Interactive...", либо из консоли, запустив программу fsi.exe и передав ей в качестве параметра имя нашего fsx-файла. Результат выполнения кода у меня такой:

//*********************************************************************************

C:\Program Files (x86)\Microsoft Visual Studio 10.0\VC>fsi "C:\Users\user\documents\visual studio 2010\Projects\FSharpLe

arning\FSharpLearning\Script1.fsx"

Файл успешно удалён!

Текущий сценарий: "C:\Users\user\documents\visual studio 2010\Projects\FSharpLearning\FSharpLearning\Script1.fsx"

Текущее время: 22.10.2011 0:03:32

Имя компьютера (NetBIOS): BUSHCOMP

Домен: BushComp

Имя пользователя (логин): user

Версия операционной системы: Microsoft Windows NT 6.1.7601 Service Pack 1

Системный каталог: C:\Windows\system32

Разрядность операционной системы: x64

Количество центральных процессоров: 8

Разрядность текущего процесса: x86

Объём файла подкачки: 4096 Мб

Версия CLR: 4.0.30319.17020

C:\Program Files (x86)\Microsoft Visual Studio 10.0\VC>

//*********************************************************************************

Как видим, скрипт благополучно удалил сам себя, после чего ещё и выполнил всю требующуюся от него работу. На мой взгляд это очень удобно!

Удалять себя могут и скрипты, написанные на интерпретируемых языках (например на VBScript это можно сделать так: CreateObject("Scripting.FileSystemObject").DeleteFile WScript.ScriptFullName,True ), но поскольку я изучаю F#, то меня приятно радует, что именно в нём такая возможность присутствует.