Michelrandahl

Michelrandahl has asked 24 questions and find answers to 10 problems.

Stats

About

Works with Clojure. Plays with F#, Idris, Prolog, Elixir, Python and C. Passionate about functional programming, and especially interested in dependently typed languages.

Michelrandahl questions

currying in Swift, new declaration syntax in future?
F# unit test projects in linux with mono (FAKE, NUnit 3)
O(1) term look up
Does Dialyzer analyze anonymous functions?
special characters as option arguments in sigils
Defining (mathematical) function in Prolog
efficient integration of FPGA into computer system
How to perform distributed computations with F# (.Net)
How to categorize over units of measure?
Relevance of model checking in strongly typed functional programming languages?

Michelrandahl answers

Best way to learn VHDL? [closed]
F# unit test projects in linux with mono (FAKE, NUnit 3)
Defining (mathematical) function in Prolog
MPI: Change number of processors in CMakelists