| #!/usr/bin/env python2 | |
| import SimpleHTTPServer | |
| import SocketServer | |
| import logging | |
| PORT = 8000 | |
| class GetHandler(SimpleHTTPServer.SimpleHTTPRequestHandler): |
| " plugins | |
| let need_to_install_plugins = 0 | |
| if empty(glob('~/.vim/autoload/plug.vim')) | |
| silent !curl -fLo ~/.vim/autoload/plug.vim --create-dirs | |
| \ https://raw.githubusercontent.com/junegunn/vim-plug/master/plug.vim | |
| let need_to_install_plugins = 1 | |
| endif | |
| call plug#begin() | |
| Plug 'tpope/vim-sensible' |
| open Donald | |
| open System.Data.Common | |
| open System.Data.SQLite | |
| open System.Threading.Tasks | |
| open Giraffe | |
| open Giraffe.ViewEngine | |
| open FsToolkit.ErrorHandling | |
| open Microsoft.AspNetCore.Builder | |
| [<RequireQualifiedAccess>] |
| <!DOCTYPE html> | |
| <html> | |
| <head> | |
| <meta charset="UTF-8"> | |
| <title>Offline</title> | |
| </head> | |
| <body style="margin:3em;font-family:sans-serif"> | |
| <h2>Offline</h2> | |
| <p>This site is offline for maintenance.</p> | |
| <!-- |
| //> using dep "org.http4s::http4s-scalatags::0.25.2" | |
| //> using dep "org.http4s::http4s-dsl::0.23.23" | |
| //> using dep "org.http4s::http4s-ember-server::0.23.23" | |
| //> using dep "org.tpolecat::skunk-core::0.6.0" | |
| //> using dep "com.dimafeng::testcontainers-scala-postgresql::0.41.0" | |
| //> using dep "com.outr::scribe-slf4j::3.12.2" | |
| import skunk.*, codec.all.*, syntax.all.* | |
| import cats.effect.* | |
| import scalatags.Text.all.* |
Copyright © 2016-2018 Fantasyland Institute of Learning. All rights reserved.
A function is a mapping from one set, called a domain, to another set, called the codomain. A function associates every element in the domain with exactly one element in the codomain. In Scala, both domain and codomain are types.
val square : Int => Int = x => x * xI'm taking down this post. I just posted this as a side comment to explain a sentence on my latest blog post. This wasn't meant to be #1 on HN to start a huge war on functional programming... The thoughts are not well formed enough to have a huge audience. Sorry for all the people reading this. And please, don't dig through the history...
| package io.github.nomisrev | |
| import app.cash.sqldelight.driver.jdbc.asJdbcDriver | |
| import arrow.continuations.SuspendApp | |
| import arrow.continuations.ktor.server | |
| import arrow.fx.coroutines.autoCloseable | |
| import arrow.fx.coroutines.closeable | |
| import arrow.fx.coroutines.resourceScope | |
| import com.zaxxer.hikari.HikariConfig | |
| import com.zaxxer.hikari.HikariDataSource |
| /// <summary> | |
| /// Helper to encode and set HTML fragment to clipboard.<br/> | |
| /// See http://theartofdev.com/2014/06/12/setting-htmltext-to-clipboard-revisited/.<br/> | |
| /// <seealso cref="CreateDataObject"/>. | |
| /// </summary> | |
| /// <remarks> | |
| /// The MIT License (MIT) Copyright (c) 2014 Arthur Teplitzki. | |
| /// </remarks> | |
| public static class ClipboardHelper | |
| { |
| #load @".paket\load\net452\FSharpPlus.fsx" | |
| open FSharpPlus | |
| open System | |
| [<AutoOpen>] | |
| module rec IO = | |
| let run (IO computation) = computation() | |
| type IO<'T> = |
