Norgblog

Вернулся из спячки

2012-03-03T15:19:00.000-08:00

Что-то я давно ничего не писал. Буду исправляться. За последнее время я слегка разочаровался в F# и находился в неком поиске себя и тех инструментов, которые мне было бы интересно изучить и использовать. Наверно стоит сказать пару слов почему я отказался от F#. Плохой компилятор. В общем то всё хорошо, но дьявол кроется в мелочах. И одна из этих мелочей - rec. Нет, он честно раскрывается в

Тестирование библиотек F# в Visual Studio

2011-06-02T09:39:00.000-07:00

Когда создаётся новый проект F# Library, то в довесок в *.fs файлу идёт Srcipt.fsx. И в этот скрипт логично бы запилить функционал теста работы библиотеки, причём хорошо бы прогонять этот тест автоматически. Оказывается это возможно и делается довольно легко и просто. Итак, по по пунктам: 1. ПКМ на Script.fsx -> Properties -> Copy to Output Directory выставить в Copy Always. Это необходимо для

Генератор функций являющихся автоматами

2011-04-27T11:04:00.000-07:00

Переоткрыл очередной велосипед. Меня всегда раздражало то, что для задания автомата приходилось что-то примерно такого вида(mutable можно и на ref заменить, не суть важно): type Aut(state: 'S) = let mutable st = state member this.Next(x: 'A): 'B = ... st <- ... result т.е. делать отдельный класс под каждый автомат или класс обёртку. Мне хотелось чего-нибудь более

Композиция функций и странные баги

2010-12-28T07:46:00.000-08:00

Начал потихоньку вникать в теорию комбинаторов и решил попробовать их реализовать на F#. Но наткнулся на один странный баг, который не смог воспроизвести дома. А именно, есть комбинатор функций a, b: let (|>>) a b = fun x -> a x |> b Так вот, используя интерпритатор F# из плагина к VS2008 я не мог построить комбинацию скажем таких функций: let f1 x = x + 1 let f2 x = x.ToString()

F# Snippets

2010-12-16T10:53:00.000-08:00

Бродя по интернету в поисках инфы про quotations наткнулся у Томаса Петричека на следующую ссылку: http://fssnip.net/ более чем полезный ресурс, особенно если он будет и дальше развиваться.

Скорость вычислений на F#

2010-11-30T11:44:00.000-08:00

Недавно задумался над скоростью вычислений в F#, а вернее о том, стоит ли заморачиваться использую lazy() и seq. Поверхностные тесты seq показывают, что seq лучше для вычислений чем list: > Seq.sum (seq{ for i in 1.0 .. 50.0 -> 1.0/(i*i*i) });; Real: 00:00:00.001, CPU: 00:00:00.000, GC gen0: 0, gen1: 0, gen2: 0 val it : float = 1.201860863 > List.sum [ for i in 1.0 .. 50.0 -> 1.0/(i*i*i) ];;

Ну разве этот код не красив?...

2010-11-19T13:28:00.000-08:00

/// L1 ⊕k L2 = {w | (w = xy, x ∈ L1, y ∈ L2, |xy| 6 k) ∨ (w = γ, xy = γβ, x ∈ L1, y ∈ L2, |γ| = k)}. let plus k (L1 : List) (L2 : List) = List.fold (fun (acc : list) (x : string) -> (List.map (fun (y : string) -> if (x.Length + y.Length) < k then x + y else (x + y).Substring(0, k) ) L2 ) @ acc

Upd. Паттерн матчинг

2010-10-27T10:29:00.000-07:00

Паттерн матчинг и выделение памяти

2010-10-27T10:16:00.000-07:00

Есть небольшой и довольно простой код: let replace = function | "by" :: "id" :: t :: [] -> 8 | _ -> 0t :: [] - используется для того, чтобы гарантировать наличие одного свободного эл-та в списке. И вроде бы всё хорошо, но если посмотреть в рефлекторе, то можно увидеть такую картину: public static int replace(FSharpList _arg1) { if (_arg1.get_TailOrNull() != null) {

mutable привязки, интерпретатор и массивы

2010-10-26T15:39:00.000-07:00

Есть такой код: let mutable x = [| 1; 2; 3; 4; 5; 2; 3; 5; 6; 3; |] let to_null = for i in 0..9 do x.[i] <- 0 загоняем его в интерпретатор и получаем соотв.: val mutable x : int [] = [|0; 0; 0; 0; 0; 0; 0; 0; 0; 0|] val to_null : unit = () Всё правильно, всё логично. А теперь снова засунем в интерпретатор x: val mutable x : int [] = [|1; 2; 3; 4; 5; 2; 3; 5; 6

Динамические системы в F# - задание, динамика

2010-10-15T10:55:00.000-07:00

Решил начинать потихоньку писать код по ДС на F#. Оказалось это очень удобно и невообразимо просто, если знать что такое карринг;) Итак, ДС состоит из двух элементов: Множество состояний S; Функция переходов(эволюции) f : S -> S. очевидным образом можно примерно получить описание такого объекта на F#:Set<'a> * ('a -> 'a), т.е. это кортеж из множества и функции. Ну с множеством всё понятно - это

Удаление бесплодных и недостижимых символов из КС-грамматики

2010-10-08T11:33:00.000-07:00

Не далее как сегодня утром я таки дошёл с флешкой и таки сдал эти задачки:) Привожу тут код этих алгоритмов: N, E - Set - мн-ва не\терминальных символов P - Set> - мн-во правил грамматики // функция построения Ni для DelSterileChar let rec del_char (N' : Set) : Set = let Ni : Set = Set.map (fun (a, b) -> if List.forall (fun e -> N'.Contains(

"Кости" в консоли на F#

2010-08-29T06:21:00.001-07:00

небольшая "игрушка" написанная на F# с применением ООП... написанная правда фигово с точки зрения того же ООП:) смысл - посмотреть, как юзаются классы с F#) module BoneGame open System open System.Collections.Generic #light type UserInterface () = member x.Roll : bool = printfn "Вы будете бросать кубик?" x.QuestYN member x.PrintState (data : list) : unit =

Циклы на F#

2010-08-27T10:16:00.000-07:00

Сейчас попытался реализовать довольно тривиальный цикл, который на C++ выглядел бы следующим образом: while(true) { string buf = ""; cout << "write string(Y/N): "; cin >> buf; if(buf == "Y") return true; if(buf == "N") return false; } довольно тривиальная весчь, заставляющая ввести либо Y, либо N. но вот на F# возникли некоторые проблемы(предположительно из-за того, что

F#, первое знакомство

2010-08-18T13:53:00.000-07:00

F# - это функциональный язык разработанный в M$ под платформу .Net, близкий родственник Haskell. Первые ощущения от языка - странно. Оч. похоже на Haskell и Python на первый взгляд. Сразу бросается в глаза использование отступов для различения блоков кода, но это есть гуд кстати(есть и в питоне и в хаскеле). Потом... функцию main можно определить следующим образом: let main ( _ ) = ... ну