Login

Recent searches

No recent searches

Search options

Only available when logged in.
fosstodon.org is one of the many independent Mastodon servers you can use to participate in the fediverse.
Fosstodon is an invite only Mastodon instance that is open to those who are interested in technology; particularly free & open source software. If you wish to join, contact us for an invite.

Administered by:

Server stats:

10K
active users

fosstodon.org: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#functionalprogramming

16 posts12 participants4 posts today
Public
José A. Alonso

Category theory using Haskell (An introduction with Moggi and Yoneda). ~ Shuichi Yukita. books.google.com/books?id=4Xc2 #CategoryTheory #Math #Haskell #FunctionalProgramming

Google BooksCategory Theory Using HaskellThis unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950s and began to spread to logic and computer science soon after it was created. Offering excellent use of helpful examples in Haskell, the work covers (among other things) concepts of functors, natural transformations, monads, adjoints, universality, category equivalence, and many others. The main goal is to understand the Yoneda lemma, which can be used to reverse-engineer the implementation of a function. Later chapters offer more insights into computer science, including computation with output, nondeterministic computation, and continuation passing. Topics and features: Contains rigorous mathematical arguments to support the theory Provides numerous Haskell code-implementing examples Engages with plentiful diagram chasing, with special emphasis on the design patterns for constructing a large diagram out of basic small pieces Offers insights into category theory to quantum computing and the foundation of computing discipline Serves as a preparatory course for monoidal categories and higher categories The work will be useful to undergraduate students in computer science who have enough background in college mathematics such as linear algebra and basics in Haskell polymorphic functions. Further, it will appeal to graduate students and researchers in computing disciplines who want to newly acquire serious knowledge of category theory.
Public
José A. Alonso

Faking ADTs and GADTs in languages that shouldn't have them. ~ Justin Lê. blog.jle.im/entry/faking-adts- #Haskell #FunctionalProgramming

in CodeFaking ADTs and GADTs in Languages That Shouldn't Have ThemHaskell is the world’s best programming language, but let’s face the harsh reality that a lot of times in life you’ll have to write in other programming languages. But alas you have been fully Haskell-brained and lost all ability to program unless it is type-directed, you don’t even know how to start writing a program without imagining its shape as a type first. Well, fear not. The foundational theory behind Algebraic Data Types and Generalized Algebraic Data Types (ADTs and GADTs) are so fundamental that they’ll fit (somewhat) seamlessly into whatever language you’re forced to write. After all, if they can fit profunctor optics in Microsoft’s Java code, the sky’s the limit! This is an “April Fools” joke in the tradition of my previous one in some of these ways that we are going to twist these other languages might seem unconventional or possibly ill-advised… but also the title is definitely a lie: these languages definitely should have them! :D
Public
Salar Rahmanian :verified: :scala: :swift: :nix:

:scala: 📣 I am excited to welcome Haoyi Li as the speaker for our upcoming #Scala #Meetup in #SanFrancisco! :scala:

He’ll be presenting:

:scala: Solving Scala's Build Problem with the Mill Build Tool :scala:

An MIT grad and creator of the widely-used “com-lihaoyi” Scala projects (10K+ GitHub stars, 20M+ downloads/month), Li Haoyi has built core infrastructure at companies like Dropbox and Databricks. He's also the author of Hands-on Scala Programming and brings deep expertise in the JVM, Scala Programming Language, Build tools and beyond. Don’t miss this chance to learn from one of the best!

https://lu.ma/dccyo635

#BayAreaScala #FunctionalProgramming #SFScala #JVM

cc @scala_lang @scala_space @scalatimes @SethTisue

lu.maSolving Scala's Build Problem with the Mill Build Tool · LumaSolving Scala's Build Problem with the Mill Build Tool By Li Haoyi Mill is a Scala build tool that improves upon every aspect of the venerable SBT toolchain:…
Public *
Cass Alexandru

The other thing that I really enjoyed in my industry job is to really think that, hey, the skills that we have as PL people and as formal methods, functional programming, these sorts of things, they are relevant. It’s like people say that when you get into industry, these things are not important. And I think that’s a total misconception. It’s a total lie because, of course, if you don’t know what you can do with a nice systematic approach, of course, you don’t end up doing it, and everything becomes just another hack. - Farhad Mehta – the Haskell Interlude Podcast
#haskell #FunctionalProgramming #formalmethods

haskell.foundationFarhad MehtaIn this episode, Andres Löh and Mike Sperber are joined by Farhad Mehta, a professor at OST Rapperswil, and one of the organizers of ZuriHac. Farhad tells us about formal methods, building tunnels, the importance of education, and the complicated relationship between academia and industry.
ExploreLive feeds
About