mechazoidal + haskell   33

GitHub - jgm/gitit: A wiki using HAppS, pandoc, and git
"Pages and uploaded files are stored in a git, darcs, or mercurial repository and may be modified either by using the VCS's command-line tools or through the wiki's web interface. By default, pandoc's extended version of markdown is used as a markup language, but reStructuredText, LaTeX, HTML, DocBook, or Emacs Org-mode markup can also be used. Pages can be exported in a number of different formats, including LaTeX, RTF, OpenOffice ODT, and MediaWiki markup. Gitit can be configured to display TeX math (using texmath) and highlighted source code (using highlighting-kate)."
wiki  haskell  tools  webapp  dvcs  asspad 
january 2019 by mechazoidal
GitHub - snoyberg/conduit: A streaming data library
Compare to Clojure lib, and compare with ZMQ for the types section
haskell  library  pipeline  piperesearch 
january 2018 by mechazoidal
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
ShellCheck – shell script analysis tool
A nice linter, although not a substitute for good shell programming
shell  linter  tools  haskell  bash 
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
Darcs internals, part 1: typesafe directed datastructures | (parentheses)
PR: note type-sealing, directed types, and how Darcs models complex patches.
haskell  types  piperesearch  dvcs  darcs 
september 2015 by mechazoidal
State of the Haskell ecosystem - August 2015
Good for compilers, servers, stand-alone tools. Everything else(GUI, numerical, distributed, systems) is fair at best.
haskell  repo:github  report 
august 2015 by mechazoidal
IO Monad Considered Harmful · in Code
About the grammatical use: "IO in Haskell has nothing to do with monads. [...] The ability for Haskell to work with IO comes from the fact that we have a regular ol’ data type that represents IO actions, in the same way that Bool represents a boolean or Integer represents an integer."
haskell  rant  monads 
january 2015 by mechazoidal
How to talk about ADTs in a post ADT world - Google Groups
Interesting notes on not keeping Haskell terms so as to avoid driving off people.
elm  terminology  piperesearch  haskell  types  discussion  adt 
october 2014 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
Haskell, where to start?
List of tips/articles for getting started with Haskell
haskell  howto  tutorial 
november 2013 by mechazoidal
Not fully compatible with MacPorts yet, btw.
haskell  money  finance  software  accounting  tools 
october 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: