Swoorup

type CompareResult<'a, 'b> =
  | FoundPair of 'a * 'b
  | UnmatchedLHS of 'a
  | UnmatchedRHS of 'b

[<RequireQualifiedAccess>]
module ListCompare =
  let compare xsKeySelector ysKeySelector xs ys =
    let xs =
      xs

Swoorup

type private InternalElement<'Key, 'Value when 'Key: comparison> =
  { key: 'Key
    data: 'Value
    polygon: Polygon }

[<Struct>]
type STRtree<'Key, 'Value when 'Key: comparison> =
  private { map: Map<'Key, InternalElement<'Key, 'Value>>
            strTree: NetTopologySuite.Index.Strtree.STRtree<InternalElement<'Key, 'Value>> }

Swoorup

Libraries

Dependent typing, refinement types using SMT solver

• https://github.com/ucsd-progsys/liquidhaskell

Testing

• https://github.com/hedgehogqa/haskell-hedgehog

Categorize words to specific domain

• https://github.com/facebook/duckling

Swoorup

{-# LANGUAGE NumDecimals #-}

swapNodes :: Int -> [a] -> [a]
swapNodes _ [] = []
swapNodes k z = swapNodes' z []
  where 
    swapNodes' [] acc = acc
    swapNodes'  x acc = 
      let (a,b)     = splitAt k x 
          firstHalf = if (length a < k) then 

Swoorup

module Snl.Api.V1.Types where

import Data.Aeson
import Data.Proxy
import Data.Swagger
import Data.Time
import Data.UUID as UUID
import GHC.Generics
import Servant.API
import Snl.Core.Types

Swoorup

[<AutoOpen>]
module Quantex.Common.Prelude

type Range<'T> = { From: 'T; To: 'T }
module Range =
    let create (r: 'T * 'T) =
        let (a,b) = r
        if (a >= b) then Error("From cannot be greater than To") else Ok({ From = a; To = b})

type Range<'T> with

Swoorup

module App.View

open Elmish
open Fable.React
open Fable.React.Props
open State
open Types
open Fulma
open Fable.FontAwesome
open Fable.FontAwesome.Free

Swoorup

 Executing task: cargo build <

   Compiling shell v0.1.0 (file:///home/swoorup/github/mysh-rs)
error[E0597]: `input` does not live long enough
  --> src/main.rs:30:25
   |
30 |         lexer.tokenize(&input);
   |                         ^^^^^ borrowed value does not live long enough
...
38 |     }

Swoorup

import std.array;
import std.stdio;
import std.exception;
import std.string;
import std.conv : to;
import std.algorithm.searching;
import std.algorithm.iteration;
import erupted;
import derelict.sdl2.sdl;

Swoorup

-*- mode: compilation; default-directory: "~/Dropbox/vulkan_experiments/vkapp/" -*-
Compilation started at Sat Dec 31 15:28:03

time dub 
Performing "debug" build using dmd for x86_64.
derelict-util 2.0.6: target for configuration "library" is up to date.
derelict-sdl2 2.0.2: target for configuration "library" is up to date.
xcb-d 2.1.0+1.11.1: target for configuration "library" is up to date.
xlib-d 0.1.1: target for configuration "library" is up to date.
vulkantriangled ~master: building configuration "application"...