mechazoidal + haskell + programming   19

Typing the technical interview
"“You never… you never wrote an actual value. You… do realize that the type system is meant to constrain values, right?”

“No,” you inform him, matter-of-factly. “No, that doesn’t sound right.”"
humor  programming  haskell  types 
april 2017 by mechazoidal
Functional IoT - Connect things by well-typed bridge.
"a wrestling mat that strongly typed languages fight on, to become the champion of system programming language.", possibly a Japanese project? ATS, Haskell, and Rust are the competitors, using MSP430, AVR, and Cortex-M as target platforms, no winners picked yet as of 2017/03
( )
iot  pmz  programming  ats  haskell  rust  arm  embedded 
march 2017 by mechazoidal
GitHub - agentm/project-m36: Project: M36 Relational Algebra Engine
"implements a relational algebra engine as inspired by the writings of Chris Date."
Includes built-in TutorialD, can run in-process or over websockets. Also note their comparison to the Out of the Tarpit paper:
haskell  database  relational  repo:github  programming 
january 2017 by mechazoidal
"a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell." @robgssp: "It takes a more directly functional approach than Bluespec or Chisel, which I’m sure hardware folks will tend to dislike but suits me just fine."
Note that it can synthesize to Verilog, VHDL, or SystemC
haskell  verilog  embedded  programming  vhdl  hardware  fpga 
november 2016 by mechazoidal
Programming Graphics Processors Functionally
"This paper presents Vertigo, a purely functional, Haskell-embedded language for 3D graphics and an optimizing compiler that generates graphics processor code. The language integrates procedural surface modeling, shading, and texture generation, and the compiler exploits the unusual processor architecture. "

By Conal Elliott. Section 4 is lots of interesting math about 3D geometry. Also note the comparison to Renderman Shading Language's global implicit variables: "this can map to curried functions having natural staging"
graphics  compilers  piperesearch  paper  programming  haskell 
january 2016 by mechazoidal
Why I'm Interested In Haskell - iRi
Not so much for the Haskell plugs(although he properly notes that it may not be The One True Way), but more for his analysis of "CLispScript" languages.
haskell  functional  programming  piperesearch 
january 2016 by mechazoidal
"a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. [...] The interpreter includes a :check command, which tests predicates written in Cryptol against randomly-generated test vectors (in the style of QuickCheck). There is also a :prove command, which calls out to SMT solvers, such as Yices, Z3, or CVC4, to prove predicates for all possible inputs."
cryptography  security  programming  language  haskell 
april 2014 by mechazoidal
Check out that customized keyboard with vi mappings!
haskell  ipad  programming  software 
december 2013 by mechazoidal
A Neighborhood of Infinity
Interesting explorations with Haskell, even if I have to catch up on the math.
logic  programming  physics  math  haskell  functional  blog 
october 2009 by mechazoidal

Copy this bookmark: