serefarikan

module GADTMotivation

(*
Here is a simple motivational example for GADTs and their usefulness for library design and domain modeling. Suppose we
need to work with settings which can be displayed and adjusted in a GUI. The set of possible setting "types" is fixed
and known in advance: integers, strings and booleans (check-boxes).
The GUI should show an example value for each possible setting type, e.g. 1337 for an integer setting and "Hello" for a
string setting. How can we model this small domain of setting types and computing example values?
*)

serefarikan

// SRTP: Statically Resolved Type Parameters
// https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/generics/statically-resolved-type-parameters

// SRTP Allows for pulling members out of types that where the member is named and typed the same
// In this example SRTP will be used to pull out the 'First: string' and 'Last: string' members
// from different types

// One example of SRTP in the F# Base Class Library is the (+) operator. 
// You'll see that it has this type signature:

serefarikan

The repository for the assignment is public and Github does not allow the creation of private forks for public repositories.

The correct way of creating a private frok by duplicating the repo is documented here.

For this assignment the commands are:

1. Create a bare clone of the repository. (This is temporary and will be removed so just do it wherever.)

git clone --bare git@github.com:usi-systems/easytrace.git

serefarikan

Pure ESM package

The package that linked you here is now pure ESM. It cannot be require()'d from CommonJS.

This means you have the following choices:

1. Use ESM yourself. (preferred)
   Use import foo from 'foo' instead of const foo = require('foo') to import the package. You also need to put "type": "module" in your package.json and more. Follow the below guide.
2. If the package is used in an async context, you could use await import(…) from CommonJS instead of require(…).
3. Stay on the existing version of the package until you can move to ESM.

serefarikan

type MyType =
  | MyCase
  static member statFun x = match x with MyCase -> "I'm static member function!"
  static member statFunUnit () = "I'm static member function with unit param!"
  static member statFunGeneric (x, y) =
    match x with MyCase -> $"I'm static member function with generic param with value = %O{y}!"
  static member statProp = "I'm static member property!"
  member this.objProp = match this with MyCase -> "I'm object member property!"
  member this.objFunGen x = match this with MyCase -> $"I'm object member function with param with value = %O{x}!"
  member this.objFunUnit () = match this with MyCase -> "I'm object member function with unit param!"

serefarikan

Edit '/etc/sysconfig/jenkins' and add 'prefix=/jenkins' to 'JENKINS_ARGS'
**************************************************************************
JENKINS_ARGS="--prefix=/jenkins"


Comment out the default server config in '/etc/nginx/nginx.conf'
and create following file

'/etc/nginx/conf.d/domain.conf'
*************************************************

serefarikan

//testing a gist

serefarikan

How to Install GraalVM Community Edition on Linux

Note: Tested on Fedora only

1. Download the new release of GraalVM and unpack it anywhere in your filesystem:

$ tar -xvzf graalvm-ce-1.0.0-rc14-linux-amd64.tar.gz

serefarikan

package org.apache.lucene.util;

import java.lang.reflect.Constructor;
import java.lang.reflect.UndeclaredThrowableException;

public final class AttributeFactoryHelpers {
    static final AttributeFactory DEFAULT = new DefaultAttributeFactory();

    static final Constructor<? extends AttributeImpl> findAttributeImplCtor(Class<? extends AttributeImpl> clazz) {
        try {

serefarikan

let addChild updateNode addNode value parent =
  match withNewChild value parent with
  | None -> async.Return None
  | Some (newParent, child) as path ->
    async { do! addNode child
            do! updateNode newParent
            return Some child }
            
let addChildById getNode updateNode addNode logAction value parentId =
  async { let! parent = getNode parentId