NetStudent.cz - články v kategorii Blogy MSP

Power of mathematics: Reasoning about functional types

Tue, 14 May 2024 17:54:46 +0200

One of the most amazing aspects of mathematics is that it applies to such a wide range of areas. The same mathematical rules can be applied to completely different objects (say, forces in physics or markets in economics) and they work exactly the same way. In this article, we'll look at one such fascinating use of mathematics - we'll use elementary school algebra to reason about functional data types. In functional programming, the best way to start solving a problem is to think about the data types that are needed to represent the data that you will be working with. This gives you a simple starting point and a great tool to communicate and develop your ideas. I call this approach Type-First Development and I wrote about it earlier, so I won't repeat that here. The two most elementary types in functional languages are tuples (also called pairs or product types) and discriminated unions (also called algebraic data types, case classes or sum types). It turns out that these two types are closely related to multiplication and addition in algebra...

Async in C# and F#: Asynchronous gotchas in C#

Mon, 15 Apr 2024 04:00:03 +0200

Back in February, I attended the annual MVP summit - an event organized by Microsoft for MVPs. I used that opportunity to also visit Boston and New York and do two F# talks and to record a Channel9 lecutre about type providers [5]. Despite all the other activities (often involving pubs, other F# people and long sleeping in the mornings), I also managed to come to some talks! One (non-NDA) talk was the Async Clinic [1] talk about the new async and await keywords in C# 5.0. Lucian and Stephen talked about common problems that C# developers face when writing asynchronous programs. In this blog post, I'll look at some of the problems from the F# perspective. The talk was quite lively, and someone recorded the reaction of the F# part of the audience as follows...

F# Data: New type provider library

Thu, 28 Mar 2025 03:23:41 +0100

When F# 3.0 type providers were still in beta version, I wrote a couple of type providers as examples for talks. These included the WorldBank type provider (now available on Try F#) and also type provider for XML that infered the structure from sample. For some time, these were hosted as part of FSharpX and the authors of FSharpX also added a number of great features. When I found some more time earlier this year, I decided to start a new library that would be fully focused on data access in F# and on type providers and I started working on F# Data. The library has now reached a stable state and Steffen also announced that the document type providers (JSON, XML and CSV) are not going to be available in FSharpX since the next version. This means that if you're interested in accessing data using F# type providers, you should now go to F# Data. Here are the most important links: F# Data source code on GitHub F# Data documentation & tutorials F# Data on NuGet Before looking at the details, I would like to thank to Gustavo Guerra who made some amazing contributions to the library! (More contributors are always welcome, so continue reading if you're interested...)

Aktualizace IE 10.0.3 na Windows Update

Wed, 13 Mar 2025 00:00:00 +0100

Březnová kumulativní aktualizace zabezpečení aplikace Internet Explorer 6, 7, 8, 9 a 10 je k dispozici na Windows Update. Opravuje jednu veřejně známou zranitelnost a osm oprav potencionálně nebezpečných míst, které však byly včas nahlášeny před jejich veřejným odhalením. Nejvážnější zranitelnosti se týkají vzdáleného spuštění kódu, pokud uživatel navštíví webovou stránku útočníka. Ten pak může získat stejná práva, jako má uživatel.

Internet Explorer 10 pro Windows 7

Wed, 06 Mar 2025 00:00:00 +0100

Od úterka je k dispozici Internet Explorer 10 také pro uživatele Windows 7. Na Windows Update se objeví nejprve těm, kteří si nainstalovali IE10 Release Preview, postupně se ale bude rozšiřovat mezi všechny uživatele Windows 7 (až na ty, kterým správci nainstalovali IE10 Blocker Toolkit). Desátá verze prohlížeče přináší významná vylepšení v mnoha oblastech – webových standardů, výkonu, bezpečnosti, ochrany před sledováním a spolehlivosti.

Žádný produktový klíč na počítači s Windows 8?

Tue, 26 Feb 2025 00:00:00 +0100

Při zakoupení nového notebooku si můžete všimnout, že žadná licenční nálepka již na něm není. Kam se poděla?

Overview of the .NET Framework

Sat, 16 Feb 2025 00:00:00 +0100

The .NET is a very large framework and sometimes is hard to decide whether to code something or use an existing component of the framework. Sometimes is faster to code, but when production workload and reliability comes into play, the perspective is different. An overview of what .NET offers is a fundamental knowledge. It is hard to keep in track because .NET evolves very fast. This article discusses essentials which is the .NET Framework built from.

Mimořádná aktualizace Adobe Flash Playeru (KB2811522)

Tue, 12 Feb 2025 00:00:00 +0100

Microsoft vydal mimo plán důležitou bezpečnostní aktualizaci pro Internet Explorer 10 na Windows 8. Jedná se o zranitelnosti v Adobe Flash Playeru, kterou Adobe hodnotí jako kritickou. Dotčený je jak Windows 8 a Windows RT, tak i Windows Server 2012. Zranitelnost umožňuje útočníkovi shodit systém, případně nad ním převzít kontrolu. Pokud máte zapnutou automatickou instalaci aktualizací, nemusíte podnikat žádné kroky. V opačném případě si nainstalujte aktualizaci hned, jak to bude možné.

Upcoming F# talks and trainings (London, NYC & Boston)

Thu, 07 Feb 2025 23:00:22 +0100

After a few years, I finally managed to find the time to attend the MVP Summit this year. The Summit is an annual event where people who are active in Microsoft technical communities come to the Microsoft headquarters to learn about new things (and, of course, tell them how they should be doing their job :-)). The Summit is a great place to meet interesting people (so if you're reading this and will be there, definitely get in touch!) The good news - for those interested in F# - is that I'll be doing two F# talks on the way and we also have a new F# course scheduled for later in the year. Continue reading to learn more!

modern.IE

Mon, 04 Feb 2025 00:00:00 +0100

Před nasazením Windows Store aplikace je dobrým zvykem spouštět Windows App Certification Kit. Pro webové aplikace něco takového chybělo. Možná zastáváte názor, že to není potřeba, protože v praxi se prohlížeč víc přizpůsobuje webové stránce, než stránka prohlížeči. Pokud však chcete setřít rozdíl mezi klientskou a webovou aplikací, musíte prohlížeči umožnit, aby jí do systému mohl integrovat. A to tomu je potřeba dodržovat pár základních bodů.

Záznamy a materiály ze zimních seminářů

Fri, 25 Jan 2025 00:00:00 +0100

Přikládám ke stažení prezentace a zdrojové kódy ze seminářů o vývoji her pro Windows 8, v XNA a v MonoGame, které jsem vedl během prosince 2012. U prvních dvou je dostupný i záznam přednášky.

Announcing: Literate programming tools for F#

Tue, 22 Jan 2025 17:35:36 +0100

For some time now, I've been writing my F# blog posts (and other F# articles published elsewhere) by combining F# code snippets and Markdown formatting. In fact, I even wrote a Markdown parser in F# so that I can post-process documents (to generate references etc). You can read about the Markdown parser in an upcoming F# Deep Dives book - currently, it is available as a free chapter! During the Christmas break, I finally found enough time to clean-up the code I was using and package it properly into a documented library that is easy to install and use. Here are the most important links: F# Formatting home page F# Formatting source code on GitHub F# Formatting package on NuGet To learn more about the tool and how to use it, continue reading!

Použití SQLite ve WinRT

Tue, 01 Jan 2025 00:00:00 +0100

Protože ve WinRT není zabudovaná databáze jako SQL CE, jednou z mála použitelných je SQLite. Při použití SQLite s nejrozšířenější knihovnou sqlite-net v WinRT aplikaci v ČR podmínkách můžete narazit.

Windows 8 a Cisco 802.1x bug (eduroam)

Mon, 24 Dec 2024 00:00:00 +0100

Windows 8 obsahují nové funkce dle 802.11w a pokud využíváte Cisco síťové prvky, budete mít problémy se vůbec připojit k síti.

Processing trees with F# zipper computation

Wed, 19 Dec 2024 14:22:47 +0100

One of the less frequently advertised new features in F# 3.0 is the query syntax. It is an extension that makes it possible to add custom operations in an F# computation expression. The standard query { .. } computation uses this to define operations such as sorting (sortBy and sortByDescending) or operations for taking and skipping elements (take, takeWhile, ...). For example, you can write: 1: query { forxin1..10do2: take33: sortByDescendingx }In this article I'll use the same notation for processing trees using the zipper pattern. I'll show how to define a computation that allows you to traverse a tree and perform transformations on (parts) of the tree. For example, we'll be able to say "Go to the left sub-tree, multiply all values by 2. Then go back and to the right sub-tree and divide all values by 2" as follows: 1: tree { forxinsampledo2: left3: map (x*2) 4: up5: right6: map (x/2) 7: top }This example behaves quite differently to the usual query computation. It mostly relies on custom operations like left, right and up that allow us to navigate through a tree (descend along the left or right sub-tree, go back to the parent node). The only operation that does something is the map operation which transforms the current sub-tree. This was just a brief introduction to what is possible, so let's take a detailed look at how this works... val query : Linq.QueryBuilder Full name: Microsoft.FSharp.Core.ExtraTopLevelOperators.query val x : int custom operation: take (int) Calls Linq.QueryBuilder.Take custom operation: sortByDescending ('Key) Calls Linq.QueryBuilder.SortByDescending type Tree<'T> = | Node of Tree<'T> * Tree<'T> | Leaf of 'T override ToString : unit -> string Full name: Tree-zipper-query.Tree<_> union case Tree.Node: Tree<'T> * Tree<'T> -> Tree<'T> union case Tree.Leaf: 'T -> Tree<'T> val x : Tree<'T> override Tree.ToString : unit -> string Full name: Tree-zipper-query.Tree`1.ToString match x with | Node(l, r) -> sprintf "(%O, %O)" l r | Leaf v -> sprintf "%O" v type Path<'T> = | Top | Left of Path<'T> * Tree<'T> | Right of Path<'T> * Tree<'T> override ToString : unit -> string Full name: Tree-zipper-query.Path<_> union case Path.Top: Path<'T> union case Path.Left: Path<'T> * Tree<'T> -> Path<'T> union case Path.Right: Path<'T> * Tree<'T> -> Path<'T> val x : Path<'T> override Path.ToString : unit -> string Full name: Tree-zipper-query.Path`1.ToString match x with | Top -> "T" | Left(p, t) -> sprintf "L(%O, %O)" p t | Right(p, t) -> sprintf "R(%O, %O)" p t type TreeZipper<'T> = | TZ of Tree<'T> * Path<'T> override ToString : unit -> string Full name: Tree-zipper-query.TreeZipper<_> union case TreeZipper.TZ: Tree<'T> * Path<'T> -> TreeZipper<'T> val x : TreeZipper<'T> override TreeZipper.ToString : unit -> string Full name: Tree-zipper-query.TreeZipper`1.ToString let (TZ(t, p)) = x in sprintf "%O [%O]" t p val left : _arg1:TreeZipper<'a> -> TreeZipper<'a> Full name: Tree-zipper-query.left Navigates to the left sub-tree val failwith : message:string -> 'T Full name: Microsoft.FSharp.Core.Operators.failwith val l : Tree<'a> val r : Tree<'a> val p : Path<'a> val right : _arg1:TreeZipper<'a> -> TreeZipper<'a> Full name: Tree-zipper-query.right Navigates to the right sub-tree val current : _arg1:TreeZipper<'a> -> 'a Full name: Tree-zipper-query.current Gets the value at the current position val x : 'a val branches : Tree Full name: Tree-zipper-query.branches val sample : TreeZipper Full name: Tree-zipper-query.sample val printfn : format:Printf.TextWriterFormat<'T> -> 'T Full name: Microsoft.FSharp.Core.ExtraTopLevelOperators.printfn val up : _arg1:TreeZipper<'a> -> TreeZipper<'a> Full name: Tree-zipper-query.up val top : _arg1:TreeZipper<'a> -> TreeZipper<'a> Full name: Tree-zipper-query.top val t : TreeZipper<'a> val tz : TreeZipper<'a> Multiple items val unit : v:'a -> TreeZipper<'a> Full name: Tree-zipper-query.unit Build tree zipper with singleton tree -------------------- type unit = Unit Full name: Microsoft.FSharp.Core.unit val v : 'a val bindSub : f:('a -> TreeZipper<'a>) -> treeZip:TreeZipper<'a> -> TreeZipper<'a> Full name: Tree-zipper-query.bindSub Transform leaves in the current sub-tree of 'treeZip' into other trees using the provided function 'f' val f : ('a -> TreeZipper<'a>) val treeZip : TreeZipper<'a> val bindT : (Tree<'a> -> Tree<'a>) val t : Tree<'a> val current : Tree<'a> val path : Path<'a> Multiple items type TreeZipperBuilder = new : unit -> TreeZipperBuilder member Current : tz:TreeZipper<'a> -> 'a member For : tz:TreeZipper<'T> * f:('T -> TreeZipper<'T>) -> TreeZipper<'T> member Left : tz:TreeZipper<'a> -> TreeZipper<'a> member Right : tz:TreeZipper<'a> -> TreeZipper<'a> member Select : tz:TreeZipper<'a> * f:('a -> 'a) -> TreeZipper<'a> member Top : tz:TreeZipper<'a> -> TreeZipper<'a> member Up : tz:TreeZipper<'a> -> TreeZipper<'a> member Yield : v:'a -> TreeZipper<'a> Full name: Tree-zipper-query.TreeZipperBuilder -------------------- new : unit -> TreeZipperBuilder val x : TreeZipperBuilder member TreeZipperBuilder.For : tz:TreeZipper<'T> * f:('T -> TreeZipper<'T>) -> TreeZipper<'T> Full name: Tree-zipper-query.TreeZipperBuilder.For Enables the 'for x in xs do ..' syntax val tz : TreeZipper<'T> val f : ('T -> TreeZipper<'T>) member TreeZipperBuilder.Yield : v:'a -> TreeZipper<'a> Full name: Tree-zipper-query.TreeZipperBuilder.Yield Enables the 'yield x' syntax val tree : TreeZipperBuilder Full name: Tree-zipper-query.tree Global instance of the computation builder Multiple items type CustomOperationAttribute = inherit Attribute new : name:string -> CustomOperationAttribute member AllowIntoPattern : bool member IsLikeGroupJoin : bool member IsLikeJoin : bool member IsLikeZip : bool member JoinConditionWord : string member MaintainsVariableSpace : bool member MaintainsVariableSpaceUsingBind : bool member Name : string ... Full name: Microsoft.FSharp.Core.CustomOperationAttribute -------------------- new : name:string -> CustomOperationAttribute member TreeZipperBuilder.Left : tz:TreeZipper<'a> -> TreeZipper<'a> Full name: Tree-zipper-query.TreeZipperBuilder.Left member TreeZipperBuilder.Right : tz:TreeZipper<'a> -> TreeZipper<'a> Full name: Tree-zipper-query.TreeZipperBuilder.Right member TreeZipperBuilder.Up : tz:TreeZipper<'a> -> TreeZipper<'a> Full name: Tree-zipper-query.TreeZipperBuilder.Up member TreeZipperBuilder.Top : tz:TreeZipper<'a> -> TreeZipper<'a> Full name: Tree-zipper-query.TreeZipperBuilder.Top member TreeZipperBuilder.Current : tz:TreeZipper<'a> -> 'a Full name: Tree-zipper-query.TreeZipperBuilder.Current Extracts the current value and returns it member TreeZipperBuilder.Select : tz:TreeZipper<'a> * f:('a -> 'a) -> TreeZipper<'a> Full name: Tree-zipper-query.TreeZipperBuilder.Select Transform the current sub-tree using 'f' Multiple items type ProjectionParameterAttribute = inherit Attribute new : unit -> ProjectionParameterAttribute Full name: Microsoft.FSharp.Core.ProjectionParameterAttribute -------------------- new : unit -> ProjectionParameterAttribute val f : ('a -> 'a) custom operation: right Calls TreeZipperBuilder.Right custom operation: left Calls TreeZipperBuilder.Left custom operation: current Calls TreeZipperBuilder.Current Extracts the current value and returns it custom operation: map ('a) Calls TreeZipperBuilder.Select Transform the current sub-tree using 'f' custom operation: up Calls TreeZipperBuilder.Up custom operation: top Calls TreeZipperBuilder.Top val tree : TreeZipperBuilder Full name: Tree-zipper-query.tree Global instance of the computation builder val x : int val sample : TreeZipper Full name: Tree-zipper-query.sample custom operation: left Calls TreeZipperBuilder.Left custom operation: map ('a) Calls TreeZipperBuilder.Select Transform the current sub-tree using 'f' custom operation: up Calls TreeZipperBuilder.Up custom operation: right Calls TreeZipperBuilder.Right custom operation: top Calls TreeZipperBuilder.Top

Manning: F# Deep Dives deal of the day

Tue, 18 Dec 2024 17:19:57 +0100

The F# language has been around for longer than many people suspect. My first, completely outdated, blog post was from May 2006. The Microsoft Research releases, sometime around 2006 were the first stable versions that gained some interest and slowly attracted commercial users. A lot has changed since the early days. F# now includes powerful features like computation expressions and asynchronous workflows and F# 3.0 comes with unique type provider mechanism. There is an increasing number of users from diverse domains: F# is used to model complex domains in finance and science; asynchronous and concurrent features are used to write server-side components of social games and trading systems, but also in web programming; the expressivity of F# is used by machine learning experts to handle dirty data or classify XBox players. Moreover, the F# Software Foundation has been recently founded to support the collaboration between different commercial users, open-source community and academia. There is an increasing interest in F#, but many of those who approach it ask (excellent) questions such as: "In what problem domains can I benefit from F#?" or "How do I use F# in finance/science/gaming or web programming?" and most importantly "How do I approach different problems in F#?"

Sedm kouzel ve OneNote 2010

Sat, 15 Dec 2024 00:00:00 +0100

Počítač je vynikající nástroj na poznámky, pamatuje si jich totiž docela dost a umí je šikovně kategorizovat, prohledávat a celkově s nimi provádět psí kusy. Aby nebylo potřeba pro jejich pořizování používat software, který na to není úplně stavěný (např. Word), obsahuje systém Microsoft Office aplikaci OneNote. Tento článek přeskakuje základy a nabízí sedm tipů, o kterých jste možná nevěděli, ale rozhodně budou mít dopad na vaši efektivitu.

Learn F# at TechMesh and SkillsMetter

Sun, 21 Oct 2024 16:53:04 +0200

Autumn is a busy period and I already invited you to a couple of interesting events, but there are two more events that you definitely should not miss. In only two weeks, you can come to two-day Progressive F# Tutorials packed with tutorials for both F# beginners and experts. At the beginning of December, the TechMesh Conference comes with three days of talks about alternative (and future) technologies. I'll be speaking at both Progressive F# Tutorials and TechMesh and I'm also doing a tutorial at TechMesh, so if you want to learn about F#, type providers in F# 3.0 and financial computing with F#, here are some talks that you should not miss...

MVVM: Model-View-ViewModel

Sat, 20 Oct 2024 00:00:00 +0200

Model-View-ViewModel je návrhový vzor pro WPF aplikace. Dá se samozřejmě aplikovat jak na desktopové, tak i Silverlight aplikace. Samotné WPF bylo vytvořeno tak, aby se v něm MVVM používal pohodlně.

IE10 Release Preview pro Windows 7 bude v polovině listopadu

Fri, 19 Oct 2024 00:00:00 +0200

Zatímco Internet Explorer 10 je ve Windows 8 prakticky pořád (preview verze OS obsahovaly vždy preview verzi IE) poslední preview IE10 pro Windows 7 vyšla před 14 měsíci. Od té doby vycházely preview verze jen pro Windows 8. Za měsíc však konečně vyjde další preview verze pro Windows 7. Po sběru a zapracování podnětů od uživatelů bude následovat vydání finální verze.

SkyDrive – moderní webové úložiště

Tue, 16 Oct 2024 00:00:00 +0200

Ať už chcete posílat velké přílohy emailem, dělat jednoduché průzkumy, sdílet fotografie s přáteli, důstojně je prezentovat z libovolného stolního počítače nebo sdílet soubory napříč zařízeními, ve všech případech bezvadně poslouží webové úložiště SkyDrive. Už dávno to není jen osamocená služba, ale nabízí celé spektrum integračních nástrojů. SkyDrive tak můžete snadno používat z libovolného dostatečně moderního zařízení.

Zkušenosti s technickou podporou Windows Azure

Mon, 15 Oct 2024 00:00:00 +0200

Stoje chyby nedělají, zato programátoři, kteří jim říkají, co mají dělat, ano. Proto když jsem v nesnázích, musím kontaktovat technickou podporu. Životní zkušenosti mě naučily předem se smířit s tím, že je to až ta poslední možnost a ve většině případů se problém stejně nevyřeší. Proto mě mile překvapila technická podpora Windows Azure. Problém se vyřešil do 10 minut a způsobem, který jsem vůbec nečekal.

Upgrade na Team Foundation Server 2012

Sun, 14 Oct 2024 00:00:00 +0200

Team Foundation Server 2012 přináší mnoho nových funkcí a vylepšení. Zatímco z vývojových oddělení je stále více a více slyšet Scrum, Scrum, Scrum, až TFS 2012 je schopen zpívat stejnou píseň. Zná pojmy jako Team, Task Board, Product Backlog, Sprint Planning a Team Home Page. Navíc přibyla edice Express, která je zdarma.

Upgrade na SQL Server 2012

Fri, 12 Oct 2024 00:00:00 +0200

SQL Server 2012 nabízí několik užitečných funkcí. Tou nejpoužívanější je asi možnost stránkování výsledků aniž by bylo nutné použít vnořené dotazy. V pozadí ale určitě nestojí AlwaysOn zajišťující vyšší dostupnost, možnost instalace na Windows Server Core a více možností pro správu z prostředí PowerShell. Zálohu databáze je možné jednoduše uložit do Windows Azure a SSMS má vylepšený IntelliSense.

Aktualizace IE 9.0.10 na Windows Update

Wed, 10 Oct 2024 00:00:00 +0200

Zářijová kumulativní aktualizace zabezpečení aplikace Internet Explorer 9 je k dispozici na Windows Update. Opravuje jednu veřejně známou zranitelnosti a další čtyři zranitelnosti, které však byly včas nahlášeny před jejich veřejným odhalením. Všechny opravy se týkají vzdáleného spuštění kódu, pokud uživatel navštíví webovou stránku útočníka. Ten pak může získat stejná práva, jako má uživatel.

Mimořádná aktualizace Adobe Flash Playeru (KB2758994)

Wed, 10 Oct 2024 00:00:00 +0200

Microsoft vydal mimo plán důležitou bezpečnostní aktualizaci pro Internet Explorer 10 na Windows 8. Jedná se o zranitelnosti v Adobe Flash Playeru, kterou Adobe hodnotí jako kritickou. Dotčený je jak Windows 8, tak i Windows Server 2008, kromě Core edice. Zranitelnost umožňuje útočníkovi shodit systém, případně nad ním převzít kontrolu. Pokud máte zapnutou automatickou instalaci aktualizací, nemusíte podnikat žádné kroky. V opačném případě si nainstalujte aktualizaci hned, jak to bude možné.

Propojení webu s aplikací ve Windows Store v IE10

Sat, 29 Sep 2024 00:00:00 +0200

Internet Explorer 10 (pouze Modern UI verze) má v sobě zabudovanou podporu pro html meta tagy, aby autoři stránek mohli uživatele nasměrovat na aplikaci k jejich webu.

Informace k Windows 8 RTM zkušební verzi

Wed, 05 Sep 2024 00:00:00 +0200

Microsoft dokončil vývoj operačního systému Windows 8 a Windows Serveru 2012. 90 denní zkušební verzi edice Enterprise, která je dostupná do 15. srpna 2013 a nelze jí převést na plnohodnotnou verzi. Po ní je vždy zapotřebí čistá instalace. Vyžaduje alespoň 20 GB disk. Pro vyzkoušení stačí rozlišení 1024x768, pro vývoj však 1366x768, aby fungovalo připínání aplikací. Česká verze k dispozici není.

Aktualizace IE 9.0.9 na Windows Update

Tue, 04 Sep 2024 00:00:00 +0200

Srpnová kumulativní aktualizace zabezpečení aplikace Internet Explorer 9 je k dispozici na Windows Update. Opravuje čtyři zranitelnosti, které však byly včas nahlášeny před jejich veřejným odhalením. Všechny se týkají vzdáleného spuštění kódu, pokud uživatel navštíví webovou stránku útočníka. Ten pak může získat stejná práva, jako má uživatel.

Applicative functors: definition and syntax

Tue, 21 Aug 2024 14:23:19 +0200

In a recent blog post, Edward Z. Yang talks about applicative functors. He mentions two equivalent definitions of applicative functors - the standard definition used in Haskell libraries (Applicative) and an alternative that has been also presented in the original paper, but is generally less familiar (Monoidal). The standard definition makes a perfect sense with the standard uses in Haskell, however I always preferred the alternative definition. Edward uses the alternative (Monoidal) definition to explain the laws that should hold about applicative functors and to explain commutative applicative functors, but I think it is even more useful. The Monoidal definition fits nicely with a trick that you can use to encode applicative functors in C# using LINQ and I also used it as a basis for an F# syntax extension that allows writing code using applicative functors in a similar style as using monads (which is discussed in my draft paper about writing abstract computations in F#). And I also think that commutative applicative functors deserve more attention.