paulcadman

Remote dependencies proposal

This document describes a proposal to add support for remote dependencies to the juvix build tool.

Current dependencies support

Juvix projects can currently depend on other Juvix projects that are stored on the local file system using the dependencies field in the project's juvix.yaml file:

paulcadman

Number Form*
  
  Invalid*
    select number -> Valid
  
  Valid
    submit -> Submitting
    clear -> Invalid

  Submitting

paulcadman

Types are theorems, programs are proofs.

(The code examples here use idris https://www.idris-lang.org)

To augment testing with a finite number of inputs we write mathematical proofs that demonstrate their correctness on all possible inputs.

The programmer writes the proofs and the compiler checks the proofs as it builds the software.

paulcadman

import Foundation

struct BasketItem {
    var name: String
    var price: Price
}

extension BasketItem: CustomStringConvertible {
    var description: String {
        return "Item \(self.name) \(self.price)"

paulcadman

enum Feature<T: Decodable>: Decodable {
    case disabled
    case enabled(configuration: T)

    init(from decoder: Decoder) throws {
        if let _ = try? EmptyObject.init(from: decoder) {
            self = .disabled
            return
        }

paulcadman

Search Bar*
  Inactive*
    focus -> Active
  Active
    Loaded*
      cancel -> Inactive
      type -> Text Entry
    
      Empty*
        submit -> Error

paulcadman

Types are theorems, programs are proofs.

(The code examples here use idris https://www.idris-lang.org)

To augment testing with a finite number of inputs we write mathematical proofs that demonstrate their correctness on all possible inputs.

The programmer writes the proofs and the compiler checks the proofs as it builds the software.

paulcadman

<title>Rust 1.0</title> <style> @import url(http://fonts.googleapis.com/css?family=Fira+Sans:400,600,400italic); @import url(https://fonts.googleapis.com/css?family=Fira+Mono:400,700,400italic); body { font-family: 'Fira Sans'; } h1, h2, h3 {