Post has shared content

Yay, Haskell!

SPJ signing my friends notebook.

And the blue knees on the right: that's me.

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.

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)

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

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

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

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.

*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.

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.".

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

Happy birthday, Simon!

Thank you very much for your outstanding work!

https://mail.haskell.org/pipermail/haskell-cafe/2018-January/128447.html

Thank you very much for your outstanding work!

https://mail.haskell.org/pipermail/haskell-cafe/2018-January/128447.html

Wait while more posts are being loaded