Rash thoughts about .NET, C#, F# and Dynamics NAV.

At the moment I am collecting some samples for the FSharp.Monad project (you get the bits from nuget.org) and I think I should describe some of these monads here, since they are not that common.

Today I will start with a very small monad which encapsulates infinity as a special value. I found the the idea to this specific monad at http://visualizationtools.net. Let’s start with the basic definition. Like every monad we need a container type and the two functions return and bind. Return will be used to get values into the monad and bind allows us to chain functions inside the monad.

The next thing is to create a computation expression builder which allows us to use the nice syntactic sugar in F#.

Now we can start using the monad. As a small sample we define a safe division function which treats all “division by zero” cases as infinity.

And we can use this division inside computation expressions.

Remark: You can easily define this InfinityMonad in terms of the common MaybeMonad. You can see this in the UnitTests of the FSharp.Monad project.

Next time I will show an UndoMonad which defines an environment which allows to undo and redo state changes.

My friend Björn Rochel (@BjoernRochel) built a really cool generic model for using fakes and automocking on top of Machine.Specifications (or MSpec) called Machine.Fakes (or mfakes).

Today he released version 0.1.0.0 (get it from nuget.org) and I want to talk a bit about the build process. Björn and myself thought a tool called “Machine.Fakes” should of course be built with a tool called “FAKE – F# Make”. In order to do so I had to fix some stuff in Fake which resulted in the new Fake version 1.50.1.0.

Here are some things I fixed:

• New task DeleteDirs allows to delete multiple directories.
• New parameter for NuGet task which allows to specify dependencies.
• Bundled with docu.exe compiled against .Net 4.0.
• Fixed docu calls to run with full filenames.
• Added targetplatform, target and log switches for ILMerge task.
• Added Git.Information.getLastTag() which gets the last git tag by calling git describe.
• Added Git.Information.getCurrentHash() which gets the last current sha1.

Machine.Fakes build setup

The build script for Machine.Fakes performs the following steps:

1. It retrieves the version no. via GitHubs REST API
2. It cleans all directories from old stuff
3. It compiles the app and test projects
4. It uses MSpec to test the application
5. It merges StructureMap and StructureMap.AutoMocking into the app by using ILMerge
6. It generates the XML documentation using the .NET 4.0 version of docu.exe
7. It zips the app and the documentation files
8. It builds and deploys a Nuget package with just Machine.Fakes
9. It builds and deploys bundled Nuget packages in the following flavors:
   1. Machine.Fakes.FakeItEasy
   2. Machine.Fakes.RhinoMocks
   3. Machine.Fakes.Moq

Now you can start using this awesome project by calling:

install-package Machine.Fakes.{Flavor}

After a very interesting talk by Alexander Groß at the ADC2011 about MSpec I started to play around with it. I really like the concepts and especially the Selenium support.

Today I released a new “Fake – F# Make” version with initial support for machine.specifications (MSpec) and fixed some NuGet problems incl. support for automatic push to the http://nuget.org/ feed.

MSpec sample

Using MSpec in Fake is pretty straight forward and nearly the same like the NUnit or xUnit task:

NuGet sample

The following sample is taken from the NaturalSpec build and creates a NuGet package. It takes the AccessKey from the build params and pushes the new package to nuget.org. There are still some missing features but you can use them by manually editing the .nuspec file.

The corresponding .nuspec file looks like this:

Important links

• Changelog
• Download Fake 1.46.0.0

Today I learned a neat way to compute the n.th Fibonacci number in O(log n) time. The idea is that we can compute the Fibonacci Q-Matrix in O(log n) by using recursive powering:

And here is a simple implementation in F#:

let q1 = 1I,1I,1I,0I

let mult (a11,a12,a21,a22) (b11,b12,b21,b22) = 
    a11 * b11 + a12 * b21,
    a11 * b12 + a12 * b22,
    a21 * b11 + a22 * b21,
    a21 * b12 + a22 * b22

let sq x = mult x x

let rec pow x n =
    match n with
    | 1 -> x
    | z when z % 2 = 0 -> pow x (n/2) |> sq
    | _ -> pow x ((n-1)/2) |> sq |> mult x
         
let fib n =
    let _,x,_,_ = pow q1 n
    x

printfn "%A" (fib 49)

On my flight to the US I had a small competition with my dad. He was solving a Sudoku and I tried to write a generic solver in the same time. I admit he was a little bit faster but anyway I put my code on github.

Letzte Woche habe ich im Rahmen der F# Gruppe der .NET Online User Group einen Vortrag zu “Higher-Order-Functions in C#” gehalten. Unter http://vimeo.com/17048170 ist die Aufzeichnung nun zu finden.

Funktionale Programmiersprachen nehmen seit geraumer Zeit einen hohen Stellenwert in der Wissenschaft ein. Mittlerweile ziehen viele der funktionalen Konzepte bereits in den Mainstream ein. Bei diesem Treffen wollen wir einen Einblick in funktionale Konzepte und deren Umsetzung in C# gewinnen. Insbesondere soll auf "Funktionen höherer Ordnung", "Pattern Matching", "Unveränderlichkeit" und parallele Programmierung eingegangen werden.

Vortragsabstract

Heute fand der “Dynamics NAV 2009 R2 Developer Day” statt. Bei diesem Event hat Microsoft mal wieder eine Konferenz in die Welt gestreamt. Da der Dynamics Bereich aber traditionell eher verschlossen ist, wurde der Stream nicht öffentlich gemacht, sondern nur in den jeweiligen Microsoft-Centern in 18 Ländern für eingeladene Partner gezeigt.

In diesem Blogpost verwalte ich meine eigenen Notizen zum Developer Day. Falls etwas zu knapp formuliert ist, kann gern über die Kommentare nachgefragt werden.

Als Release-Termin für Dynamics NAV 2009 R2 wurde der 15.12. angegeben.

What’s new in C/SIDE

Page Designer

• Neuer Wizzard
• Stärkerer Einsatz von Factboxes
• “Strukturhighlighting” (= Gruppen werden fett dargestellt)

Go to Definition

• Ctrl+F12 ==> Go to definition
• Wenn die Definition nicht im selben Objekt ist, wird immer ein neues Designer-Fenster geöffnet, auch falls schon ein Fester des Objekts offen ist .
• Momentan kein “Find References”

Multi-Developer Szenarien

• Locking von Objekten
• Öffnen von gelockten Objekten ist in Read-Only-Modus möglich
• “Force unlock” ist für Superuser möglich
• Meine Frage nach “Lock auch aus C/AL-Code” wurde mit Ja beantwortet.
• Tools/Options/“Auto-lock on design”
  • Meine Frage nach “Auto-lock on first modification” wurde leider nicht beantwortet

How to use the application testability features

• Vortrag war Low-Level-Einführung in automatisiertes Testen
• Keine Verbesserungen zu NAV 2009 SP 1
  • also auch immer noch kein Mocking von Triggern
• Jeder Test wird in eigener Transaktion durchgeführt
• Code nach ASSERTERROR wird trotzdem ausgeführt
  • Transaktion wird jedoch zurück gerollt
• Neues Application Test Toolset auf Partnersource (mit 226 Test Cases)
  • Meine Frage nach einer Erweiterung der Standardtestfunktionen wurde nicht beantwortet.

.NET Interoperability

• Interop nur mit .NET 3.5 libs möglich
• Nur auf NAV Server bzw. RTC
• Anlegen von .NET Typen ist unglaublich umständlich
  • Warum schreibt man alle Typen in eine einzige Liste?
  • Keine einfache Möglichkeit über Namespaces zu browsen
• Simple Datentypen (Double, Integer, Text) werden automatisch in ihre .NET-Entsprechungen gemappt
  • Options auf enums?
• Format() mapped auf .ToString()
• Achtung: Static classes werden über alle Client-Sessions geshared
• NAV Scoping Regeln werden angewendet
  • Wenn lokale C/AL-Methode endet, wird das .NET Objekt disposed
  • Was ist mit Referenzen in noch lebenden .NET Objekten
• .NET Variablen habe ein RunOnClient-Property
• Deployment von Custom .NET Assemblies
  • Auf C/SIDE-Client für Development (Compile)
  • Auf die Tier wo der .NET Typ benutzt wird (siehe RunOnClient)
• Client Warning bei erster Benutzung einer .NET Assembly
  • Keine Warnung bei SPN-Deployment
• Kein try/catch/finally Exception handling
  • Exception wird als Textnachricht an den Client gesendet
• Keine Events

Calling out to other Web Services from NAV

NAV Web Services

• NAV 2009 SP1 führt Web Services immer in UTC-Zeit aus
• NAV 2009 R2 führt WebServiceDefaultTimeZone ein (Default UTC)
• Manuelles Change-Tracking immer noch nötig
• Meine Frage nach “echtem” WCF noch unbeantwortet (aber Demo sah so aus)

Externe Web Services

• Benutzt .NET Interop ==> Genauso wie in C#
• Wenn WSL vorhanden, dann kann ein Proxy über svcutil erzeugt werden. Dieser muss dann als DLL auf den NAV Server deployed werden
• Meine Frage nach asynchronem Aufruf wurde nicht beantwortet
  • Ich vermute unmöglich, da keine .NET Events unterstützt werden und ich noch keine Möglichkeit sehe Callbacks zurück ins NAV zu registrieren
  • Sicherlich möglich durch Publish eines Callback-Webservice (aber das ist irgend nicht schön)

CRM Integration

• “Connector for Microsoft Dynamics“ für das Mapping
  • Hat NAV und CRM Adapter
  • Eigene 3-Tier-Applikation mit eigenem SQL-Server für Integrationsdaten
  • Integration ID – GUID hält NAV und CRM Datensatz zusammen
• Neue Database Trigger in Codeunit 1 die IMMER bei INSERT, MODIFY, DELETE und RENAME feuern
• Jede zu synchronisierende Tabelle muss auf NAV Seite als Page WebService veröffentlicht werden
• Viele Synchronisationswege nur One-Way
  • Rechnungen sollten z.B. nur vom ERP-System verwaltet werden
• Eindruck: Unglaublich kompliziertes System, da Mapping über Wizzard im Connector mit eigener kleiner Programmiersprache
  • Warum keine simple C# Projektvorlage mit ein paar Interfaces die man implementieren muss?
  • Warum extra SQL-Server-Instanz? Warum reicht nicht eine Message-Queue?
• Backup und Restore muss zwischen allen 3 Datenbanken (NAV, CRM, Connector) synchronisiert werden

SSRS (RDLC) Reports in Microsoft Dynamics NAV 2009

• Dataset kann refreshed werden ohne das Visual Studio geschlossen wird
• Printer Selection funktioniert jetzt mit RTC über die Request Page
• Transfooter und Transheader offenbar möglich (siehe http://blogs.msdn.com/nav)
• Kein Druck auf dem NAV Server
  • Wie Archivierung von PDFs?

Developing Pages

• Keine wirklichen Neuerungen in R2

Business Data Visualization Add-Ins for the RTC

• Interessante neue Visualisierungsmöglichkeiten
  • Samples werden auf Beispiel-DVD mitgeliefert
  • Beispiel: Interaktive Zeitreihe

Ausblick auf Dynamics NAV 7

• Forms Designer ist bereits ausgebaut – “There is no way back”
• C/SIDE bleibt die Entwicklungsplattform – Keine Visual Studio Variante
  • Aussage in Hamburg: Entwicklung im RTC – Gezeigte Screenshots sagen etwas anderes
• Offenbar integrierte Versionskontrolle geplant 😉
• UI-Testing “könnte” kommen
• .NET Interop mit Events
• Rewrite vieler interner Funktionen um das .NET-Framework besser zu nutzen
  • Da es in NAV 7 keinen Classic-Client geben wird, ist dies auch problemlos möglich.
• Keine Hybrid-Reports mehr. Entweder Classic Reports oder RDLC
  • 100% automatische Konvertierung in neuen Report Designer

Gestern hat Björn Rochel mit seinem Vortrag zum Thema Rhino.ServiceBus den aktiven Start der .NET Online User Group vollzogen. Mit 28 Teilnehmern war dies (trotz einiger technischer Probleme bei mir als geplantem Co-Moderator) schon ein voller Erfolg. Wenn die nächsten Treffen auch so in der Art stattfinden, dann kann die NOUG (Twitter-Hashtag #NOUG) echt etwas Großes werden. Danke an alle die mitmachen und der NOUG in so kurzer Zeit schon ein Gesicht und Struktur geben.

Björn hat aus seinem Vortrag auch schon eine geniale weiterführende Idee für die NOUG entwickelt. In einer "Build your own CQRS"-Gruppe will er gemeinsam mit anderen Interessierten eine vollständige Implementierung einer CQRS – Beispielanwendung vorantreiben.

Nächsten Montag hat dann die F#-Gruppe ihr Kick-Off-Meeting. Ich würde mich über viele interessierte Teilnehmer freuen. Bei diesem Treffen wollen wir einen ersten Einblick in funktionale Konzepte gewinnen. Insbesondere soll auf "Funktionen höherer Ordnung", "Pattern Matching", "Unveränderlichkeit" und parallele Programmierung eingegangen werden. Damit wir uns nicht zu sehr in Diskussionen zur F#-Syntax verfangen wollen wir dies beim ersten Treffen in C# probieren. Damit wir auch ein möglichst interaktives Treffen hinbekommen wäre ein Mikrofon und im Idealfall auch eine Webcam nicht schlecht. 😉

Wichtige Links:

• Gruppen und Bereiche der NOUG
• Die nächsten Termine
• FAQ zur NOUG

[Das Bild habe ich schamlos von DerAlbert geklaut.]

Nach einigen Diskussionen und Anregungen auf Twitter und einer konstitutionellen Skype-Session (zwischen DerAlbert, Björn Rochel und mir) wurde heute die “.NET Online User Group” gegründet.

Ziele und Einordnung der Gruppe

Unter dem Deckmantel dieser Gruppe wollen wir versuchen möglichst oft und regelmäßig Online-Treffen für .NET-Entwickler aus dem deutschsprachigen Raum zu organisieren.
Die Online User Group sieht sich damit keinesfalls als Konkurrenz zu den bereits bestehenden lokalen User Groups. Wir stellen uns dabei eher vor durch ein breites Angebot an Formaten und das große Einzugsgebiet auch in speziellere Themen tief reinschauen zu können, die bei den lokalen Gruppen aufgrund der heterogenen Interessen eher vermieden werden.

Gruppen

So ist es z.B. geplant Gruppen zu bilden, die sich zu bestimmten “Randgruppen”-Themen ganz intensiv austauschen können. Den Anfang machen wir mit einer F# Gruppe, deren Ziel es ist die Sprache F# im Speziellen und Funktionale Programmierung im Allgemeinen detailliert zu beleuchten. Beim ersten Treffen am 15.11. wollen wir uns mit “Funktionen höherer Ordnung” beschäftigen.

Jede der Gruppen wird min. einen Paten haben. Die Aufgabe des Paten ist es als Ansprechpartner zu fungieren und Termine zu koordinieren. Das soll aber nicht heißen, dass der Pate bei jedem Treffen selbst einen Vortrag halten soll.

Kurzfristige Treffen

In letzter Zeit ist es des Öfteren vorgekommen, dass einige Themen auf Twitter oder in Newsgroups plötzlich sehr intensiv diskutiert wurden. Wir wollen mit der User Group nun auch eine Kommunikationsplattform bieten, die in der Lage ist kurzfristig in einem direkteren Rahmen über solche Themen zu diskutieren. Wir können uns dabei gut vorstellen, dass spontan verabredet wird (z.B. über Twitter) sich am Abend zu einem bestimmten Thema über die Kanäle der User Group (insbesondere LiveMeeting) zu unterhalten.

Coding Dojo

Auch das bereits etablierte Online Coding Dojo mit Albert Weinert und Ilker Cetinkaya wird ab jetzt unter der Flagge der .NET Online User Group durchgeführt werden. Der erste Termin hierfür ist der 18. November.

Klassische Vorträge

Aber auch Vorträge wird es bei der .NET Online User Group geben. Zum jetzigen Zeitpunkt stehen bereits 4 Termine fest:

• Rhino Service Bus, 8. November 2010, 19 Uhr
• ASP.NET MVC 3, Neuerungen, 22. November 2010, 19 Uhr
• NuGet, und nu?, 13. Dezember 2010, 19 Uhr
• Reaktive Programmierung mit EBC, Rx und Co., 20. Dezember 2010, 19 Uhr

Weitere Schritte

Um die .NET Online User Group ordentlich anlaufen lassen zu können benötigen wir natürlich jede Menge Hilfe:

• Bitte helft uns die User Group bekannt zu machen. Twitter, Email, Blogs, Briefe, Faxe, TV-Spots, persönliche Kommunikation usw.
• Bitte registriert euch auf der Webseite der User Grouo
• Bitte schlagt Vorträge vor
• Bitte nennt uns Themenwünsche und Ideen
• Bitte meldet euch freiwillig als Paten für bestimmte Untergruppen bzw. Themenbereiche
• Bitte schlagt uns vor wie ihr sonst noch helfen könnt 😉

This article has been moved to http://fsharp.github.io/FAKE/specifictargets.html