Stack Exchange Network

Stack Exchange network consists of 176 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
Loading…
  1. 0
  2. +0
    • Tour Start here for a quick overview of the site
    • Help Center Detailed answers to any questions you might have
    • Meta Discuss the workings and policies of this site
    • About Us Learn more about Stack Overflow the company
    • Business Learn more about hiring developers or posting ads with us
  3. Log in Sign up
  4. current community

    • Computer Science Educators
      help chat
    • Computer Science Educators Meta

    your communities

    Sign up or log in to customize your list.

    more stack exchange communities

    company blog
Computer Science Educators Beta
  1. Home
    1. Questions
    2. Tags
    3. Users
    4. Unanswered
    5. Jobs
Profile Activity
Network profile
101
reputation
2

Will Ness

πΈπ‘šπ‘π‘–π‘Ÿπ‘–π‘π‘Žπ‘™ Oπ‘Ÿπ‘‘π‘’π‘Ÿπ‘  π‘œπ‘“ Gπ‘Ÿπ‘œπ‘€π‘‘β„Ž, 𝒑𝒍𝒆𝒂𝒔𝒆!

YOUR LANGUAGE IS NOT high-level ENOUGH

primes =[2..] \[[pΒ², pΒ²+p..] | p <- primes]

((g<=<f)=<<) = (g=<<) . (f=<<) = join . (g<$>) . join . (f<$>)

(<$>) :: (a -> b) -> f a -> f b ; (<*>) :: f (a -> b) -> f a -> f b ; (=<<) :: (a -> m b) -> m a -> m b ; ($) :: (a -> b) -> a -> b

in a declarative language,
length(a) == 0 is the same as null(a),
and [y | x <- [1..], y <- []] is just [].

apply (FUNARG lambda env) xs a = apply lambda xs env

(g ~~>! h) f x = case g x of [] -> f x; (y:_) -> h y

1:foldr (\n s->fix (merge s.(n:).map (n*))) [] [2,3,5]

ordfactors = foldr g [1] . reverse . primePowers where

slice hi w = (c, sortBy (compare `on` fst) b) where


What's in a powerset? A set's subsets...


(define (call/cc-cps proc k) (proc k k))

(define (list . xs) xs)


How Monads are considered Pure?

Monads are EDSLs:
do { [1,2,3] ; [4,5] } => do { x <- [1,2,3] ; do { y <- [4,5] ; return y }} => {for x in [1,2,3] : {for y in [4,5] : {yield y}}} => [4,5,4,5,4,5]

  • Member for 3 years, 2 months
  • 0 profile views
  • Last seen Sep 20 '18 at 12:07

Communities (27)

  • Stack Overflow 60.3k 60.3k 88 gold badges8484 silver badges162162 bronze badges
  • Code Review 997 997 11 gold badge77 silver badges2222 bronze badges
  • Meta Stack Exchange 660 660 44 silver badges1414 bronze badges
  • Code Golf 382 382 33 silver badges1212 bronze badges
  • Software Engineering 265 265 22 silver badges1212 bronze badges
  • View network profile

Top network posts

  • 96 How is this fibonacci-function memoized?
  • 70 How to implement an efficient infinite generator of prime numbers in Python?
  • 60 Lazy Evaluation and Time Complexity
  • 53 conda, condi, conde, condu
  • 47 Solving "Who owns the Zebra" programmatically?
  • 43 Difference between Monad and Applicative in Haskell
  • 39 Y combinator discussion in "The Little Schemer"
  • View more network posts →

Keeping a low profile.

This user hasn't posted yet.

Badges (2)

Gold

—

Silver

—

Bronze

2

Rarest

  •  Supporter
    Dec 26 '17
  •  Autobiographer
    Dec 26 '17
Computer Science Educators
  • Tour
  • Help
  • Chat
  • Contact
  • Feedback
  • Mobile
Company
  • Stack Overflow
  • For Teams
  • Advertise With Us
  • Hire a Developer
  • Developer Jobs
  • About
  • Press
  • Legal
  • Privacy Policy
  • Terms of Service
Stack Exchange
Network
  • Technology
  • Life / Arts
  • Culture / Recreation
  • Science
  • Other
  • Stack Overflow
  • Server Fault
  • Super User
  • Web Applications
  • Ask Ubuntu
  • Webmasters
  • Game Development
  • TeX - LaTeX
  • Software Engineering
  • Unix & Linux
  • Ask Different (Apple)
  • WordPress Development
  • Geographic Information Systems
  • Electrical Engineering
  • Android Enthusiasts
  • Information Security
  • Database Administrators
  • Drupal Answers
  • SharePoint
  • User Experience
  • Mathematica
  • Salesforce
  • ExpressionEngine® Answers
  • Stack Overflow em Português
  • Blender
  • Network Engineering
  • Cryptography
  • Code Review
  • Magento
  • Software Recommendations
  • Signal Processing
  • Emacs
  • Raspberry Pi
  • Stack Overflow на русском
  • Code Golf
  • Stack Overflow en español
  • Ethereum
  • Data Science
  • Arduino
  • Bitcoin
  • Software Quality Assurance & Testing
  • Sound Design
  • Windows Phone
  • more (28)
  • Photography
  • Science Fiction & Fantasy
  • Graphic Design
  • Movies & TV
  • Music: Practice & Theory
  • Worldbuilding
  • Video Production
  • Seasoned Advice (cooking)
  • Home Improvement
  • Personal Finance & Money
  • Academia
  • Law
  • Physical Fitness
  • Gardening & Landscaping
  • Parenting
  • more (10)
  • English Language & Usage
  • Skeptics
  • Mi Yodeya (Judaism)
  • Travel
  • Christianity
  • English Language Learners
  • Japanese Language
  • Chinese Language
  • French Language
  • German Language
  • Biblical Hermeneutics
  • History
  • Spanish Language
  • Islam
  • Русский язык
  • Russian Language
  • Arqade (gaming)
  • Bicycles
  • Role-playing Games
  • Anime & Manga
  • Puzzling
  • Motor Vehicle Maintenance & Repair
  • Board & Card Games
  • Bricks
  • Homebrewing
  • Martial Arts
  • The Great Outdoors
  • Poker
  • Chess
  • Sports
  • more (16)
  • MathOverflow
  • Mathematics
  • Cross Validated (stats)
  • Theoretical Computer Science
  • Physics
  • Chemistry
  • Biology
  • Computer Science
  • Philosophy
  • Linguistics
  • Psychology & Neuroscience
  • Computational Science
  • more (10)
  • Meta Stack Exchange
  • Stack Apps
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn
  • Instagram

site design / logo © 2021 Stack Exchange Inc; user contributions licensed under cc by-sa. rev 2021.2.26.38670