hungryjoe

hungryjoe, 7 months ago to random

If anyone's interested in the combination of #Haskell & #CAD / #3DPrinting I've been working on a library for declarative solid modeling

https://hackage.haskell.org/package/waterfall-cad-0.0.0.1
https://github.com/joe-warren/opencascade-hs

An involute gear, relatively thin, 20 teeth, rendered in grey on a blue background
result of sweeping a kind of "rounded star" shape along a curved line, looks kind of like a line of toothpaste, rendered in grey on a blue background,
A rounded cube, with cylinders cut into it (an example of constructive solid geometry), rendered in grey on a blue background

hungryjoe, 7 months ago to random

Still rough and ready, but I think "the header image on the wiki page for Constructive Solid Geometry" makes a pretty good "hello-world" for a CAD framework

https://github.com/joe-warren/opencascade-hs/blob/e67cc612ab3888b40fce79a896b0764c511bf067/examples/CsgExample.hs#L12
#haskell #CAD #csg

Grey render of the main shape from the previous diagram This one was generated by my own code
Haskell Code: csgExample :: Solids.Solid csgExample = let sphere = Solids.unitSphere cube = Transforms.uScale 1.5 Solids.centeredCube cylinder = Solids.unitCylinder & Transforms.translate (unit _z ^* 0.5) & Transforms.scale (V3 0.5 0.5 2) cylinderA = Transforms.rotate (unit _x) (pi/2) cylinder cylinderB = Transforms.rotate (unit _y) (pi/2) cylinder in (cube ~/~ sphere)

Big Yud and the Methods of Compilation (nitter.net)

In today’s episode, Yud tries to predict the future of computer science.