mastodon.gamedev.place is one of the many independent Mastodon servers you can use to participate in the fediverse.
Mastodon server focused on game development and related topics.

Server stats:

5.1K
active users

#haskell

42 posts28 participants3 posts today
:rss: Hacker News<p>How Indian Colleges Casually Violate Human Rights<br><a href="https://isomorphism.xyz/blog/2025/indian-colleges/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">isomorphism.xyz/blog/2025/indi</span><span class="invisible">an-colleges/</span></a><br><a href="https://rss-mstdn.studiofreesia.com/tags/ycombinator" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ycombinator</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/academic_website" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>academic_website</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/theory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theory</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/computer_science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>computer_science</span></a></p>
Haskell Weekly<p>Beginnings of a Haskell Game Engine</p><p><a href="https://vitez.me/haskell-game-engine-beginnings" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">vitez.me/haskell-game-engine-b</span><span class="invisible">eginnings</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://vitez.me/haskell-game-engine-beginnings" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://vitez.me/ha</span><span class="invisible">skell-game-engine-beginnings</span></a></p><p><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a></p>
Tariq<p>currently watching </p><p>What is a Monad? - by Computerphile</p><p>-- update : it's really good, simple, clear </p><p><a href="https://www.youtube.com/watch?v=t1e8gqXLbsU" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/watch?v=t1e8gqXLbsU</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a></p>
Tariq<p><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> help needed</p><p>where does state0 come from?</p><p>---</p><p>instance Monad (State s) where<br> return x = State (\s -&gt; (x,s))</p><p> op &gt;&gt;= f = State h<br> where h state0 = let (val,state1) = runState op state0<br> op2 = f val<br> in runState op2 state1</p>
Leanpub<p>New Book Launch! 🚀 Unwrapping Monads &amp; Friends by Kyle Simpson </p><p><a href="https://leanpub.com/blog/new-book-launch-unwrapping-monads-friends-by-kyle-simpson" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">leanpub.com/blog/new-book-laun</span><span class="invisible">ch-unwrapping-monads-friends-by-kyle-simpson</span></a></p><p><a href="https://mastodon.social/tags/books" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>books</span></a> <a href="https://mastodon.social/tags/ebooks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ebooks</span></a> <a href="https://mastodon.social/tags/booktok" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>booktok</span></a> <a href="https://mastodon.social/tags/newreleases" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>newreleases</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a></p>
Haskell Weekly<p>Vienna Haskell Meetup on the 22nd of May 2025</p><p><a href="https://well-typed.com/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">well-typed.com/</span><span class="invisible"></span></a></p><p>Discussions: <a href="https://discu.eu/q/https://well-typed.com/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://well-typed.</span><span class="invisible">com/</span></a></p><p><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a></p>
Tariq<p>me learning <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a></p>
Haskell Weekly<p>Haskell recap for week 18/2025</p><p><a href="https://discu.eu/weekly/haskell/2025/18/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/weekly/haskell/2025/1</span><span class="invisible">8/</span></a></p><p><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a></p><p>Get RSS feeds and support this bot with the premium plan: <a href="https://discu.eu/premium" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">discu.eu/premium</span><span class="invisible"></span></a></p>
Haskell Weekly<p>ihaskell + dataframe integration</p><p><a href="https://github.com/mchav/dataframe/blob/main/docs%2FCalifornia%20Housing.ipynb" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/mchav/dataframe/blo</span><span class="invisible">b/main/docs%2FCalifornia%20Housing.ipynb</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://github.com/mchav/dataframe/blob/main/docs%252FCalifornia%2520Housing.ipynb" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://github.com/</span><span class="invisible">mchav/dataframe/blob/main/docs%252FCalifornia%2520Housing.ipynb</span></a></p><p><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a></p>
Tariq<p>current <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> exercise is to implement fmap, return and &gt;&gt;= for a combined state-logger monad !</p><p>it will force my brain to really understand the principles of monads</p><p>right now I'm just thinking "what's the value, what's the state - is the log also the state ... " </p><p>---</p><p>ex 8 from here <br><a href="https://github.com/moocfi/haskell-mooc/blob/master/exercises/Set13b.hs" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/moocfi/haskell-mooc</span><span class="invisible">/blob/master/exercises/Set13b.hs</span></a></p>
José A. Alonso<p>Compiling Haskell into Lean: A common abstract syntax for Haskell and interactive theorem provers. ~ Talitha Holcombe. <a href="https://digitalcommons.chapman.edu/eecs_theses/3/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">digitalcommons.chapman.edu/eec</span><span class="invisible">s_theses/3/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a></p>
José A. Alonso<p>Typed Lisp, a primer. ~ Musa Al-hassy (2019). <a href="https://alhassy.com/TypedLisp.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">alhassy.com/TypedLisp.html</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CommonLisp</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a></p>
José A. Alonso<p>Readings shared May 4, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/05/04-readings_shared_05-04-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/05/04-readings_shared_05-04-25</span></a> <a href="https://mathstodon.xyz/tags/ACL2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ACL2</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Coq</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Rocq</span></a></p>
𝕂𝚞𝚋𝚒𝚔ℙ𝚒𝚡𝚎𝚕<p>Malware is harder to find when written in obscure languages</p><p>Miscreants warming to Delphi, Haskell, and the like to evade detection. Malware authors looking to evade analysis are turning to less popular programming languages like Delphi or Haskell.</p><p>⚙️ <a href="https://www.theregister.com/2025/03/29/malware_obscure_languages/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theregister.com/2025/03/29/mal</span><span class="invisible">ware_obscure_languages/</span></a></p><p><a href="https://chaos.social/tags/maleware" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maleware</span></a> <a href="https://chaos.social/tags/delphy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>delphy</span></a> <a href="https://chaos.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> <a href="https://chaos.social/tags/hacking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hacking</span></a> <a href="https://chaos.social/tags/coding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>coding</span></a> <a href="https://chaos.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://chaos.social/tags/netherlands" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>netherlands</span></a> <a href="https://chaos.social/tags/hack" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hack</span></a> <a href="https://chaos.social/tags/coding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>coding</span></a> <a href="https://chaos.social/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lisp</span></a></p>
Tariq<p>currently watching this more mathematical "function composition" perspective on monads</p><p><a href="https://www.youtube.com/watch?v=n5ZtsHrYWq0" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/watch?v=n5ZtsHrYWq0</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a></p>
Tariq<p>this made me smile</p><p>src <a href="https://wiki.haskell.org/index.php?title=Monad_tutorials_timeline" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">wiki.haskell.org/index.php?tit</span><span class="invisible">le=Monad_tutorials_timeline</span></a></p><p><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a></p>
Tariq<p>another <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> question</p><p>I'm trying to convert the following solution I wrote (which works) to use `unless (elem x l) .... `</p><p>but I'm failing and online searching isn't helping </p><p>---</p><p>f2 :: Int -&gt; Int -&gt; State [Int] Int<br>f2 acc x = do<br> l &lt;- get<br> if (elem x l) ------- change to unless <br> then return acc<br> else do<br> put (x:l)<br> return (acc + x)</p><p>---</p>
Tariq<p><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> help request</p><p>I can't figure out why and how the following works to give a "powerset" of a list</p><p>---</p><p>filterM (\x -&gt; [True, False]) [1,2,3]</p><p>[[1,2,3],[1,2],[1,3],[1],[2,3],[2],[3],[]]</p><p>---</p><p>similarly I'm comparing map and mapM and trying to understand why the difference</p><p>map (\x -&gt; [True, False]) [1,2]</p><p>[[True,False],[True,False]]</p><p>mapM (\x -&gt; [True, False]) [1,2]</p><p>[[True,True],[True,False],[False,True],[False,False]]<br>ghci&gt;</p>
Srijit Kumar Bhadra<p>Code readability is important because it improves maintainability, promotes collaboration, reduces errors, and leads to robust, long-lasting codebases. Well-written code should strive to be self-explanatory through clear naming, structure, and idiomatic practices, with comments used sparingly to increase understanding (i.e. adding context that is not immediately obvious from the code itself), rather than to compensate for poor design.</p><p>I equate readability of code with beautiful code which can be efficient or optimized or both.</p><p><a href="https://hachyderm.io/tags/BeautifulCode" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BeautifulCode</span></a> <a href="https://hachyderm.io/tags/ReadableCode" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ReadableCode</span></a> <a href="https://hachyderm.io/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Programming</span></a> <a href="https://hachyderm.io/tags/Code" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Code</span></a> <a href="https://hachyderm.io/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://hachyderm.io/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Python</span></a></p>
José A. Alonso<p>The minimal megaparsec tutorial. ~ Clément Hurlin. <a href="https://www.tweag.io/blog/2025-04-24-minimal-megaparsec-tutorial/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">tweag.io/blog/2025-04-24-minim</span><span class="invisible">al-megaparsec-tutorial/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a></p>