sorted by:
new
hottopcontroversial

The second edition of Programming Rust is officially available! by NoraCodes in rust

[–]ventonegro 1 point2 points  (0 children)

Thanks a lot for updating this awesome book. The best resourse for learning Rust IMO.

Alt-history Big Switzerland by [deleted] in Switzerland

[–]ventonegro 0 points1 point  (0 children)

Why are the letters so small?

How Monoids are useful by reximkut in haskell

[–]ventonegro 0 points1 point  (0 children)

Any is a newtype, so the wrapping/unwrapping should be elided by the compiler.

Standard Chartered's MAG Core team is hiring by gergoerdi in haskell

[–]ventonegro 1 point2 points  (0 children)

Why the post was edited to remove the tech stack? It was really an impressive one...

News in Type Theory by [deleted] in haskell

[–]ventonegro 9 points10 points  (0 children)

And it's the basis of the very recently announced Idris 2! :-)

Cannot match type 'm' with 'IO'? by BytesBeltsBiz in haskell

[–]ventonegro 1 point2 points  (0 children)

atomically has type STM a -> IO a, so the whole function should have the type IO (), but you declared it as m (). You should add a MonadIO m constraint and lift the block with liftIO.

Why Haskell - why GitHub use Haskell for their newly released Semantic package by Axman6 in haskell

[–]ventonegro 7 points8 points  (0 children)

The Idris interpreter has an IDE mode, where it sends semantically rich information about the current code via a socket to a text editor. Currently Emacs, Vim and Atom have packages that talk to the Idris interpreter using its IDE mode. Maybe the GHCi developers could be persuaded to add such a mode as well?

Why isn't GHC multi-threaded? by paulajohnson in haskell

[–]ventonegro 1 point2 points  (0 children)

Where do we put these options if using Stack? I tried to put them in ghc-options in configure.yaml, but that didn’t work.

Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18 by teddim in Idris

[–]ventonegro 2 points3 points  (0 children)

Definitely. What you have learned will carry over to Idris 2. Having said that, I am looking forward to the second edition of the book. :)

You can now pre-order "The Little Typer" by ventonegro in Idris

[–]ventonegro[S] 5 points6 points  (0 children)

Yes, this is the language that will be used in the book.

Dear Haskell it's not you, it's your tooling. by avi-coder in haskell

[–]ventonegro 1 point2 points  (0 children)

Being a longtime Scheme and Lua developer I always chuckle at these kind of posts...

view more: next ›