Editing
Haskell Hackers
(section)
Jump to navigation
Jump to search
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
== Possible Hacks == Here's a place to brainstorm prior to the meeting about possible stuff to code. begriffs: * Fix issues on https://github.com/begriffs/postgrest * Continue with exemplary CI template https://github.com/begriffs/haskell-circle-example * Experiment with writing example parsers for megaparsec's documentation * Add code examples to Haddock docs for packages lacking examples epaniagua (e7a): * Write a tagless final embedding of the simply typed lambda calculus, along with a few evaluation functions like printing, beta reduction, and evaluation for primitive operations on primitive types. Implement Hindley-Milnor type inference for terms. * Write a framework for writing proof assistants along the lines of Coq, though perhaps more modest in scope. To limit scope, maybe focus on the architecture and data structures to be used during proof tree search. * Experiment with packrat parsing or packrat parser generation. * Implement an object language with dependent types, for example dependently typed lambda calculus. * Implement a bijection between inductive types and boolean-valued functions in the spirit of Curry-Howard. * Software for keeping a personal schedule. Input would be a DAG of tasks and a calendar. Output would be a calendar with time scheduled for construing those tasks if feasible, otherwise an explanation of by how much the dag is overcommitted and perhaps a few schedules for feasible subgraphs. * Actually, even just a good data model for the scheduling problem would be a win. * Work through Write Yourself a Scheme in 48h tutorial (https://en.m.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours). * Write a gRPC server in Haskell. There are a few libraries, but I haven't tried any of them yet. victordenisov: * Mongodb driver * Scope highlighter for editors cdsmith: * CodeWorld (https://github.com/google/codeworld) jefdaj: * A program for aggregating lots of small, simple lists and/or spreadsheets into an RDF knowledgebase, then querying it with SPARQL. I've been brainstorming how it would manage stuff in a biology lab (cell lines, freezer boxes, gene sequences, experimental measurements, etc), but the idea is fairly general. [https://tarql.github.io/ Tarql] already translates tables to RDF, and [https://jena.apache.org/documentation/query/cmds.html Arq] already does queries, so this would mostly be about figuring out the overall data model--how to encode everything it needs in simple text files without too much confusing "magic"? * Would also be interested in learning about tagless-final (but at a pretty basic level!), or working on the personal schedule DAG model. radoye: * learn/understand the relationship between Free / FreeER / TTF alanvx: * learning Yesod isovector: * a template haskell function to generate vacuous instances of type classes for uninhabited types [add your ideas]: * foo * bar
Summary:
Please note that all contributions to Noisebridge are considered to be released under the Creative Commons Attribution-NonCommercial-ShareAlike (see
Noisebridge:Copyrights
for details). If you do not want your writing to be edited mercilessly and redistributed at will, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource.
Do not submit copyrighted work without permission!
To protect the wiki against automated edit spam, we kindly ask you to solve the following CAPTCHA:
Cancel
Editing help
(opens in new window)
Navigation menu
Personal tools
Not logged in
Talk
Contributions
Log in
Request account
Namespaces
Page
Discussion
English
Views
Read
Edit
View history
More
Search
Dig in!
Noisebridge
- Status: MOVED
- Donate
- ABOUT
- Accessibility
- Vision
- Blog
Manual
MANUAL
Visitors
Participation
Community Standards
Channels
Operations
Events
EVENTS
Guilds
GUILDS
- Meta
- Electronics
- Fabrication
- Games
- Music
- Library
- Neuro
- Philosophy
- Funding
- Art
- Crypto
- Documentation/Wiki
Wiki
Recent Changes
Random Page
Help
Categories
(Edit)
Tools
What links here
Related changes
Special pages
Page information