mechazoidal + functional   45

IIR filters can be evaluated in parallel | Raph Levien’s blog
Noting that expressing them in matrix form is better than direct form, and then shows lifting them into a monoid representation: "this works because the function is linear"
(There's still a lot of math in here and I probably need a second reading to grasp it)
audio  math  programming  functional 
february 2019 by mechazoidal
Functional Languages for Real-Time Control
"Much of my research has been the development of functional languages with temporal semantics. The first of these was Arctic, which was the purest, but least practical language. Canon applied Arctic ideas to generating MIDI scores and use Lisp as a foundation. Fugue extended Canon to manipulate digital audio, and Nyquist is a reimplementation of Fugue making more extensive use of lazy evaluation of signals."
functional  programming  music  list  piperesearch  reference 
september 2018 by mechazoidal
"built on a principle that people should not be limited by the tool they use. It was designed as a general purpose programming language with two equivalent representations – visual and textual. The graphs are as powerful as the code and Luna lets you switch between them at will."
programming  visual  functional  dataflow  piperesearch 
january 2018 by mechazoidal
in which the cost of structured data is reduced - Technomancy
"Often times the trade-off between freeform maps/hashes vs structured data feels like one of convenience vs long-term maintainability. While it's unfortunate that they can't be used with the xml structs4, lenses provide a way to get the best of both worlds, at least in some situations."
racket  programming  lens  functional  tips 
january 2018 by mechazoidal
F*: A Higher-Order Effectful Language Designed for Program Verification
"an ML-like functional programming language aimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, refinement types, and a weakest precondition calculus. Together, these features allow expressing precise and compact specifications for programs, including functional correctness and security properties. The F* type-checker aims to prove that programs meet their specifications using a combination of SMT solving and manual proofs. Programs written in F* can be translated to OCaml, F#, or C for execution. "
(used in the HaCL* verified crypto library)
programming  language  functional  verification  ml 
june 2017 by mechazoidal
Selling Monads
Quoting an HN comment that answers in a nice language-agnostic way why monads are useful, and noting that explanations should come before dragging the conversation into "all about Haskell/Scala":
"So yes, it’s true that Monad allows us to sequence effects in a lazy pure language, and that’s important, but I think a more down to earth reason to be interested is that it allows for more code reuse"
monads  functional  programming 
april 2017 by mechazoidal
Writing Video Games in a Functional Style
collection of prog21.dadgum articles on writing games in functional style, and how his coding style progressed
functional  gamedev  programming  reference 
december 2016 by mechazoidal
Finger Trees: A Simple General-purpose Data Structure
"a functional representation of persistent sequences supporting access to the ends in amortized constant time, and concatenation and splitting in time logarithmic in the size of the smaller piece. Representations achieving these bounds have appeared previously, but 2-3 finger trees are much simpler, as are the operations on them. Further, by defining the split operation in a general form, we obtain a general purpose data structure that can serve as a sequence, priority queue, search tree, priority search queue and more."
datastructures  functional  programming 
december 2016 by mechazoidal
"makes your pure functions purr by completing R's functional programming tools with important features from other languages, in the style of the JS packages underscore.js, lodash and lazy.js."
library  programming  repo:github  functional  r_language 
november 2016 by mechazoidal
"a high-performance, low-level untyped program representation, designed as a target for compilers of functional programming languages.[...] a revolting hack, exposing bits of the OCaml compiler's guts that were never meant to see the light of day."
programming  compilers  functional  repo:github  ocaml 
june 2016 by mechazoidal
Functional Programming, Abstraction, and Names
"Programming with precise algebraic names and equational reasoning is here to stay, and the edifice of abstraction is only going to grow as programming becomes more precise and refined."
@tel: "This should be ground reading for anyone who wishes to engage in conversation about the names of Haskell abstractions or the decision to write a “monad tutorial”."
functional  programming  math 
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
The Ur Programming Language Family
"a programming language in the tradition of ML and Haskell, but featuring a significantly richer type system. [...] Ur/Web is Ur plus a special standard library and associated rules for parsing and optimization. Ur/Web supports construction of dynamic web applications backed by SQL databases. The signature of the standard library is such that well-typed Ur/Web programs "don't go wrong" in a very broad sense."
programming  language  functional  web  piperesearch 
december 2015 by mechazoidal
"Have you tried Elm? What do you think of FRP?"
"I think Functional Reactive Programming could be generalised a bit to just general stream combinator libraries and we could make it as simple as libraries such as pipes, machines and scalaz-stream. I...
piperesearch  inspiration  frp  programming  functional  from notes
august 2015 by mechazoidal
On the state of GUI programming in Haskell | Keera Studios
Compare to plan9's approach? Note that later articles propose what sounds like a Haskell-ish version of the plumber
piperesearch  gui  functional  post  multipart 
august 2015 by mechazoidal
Two views of programming language design | The Lab Lunch
"To summarise, the axiomatic approach views the underlying lambda calculus simply as middleware for hooking arbitrary stuff together, whereas the type-theoretic approach sees the (appropriately enhanced) lambda calculus as a proper programming language. Fortunately the two approaches are not incompatible, because there is nothing stopping us from postulating axioms in a type theory. It may be considered in questionable taste, but it can be helpful!"
programming  types  post  functional 
june 2015 by mechazoidal
Tweet from Gary Bernhardt (garybernhardt)
FP in a nutshell: "replace all of your designs with (reduce some-function {} input-data)"
tweet  programming  functional 
december 2014 by mechazoidal
CiteSeerX — Out of the Tar Pit
Is this the first FRP paper? Synthesizes FRP after examining OO and functional programming, then combining the ideas with logic programming and Codd's relational algebra.
"We have argued that complexity causes more problems in large software systems than anything else. We have also argued that it can be tamed — but only through a concerted effort to avoid it where possible, and to separate it where not. Specifically we have argued that a system can usefully be separated into three main parts: the essential state, the essential logic, and the accidental state and control."
functional  programming  complexity  paper  frp  piperesearch  relational 
october 2014 by mechazoidal
Collection Pipeline: Operation Catalog
Dictionary of various types/operations used in collection pipelines
piperesearch  functional  resource 
july 2014 by mechazoidal
mrb: Learning How To Learn Programming
How the kernel language approach used in CTM stacks up towards conventional CS education.
programming  functional  learning 
june 2014 by mechazoidal
A Taste of the Star Programming Language - Squid's Blog
"Star is a coherent, general-purpose programming language that combines elements from a wide variety of existing languages as well as adding innovative elements of its own. Star inherits functional programming in general, a Haskell-style type system, an F#-style monad for parallel computations, and Concurrent ML for orchestrating concurrent and parallel applications."
functional  language  piperesearch  star_language 
june 2014 by mechazoidal
FP virgin learns Elm
something to note: check out his description under "Natural separation of concerns"
elm_language  report  functional  programming  frp  piperesearch 
june 2014 by mechazoidal
Cloud Programming and Software Environments - The Swift parallel scripting language
2013 presentation on Swift, a simple functional language for scripting massively-parallel environments(usually via MPI on supercomputers). NOT related to Apple's Swift language.
PR: note how it's like Orc: a language designed to parallelize separate programs and collect output
piperesearch  parallelism  distributed  language  functional  paper  pdf 
june 2014 by mechazoidal
Scheme 48: Home
A stripped-down Scheme used for experimentation. Also can be made to work on small/embedded systems easier.
functional  programming  scheme  language 
march 2014 by mechazoidal
Functional programming is a ghetto | Michael O. Church
as of 2016 appears to be gone, may be related to the "What I Fought For" post
programming  functional  design  post  comparison  dead_link 
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: