@lyxia@mamot.fr avatar

lyxia

@lyxia@mamot.fr

Haskell and Coq programmer

This profile is from a federated server and may be incomplete. Browse more on the original instance.

lyxia, to haskell
@lyxia@mamot.fr avatar

Bluefin-algae, an algebraic effect library using the Bluefin effect system. #Haskell
https://discourse.haskell.org/t/bluefin-algae-algebraic-effects-in-bluefin/9470

lyxia, to random
@lyxia@mamot.fr avatar

How it started

lyxia,
@lyxia@mamot.fr avatar

How it went

Danvy's lecture, continued (with a joke in French).

lyxia,
@lyxia@mamot.fr avatar

This lecture at Collège de France https://www.youtube.com/watch?v=7Q4WUG-KDec

lyxia, to random
@lyxia@mamot.fr avatar

Let Haskell's mascot be a sloth.

lyxia, to random
@lyxia@mamot.fr avatar

Can you implement list reverse running in linear time, using foldr without putting a function in the accumulator?

lyxia,
@lyxia@mamot.fr avatar

@aeveltstra The prelude doesn't implement reverse using foldr, and if it did it would put a function in the accumulator. It's a question about the theoretical expressiveness of functional languages with odd restrictions on recursion and higher-order functions.

lyxia, to random
@lyxia@mamot.fr avatar

I just had a dream about rust programming. I can't even write rust.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • JUstTest
  • tacticalgear
  • DreamBathrooms
  • InstantRegret
  • magazineikmin
  • Youngstown
  • everett
  • anitta
  • slotface
  • GTA5RPClips
  • rosin
  • thenastyranch
  • kavyap
  • mdbf
  • Leos
  • modclub
  • osvaldo12
  • Durango
  • khanakhh
  • provamag3
  • cisconetworking
  • ngwrru68w68
  • cubers
  • tester
  • ethstaker
  • megavids
  • normalnudes
  • lostlight
  • All magazines
    •