Skip to content
View sagifogel's full-sized avatar
:octocat:
foldl :: Foldable t => (b -> a -> b) -> b -> t a -> b
:octocat:
foldl :: Foldable t => (b -> a -> b) -> b -> t a -> b
25 followers · 54 following

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report sagifogel

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@graninas
Alexander Granin graninas
Software architect, book author, international speaker | "Functional Design and Architecture" (Manning) | "Pragmatic Type-Level Design"

UAE, Dubai

@masaeedu
Asad Saeeduddin masaeedu

Montreal, QC, Canada

@armanbilge
Arman Bilge armanbilge
Executive Director of Typelevel Foundation. (Distracted) computational evolutionary biologist. I write Scala, read DNA, and speak in conditional probabilities.

@typelevel Seattle, Washington

@mosheavni
Moshe Avni mosheavni
DevOps Engineer and avid Neovim user

@Spotinst Tel Aviv

@rotemfogel
Rotem Fogel rotemfogel
Veteran R&D manager specializing in building high volume, scalable, high-performance, distributed data platforms.

Even Yehuda, Israel

@alexeyr
Alexey Romanov alexeyr

ShakaCode Moscow, Russia

@fogeld
fogeld
@DannyMor
Danny Mor DannyMor
@LiamGoodacre
Liam Goodacre LiamGoodacre

@heyhabito London

@isovector
Sandy Maguire isovector
Author, programmer, musician, trouble-maker.

Victoria, BC

@MonoidMusician
Verity Scheel MonoidMusician
@chiroptical
Barry Moore II chiroptical
Random functional programming content on https://youtube.com/chiroptical.

https://mercury.com Boston

@phadej
Oleg Grenrus phadej

Well-Typed LLP Helsinki, Finland

@lihaoyi
Li Haoyi lihaoyi
I'm a software engineer. If you like using my libraries or reading my blog https://www.lihaoyi.com/, you should check out my book https://www.handsonscala.com
@conal
Conal Elliott conal
Play/learn/work with me: https://github.com/conal/Collaboration

(open to employment) San Andreas, California, USA

@jaspervdj
Jasper Van der Jeugt jaspervdj
Haskell programmer. I like to make things.

engineer at @digital-asset Zurich, Switzerland

@dpiponi
Dan Piponi dpiponi
Using an IBM Port-a-Punch I wrote my first program in Fortran in around 1978.

San Anselmo, CA, USA

@BartoszMilewski
Bartosz Milewski BartoszMilewski
Author of Category Theory for Programmers

Programming Cafe Paris, France

@Gabriella439
gabby Gabriella439

@MercuryTechnologies San Jose, CA

@ChrisPenner
Chris Penner ChrisPenner
Writing software to improve the experience of writing software. Author of Optics By Example

Unison Computing Victoria BC, CA

@pchiusano
Paul Chiusano pchiusano

Unison Computing, a public benefit corp New Orleans, LA

@ChristopherDavenport
Christopher Davenport ChristopherDavenport
Functional Programmer (he / him)

Lake Oswego, Oregon

@aryairani
Arya Irani aryairani
@simonpj
Simon Peyton Jones simonpj

Epic Games

@sdiehl
Stephen Diehl sdiehl
I build software.

London

@adinapoli
Alfredo Di Napoli adinapoli
Haskell programmer working remotely from Rome, Italy.

Well-Typed LLP Rome, IT

@etorreborre
Eric Torreborre etorreborre
Visit my other projects at http://github.com/atnos-org!

Ockam Alençon, France

@larsrh
Lars Hupel larsrh
evangelizing things | “absurd enthusiasm for trains, electoral systems, and bureaucracy”

Giesecke+Devrient München

@wadler
Philip Wadler wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

University of Edinburgh Edinburgh

@tpolecat
Rob Norris tpolecat
mimimum viable programmer

Gemini Observatory Austin, TX

@puffnfresh
Brian McKenna puffnfresh
λ

Launceston & North East Railway Tasmania, Australia

@RyanGlScott
Ryan Scott RyanGlScott
@sebastiaanvisser
Sebastiaan Visser sebastiaanvisser

Utrecht, Amsterdam, The Netherlands

@pthariensflame
Laine Taffin Altman pthariensflame

Modesto, CA, USA

@headinthebox
headinthebox
@paf31
Phil Freeman paf31
Original developer of the PureScript compiler, author of http://leanpub.com/purescript, Haskeller, PLT enthusiast.

Los Angeles, CA

@djspiewak
Daniel Spiewak djspiewak
I write code, read papers, and think thoughts. Broadly, I'm interested in: type theory, parser theory, functional abstractions, data structures, performance.

@nvidia Chicago, IL

@LukaJCB
Luka Jacobowitz LukaJCB

New York

@i-am-tom
Tom Harding i-am-tom

@pulumi Barcelona

@bitemyapp
Chris A. bitemyapp
☦️
@kcsongor
Csongor Kiss kcsongor
dysfunctional programmer

London, United Kingdom

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@DanBurton
Dan Burton DanBurton

https://reach.sh San Francisco Bay Area, CA

@danidiaz
Daniel Díaz Carrete danidiaz

Artificial Labs A Coruña, Spain

@harendra-kumar
Harendra Kumar harendra-kumar
Haskell, pure functional programming

@composewell Bengaluru

@joshcough
Josh Cough joshcough

Boston

@uroboros
ryan za uroboros

Cape Town, South Africa

@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@snoyberg
Michael Snoyman snoyberg
Haskell and Rust, founder and maintainer of many OSS Haskell projects: Yesod, Conduit, Stack, Stackages, and more. VP of Engineering at FP Complete (@fpco)

@fpco Israel

@jdegoes
John A. De Goes jdegoes

Ziverge Inc. Maryland, USA