DejanMilicic

using System;
using System.Collections.Generic;
using Raven.Client.Documents.Session.Loaders;

namespace LesserKnownFeatures
{
    public class Company
    {
        public string Id { get; set; }
        public string ExternalId { get; set; }

DejanMilicic

:: Install choco .exe and add choco to PATH
@powershell -NoProfile -ExecutionPolicy Bypass -Command "iex ((New-Object System.Net.WebClient).DownloadString('https://chocolatey.org/install.ps1'))"

:: Install all the packages
:: choose: visual studio, office, .net core, .net, rider tools

:::: Dev tools
choco install git.install -y
choco install gitkraken
choco install vscode -y

DejanMilicic

using System;
using System.Collections.Generic;
using System.Linq;
using Raven.Abstractions.Indexing;
using Raven.Client;
using Raven.Client.Document;
using Raven.Client.Indexes;
using Raven.Client.Linq;

namespace RavenDBProjectionTest

DejanMilicic

public BusinessQuery()
{           
    Map = prods => from prod in prods
                   select new
                   {
                        Language = prod.Language,
                        Categories = prod.Categories, 
                        Areas = prod.Areas,                                 
                        Date = prod.Dates != null ? prod.Dates.Select(x => x.Date).DefaultIfEmpty() : null,
                        Subjects = prod.Subjects, 

DejanMilicic

module App

open Elmish

type State = 
    { CurrentUser: string option }

type Msg = 
    | SignIn of string
    | SignOut

DejanMilicic

Basic Tooling Setup

Fable is an F# language to javascript compiler powered by Babel.

F# is a language that runs on a Microsoft CLR. Using the .NET Core CLR implementation it works on Windows, Mac or Linux.

F# Linux

• .NET Core SDK - download the latest 2.1 SDK
• Mono - mono-complete package
• F# compiler - fsharp package from the mono repository

DejanMilicic

How to use Idris 2 in devcontainer

Step 1: build executable and libraries

Use the Dockerfile below to build the Idris 2 executable and standard library:

docker build --tag=idris2 .

DejanMilicic

root = true

[*]
indent_style = space
indent_size = 4
charset = utf-8
trim_trailing_whitespace = true
insert_final_newline = false

[*.fs]

DejanMilicic

General Stuff 🤹‍♀️🍲🐤🥗

• 📚 Website: The Official Documentation, by Microsoft
• 📚 Website: F# for Fun and Profit, by Scott Wlaschin
• 🎞️ YouTube Playlist: Learn F#, by Ben Gobeil

Practices-slash-Code Architecture 🏗🗽🛕🧱

• 📄 GitHub Gist: Effective F#, by Scott Wlaschin
• 📖 Book: Domain Modeling Made Functional, by Scott Wlaschin
• 🎞️ YouTube Video: Property Based Testing, by Scott Wlaschin
• 🎞️ YouTube Video: Active Patterns, by Paul Blasucci

DejanMilicic

#if INTERACTIVE
#r "FSharp.PowerPack"
#r "FSharp.PowerPack.Linq"
#endif

open System
open Microsoft.FSharp.Quotations
open Microsoft.FSharp.Linq.QuotationEvaluation
open System.Linq.Expressions