Post has shared content
Yay, Haskell!
SPJ signing my friends notebook.
And the blue knees on the right: that's me.

What is the exact relationship between Haskell monads and monads in the sense of Category Theory ?

Let C be a concrete category and T a monad on X. Then for any two objects A and B of X we can define a map:

bind_AB: T(A) X Hom(A, TB) -> T(B) (we are Currying)

For let x be in T(A) and f in Hom(A,TB) and m: TT-> T the monad "multiplication".

then we can define bind_AB(x) = m_B(T(f)(x))

recall that m_B is a morphism: T(T(B)) -> T(B)

let ret_A: A -> T(A) be the unit of the monad.

then we can picture the Kleisli category of T and the
composition f o g of
f: A -> T(B) and g: B -> T(C) as being given by

bind_BC(_,g) o f

ret_A is the identity morphism for this composition.

It remains to show that conversely given a Haskell monad we can define a category-theory monad.

Post has attachment
Awesome new role with IOHK for a Community Manager

I'm brand new to Haskell and using an archived EDX course (FP101) with the "Programming in Haskell" book. What I can't seem to find is something like a quick reference to the built-in functions. This would help a lot. I seem to regularly get to a point where I'm sure there's a function available already to do something basic, but I can't find it:(

Any suggies?

Thanx - Charlie

Post has attachment
Hey All,

I am currently working with an awesome blockchain company based in New York who are on the search for talented and experienced Haskell engineers to join the team. Paying up to $180,000 + Benefits + Coins!

Sound like something that could be of interest? Check it out - https://bit.ly/2K3JVVy

Post has attachment
I'm happy to announce a new release of the z3 package, version 4.3, the unofficial Haskell bindings to Microsoft's Z3 API.

Changelog here: https://github.com/IagoAbal/haskell-z3/blob/master/CHANGES.md.

By the way, after many requests I have moved the repository to GitHub: https://github.com/IagoAbal/haskell-z3.

how to get haskell code execution time (runtime)?
Sorry for my english, I'm brazilian.

I need to know the Real Time, Sys Time and user time (execution) of some codes haskell.

Post has attachment
New release of bv, a Haskell library for bit-vector arithmetic.

Post has attachment
Haskell Lojban To Logic Translator

https://hackage.haskell.org/package/tersmu

I installed the full version of Haskell (which includes cabal) on my Mac Book Air.
https://www.haskell.org/platform/

Then in the terminal I typed

cabal install tersmu

Then I navigate to the .../Users/.../Library/Haskell/bin
directory and execute
./tersmu

You get a prompt

>

> le carce ku sutra

non-veridical: carce(c0)
sutra(c0)

ju'a nai cy no carce
.i cy no sutra

The Lojban sentence means "The car is fast.".

Post has attachment
Wait while more posts are being loaded