Functionalprogramming New Question

Mutually Inductive Descriptions with different typ
I'm using Descriptions, like they are described here, as a way of encoding the shape of inductive data types. However, I'm stuck on how to represent inductive types that are:Mutually inductiveHave ...... 
How to write a function that appends a variable nu
The motivating problem is: Code a lazy list whose elements are all possible combinations of 0 and 1 i.e. [0], [1], [0;0], [0;1], etc..Working in OCaml, I've written auxiliary functions for ...... 
Is it possible to connect a dependent type variabl
I'm working on a red black tree implementation in Idris. In this implementation, the node, in addition to carrying information about its value and colour, also carries information about its black ...... 
Idris pattern matching on successor (next value)
On the following function I'm pattern matching on the Successor of k on (S k)vectTake : (n : Nat) > Vect (n + m) a > Vect n avectTake Z xs = []vectTake (S k) (x :: xs) = x :: vectTake k xs...... 
Idris function getting pattern matching error on r
I'm working on a red black tree implementation in Idris. In this implementation, the node, in addition to carrying information about its value and colour, also carries information about its black ...... 
Idris returning dependent type signature error wit
I'm working on a red black tree implementation in Idris. In this implementation, the node, in addition to carrying information about its value and colour, also carries information about its black ...... 
How can I define a function in SML to split a tree
splitTree : tree * int > tree * treeHi, I need to define a SML function so that, given a nonnegative number i and a tree t containing at least i elements, the call splitTree(t, i) returns a ...... 
Reading from a file in Idris
what's the preferred idiomatic way of reading files in Idris? For example I'm trying to read numbers from a file map that to Int values and sum everything. Input file5 3 4 6 12import Data.String...... 
Ramda applySpec  keep unmodified props
Let's say I have an object const foo = { a: 1, b: 2 } and I want to add a prop c which is based on b.I could do:applySpec({ a: prop('a'), b: prop('b'), c: ({ b }) => b + 1}, foo)...... 
Ocaml count trie elements
I'm trying to find how many characters i have in my Trie.This is my Trie type.type 'a t = Node of 'a list * ('a arc list) and 'a arc = char * 'a tThis is my implementation that is not exhaustive:...... 
Is there a library in F# that is similar to scalaz
What is a recommended approach in F# to use "high level" functional patterns? For Scala there are scalaz and cats, even there is Arrow for Kotlin, though I have not found anything similar for F#.... 
Immutable js  best way to extract values from a d
Let say I get a json back from an API call with this shape once parsed:const foos = { foo1: { bar1: [{a:1},{a:2},{a:3}], bar2: [{a:4},{a:5},{a:6}], bar3: [{a:7},{a:8},{a:9}] }, foo2:...... 
Is an identity functor in Category of sets a funct
https://ncatlab.org/nlab/show/identity+functorThe identity functor on a category C is the functor idC:C→C that mapseach object and morphism of C to itself. The identity functors are theidentities ...... 
How many different functions are there from Bool t
Since this is (at least it seems to me) tightly related to programming, I'm asking here rather than on math or cs, but if you it think it best fits there or in another side, please just give your ...... 
How to use > operator with a function which ex
kll : Floatkll = let half x = x / 2 in List.sum (List.map half (List.map toFloat (List.range 1 10)))converting using > can you also explain how to use the > ......