thautwarm

"""
modules that provides convenient pointer operations.
```julia
    struct C
        a :: Cint
    end

    struct A
        a :: Cint
        b :: Cdouble

thautwarm

export PYTHONIOENCODING=utf8
PROMPT_COMMAND="prompt-command"

# cache init
source activate base
if [[ -z "$my_pragma_once" ]]; then
    export PATH="$HOME/.local/bin:$PATH"
    source ~/.bashfiles/color.sh
    source "$(scoop prefix git)\etc\profile.d\git-prompt.sh"
    source /usr/share/bash-completion/bash_completion

thautwarm

Weekly development breakdown

thautwarm

type _ df =
| EmptyDF : unit df
| JoinDF : 'a array * 'b df -> ('a * 'b) df

type (_, _) index =
| TOS : ('e * 'o, 'e) index
| NEXT : ('o, 'e) index -> ('tos * 'o, 'e) index

let rec get : type a e. (a, e) index -> a df -> e array =
    fun ind df ->

thautwarm

module type TNT = sig
  type 'a typed_name
  val inj : string -> 'a typed_name
  val prj : 'a typed_name -> string
end

module TN : TNT = struct
  type 'a typed_name = string
  let inj = fun x -> x
  let prj = fun x -> x

thautwarm

using MLStyle
import Base
@data Nat begin
    Z()
    S{N <: Nat} :: () => Nat
end

StoInt(s::Type{Z}) = 0
StoInt(s::Type{S{N}}) where N = StoInt(N) + 1

thautwarm

using MLStyle
using Libdl

struct DLL
    path :: String
    handle::Ptr{Nothing}
end

function DLL(path::String)
    handle = dlopen_e(path)

thautwarm

_isinstance = isinstance
def test_mm(data):
    isinstance = _isinstance
# +pattern-matching
    for d in data:
        with match(d):
            if [a, isinstance(str) and b, c]:
                "%s(%s)%s" % (a, b, c)
            if (isinstance(str) and s, isinstance(int) and i):
                s * i

thautwarm

struct AString
    buf::Vector{Char}
end

function convert(::Type{AString}, str::String)
    n = ncodeunits(str)
    buf = Char[]
    i = 1
    while i <= n
        chr = str[i]::Char

thautwarm

function sort_type(ts :: Vector{Type})
    n = length(ts)
    if n == 1
        ts
    elseif n == 2
        a, b = ts[1], ts[2]
        if a <: b
            [a, b]
        elseif b <: a
            [b, a]