Scad_ml

Notable differences from the OpenSCAD language

• Angles are represented in radians (and converted to degrees when compiling to OpenSCAD).
• linear_extrude and rotate_extrude have been renamed to extrude and revolve
• The dimensional system (2D or 3D) each shape inhabits is tracked by the type system. This is used to restrict the operations that can be legally applied (e.g. 2D shapes cannot be moved off of the xy plane, Scad.extrude can only be applied to 2D shapes) and enforcing non-mixing of 2D and 3D shapes during boolean operations.
• Additional modules providing sweeps, roundovers, and more, inspired largely by BOSL2, but also other OpenSCAD libraries such as dotSCAD, and PlotFunction.

Usage

open Scad_ml

let () =
  let scad_logo =
    let rad = 5.
    and fn = 720 in
    let cyl = Scad.cylinder ~fn ~center:true ~height:(rad *. 2.3) (rad /. 2.) in
    let cross_cyl = Scad.rotate (v3 0. (Float.pi /. 2.) 0.) cyl in
    Scad.union
      [ Scad.difference
          (Scad.sphere ~fn rad)
          [ cyl; cross_cyl; Scad.rotate (v3 0. 0. (Float.pi /. 2.)) cross_cyl ]
      ; Scad.color ~alpha:0.25 Color.Magenta cross_cyl
      ]
  in
  Scad.to_file "scad_logo.scad" scad_logo

Generated .scad scripts can then be viewed with the OpenSCAD viewer as you normally would, or directly exporting Scad.t into other model formats or PNGs with Scad.export and Scad.snapshot respectively.

API

Scad_ml -- top level library interface

Core DSL

• Scad -- well-typed dimension aware OpenSCAD models
• Text -- Scad.text configuration types
• Color -- Scad.color configuration type

Vectors and transformations

• V2 -- 2d vector operations
• V3 -- 3d vector operations
• Affine2 -- 2d affine transformation matrices
• Affine3 -- 3d affine transformation matrices
• Quaternion -- quaternion manipulation andl application
• Plane -- normalized cartesian plane operations

2d paths and polygons

• Path2 -- generation and manipulation of 2d paths
• Bezier2 -- 2d bezier curves, patches, and splines
• CubicSpline -- cubic spline interpolation of 2d paths
• Poly2 -- 2d polygons (outer, and zero or more inner paths)
• PolyText -- point representations of text (via cairo)

3d paths, coplanar polygons, and meshes

• Path3 -- generation and manipulation of 3d paths
• Bezier3 -- 3d bezier curves, patches, and splines
• Poly3 -- planar 3d polygons (outer, and zero or more inner paths)
• Mesh -- points and faces 3d mesh representation (polyhedrons)

Utilities

• Math -- float and 2d matrix operations
• Export -- exporting .scad scripts via OpenSCAD CLI
• BallTree2 -- 2d vector space partitioning search tree
• BallTree3 -- 3d vector space partitioning search tree

Examples

Paths and Sweeps

• Offset and roundovers
• Default vs euler path transformation reference
• Bespoke sweep transforms (with direct affine transform generation)
• Cubic spline
• Arcing paths
• Helical paths and extrusions
• Path resampling and scaling/twisting sweeps

Rounded Extrusions

• Rounded sweeps
• Continuous curvature rounded prisms
• Rounded extrusion of cairo imported polygonal font

Skins and Morphs

• Profile skinning
• Morphing sweeps and extrusions

Function Plotting

• Rose polar plot
• Cartesian gravity well
• Axial chalice

[@@deriving scad]

There is a companion ppx, [@@deriving scad] for generating transformation functions for user-defined records and abstract types made up of the Scad.t, along with their corresponding vector (V2.t or V3.t) types (and those composed of them) provided in this library.